Dec. 19, 2019, 6:35 a.m. -  Thoys

Hei, also bei mir (Debian mit gnome) ist da der globale Shortcut zum Wechseln der Oberfläche stärker. Testest du das unter Windows? Grüße Thoys