On Thu, Jan 10, 2013 at 1:23 PM, Noeck
<address@hidden> wrote:
> I've been using Ubuntu for a few years now, so I know what you mean - there
> /used /to be a pull down/GNOME menu, but I haven't seen it since 12.10.
Ah, I still use 12.04.
There I had the choice between Ubuntu and Ubuntu2D and the gnome-options
came with the gnome-panel package. I know that Ubuntu 2D has been
removed, so probably that's the reason why do not have any choice.
Joram
_______________________________________________
lilypond-user mailing list
address@hidden
https://lists.gnu.org/mailman/listinfo/lilypond-user