lilypond-user
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: RUMOR Midi utility & Frescobaldi - Menu Error?


From: Nick Payne
Subject: Re: RUMOR Midi utility & Frescobaldi - Menu Error?
Date: Sat, 12 Jan 2013 17:02:19 +1100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130106 Thunderbird/17.0.2

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]