Hoi Frank, > Gevonden: niet bij Gnome toetsenbord, maar bij "afstelhulp", vervolgens > "typen", en tenslotte "overige compatibiliteitsoptie". Na het typen bedacht ik me dat ik gekeken had op een Cinnamon desktop, wat welliswaar Gnome-based is, maar soms toch net weer anders... Sorry, en bedankt voor je informatie. Groet, Paul. -- Paul van der Vlis Linux systeembeheer Groningen https://www.vandervlis.nl/