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@gnu.org
https://lists.gnu.org/mailman/listinfo/lilypond-user
