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