[14:39] Hi! Ik ben net van 16.10 + GNOME naar 17.10 gegaan, maar kan mijn oude keyboard layout niet vinden. Ik heb US Int, met het euroteken op de 5, en wil een layout met AltGr dead keys. [14:39] Ik zie "English (international AltGr dead keys)" en "English (US, with euro on 5)", maar bij beide geeft AltGr+shift+6+e geen "ê" en AltGr+tm geen "™". [14:51] geen idee === SimonNL is now known as SimonNL_Afk === SimonNL_Afk is now known as SimonNL