> From: http://dummy.us.eu.org/robert (Robert) > Date: Mon, 29 Feb 2016 17:05:49 -0800 > > > From: http://dummy.us.eu.org/robert (Robert) > > Date: Mon, 29 Feb 2016 17:02:30 -0800 > > > > It looks like mate-panel is the program that either dies or screws up. > > > > I'll try just restarting it next time instead of having you log out and log in > > again. > > Actually, it says here that mate-panel --reset should fix it. > > That's what we should try next time. Actually, on second thought, I probably want mate-panel --replace .