De "voorkeuren" zitten tegenwoordig verborgen in dat idiote "Applications" menu, dat de gnome ontwikkelaars in toekomstige versies wellicht terug gaan afvoeren. In standaard Ubuntu 18.4: klik "Gedit" in de bovenste zwarte balk om naar de Voorkeuren te gaan.