Hi David, Use the About page in Settings to find out which Gnome version you have.
I upgraded all my 18.04 Ubuntu systems to 18.10, so I can't recall what Gnome release came with 18.04. Andrew On Sat, 9 Feb 2019 at 04:17, David Sumbler <da...@aeolia.co.uk> wrote: > > I couldn't seem to find whether I was running gnome 2 or 3, so I > carried out the steps documented for gnome 2, but running > >
_______________________________________________ lilypond-user mailing list lilypond-user@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-user
