Another intermittent problem has to do with the GNOME panel. Again on both machines, I sometimes get a message that one of the panel components failed to load (sometimes the indicator applet, sometimes the clock applet, this morning the Mint Menu button). I'm asked if I want to delete it, to which I always reply in the negative.
Killing the GNOME panel will cause it to spontaneously regenerate, and usually it regenerates correctly. (Occasionally it needs to be killed a second, or even third, time.) So I cobbled together a menu entry to do this. I put a file named Fix\ Panel.desktop into ~/.local/share/applications. The contents of the file are listed below. Now all I have to do is click the Menu button, find "Fix Panel" and click it to (hopefully) repair the panel.
#!/usr/bin/env xdg-open [Desktop Entry] Version=1.0 Type=Application Terminal=false Icon[en_US]=gnome-panel-launcher Name[en_US]=Fix Panel Exec=killall gnome-panel Comment[en_US]=Restarts GNOME panel if it's glitched Name=Fix Panel Comment=Restarts GNOME panel if it's glitched Icon=gnome-panel-launcher