On Tue, May 13, 2014 at 2:40 PM, Scott Kostyshak <skost...@lyx.org> wrote: > On Tue, May 13, 2014 at 9:34 AM, Richard Heck <rgh...@lyx.org> wrote:
>> Does one have to do this every time? > > Yes (or use an alias). I guess that's good in the sense that it's 100% > reproducible. There appears to be a bug in the appmenu-qt5 package. The menu bar comes back after sudo apt-get remove appmenu-qt5 See: https://bugs.launchpad.net/ubuntu/+source/appmenu-qt5/+bug/1307619 If anyone is experiencing the bug, please add yourself to the "me too" list (there are only 5 of us so far). Scott
