Yea, I do have a Linux Mint laptop and I believe I have not seen this bug on that machine, though I haven't touched it in a while. I didn't know you could use Cinnamon on Ubuntu though, that's awesome. Trying it out now, thank you for the tip!
MATE is ok, to each their own...I noticed it runs better on older machines but imo Cinnamon is the future of Mint. Ben Nick Payne-3 wrote > On 12/01/13 16:44, SoundsFromSound wrote: >> Ok >> >> I installed Gnome and tried GNOME, GNOME classic, and GNOME no effects. >> >> All GNOME and Unity still show the menu bug so I guess it's the way it >> has >> to be for now. >> I'll just learn keyboard shortcuts :) > > You could try the Cinnamon desktop. I'm using Mint 14, which is > basically Ubuntu 12.10 with Cinnamon as the desktop, and I don't see > that menu bug. You can install Cinnamon on Ubuntu: > > sudo add-apt-repository ppa:gwendal-lebihan-dev/cinnamon-stable > sudo apt-get update > sudo apt-get install cinnamon > > and then logout and choose Cinnamon as the desktop manager at the login > screen. > > Nick > > _______________________________________________ > lilypond-user mailing list > lilypond-user@ > https://lists.gnu.org/mailman/listinfo/lilypond-user ----- composer | sound designer -- View this message in context: http://lilypond.1069038.n5.nabble.com/RUMOR-Midi-utility-Frescobaldi-Menu-Error-tp138931p139389.html Sent from the User mailing list archive at Nabble.com. _______________________________________________ lilypond-user mailing list lilypond-user@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-user
