[14:39] <Xano_> 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] <Xano_> 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] <remy> geen idee