[Top][All Lists]

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

Re: RUMOR Midi utility & Frescobaldi - Menu Error?

From: SoundsFromSound
Subject: Re: RUMOR Midi utility & Frescobaldi - Menu Error?
Date: Sat, 12 Jan 2013 08:48:40 -0800 (PST)

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.


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@


composer | sound designer
View this message in context:
Sent from the User mailing list archive at

reply via email to

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