So, @donkrawallo und @Markus Sowada, das habt Ihr jetzt davon. Ich werde mir jetzt nochmal Gnome 3.10 installieren und schauen, wie weit ich das Ding an meinen Workflow anpassen und ob ich mit dem Ergebnis leben könnte :p