Ein zweisprachiges Experiment. Wer, wie ich, Gnome3 ausprobiert, stolpert bestimmt über die Tab-Navigation, die sich nicht zum Besseren entwickelt hat. Abhilfe schaffen Gnome-Extensions, in diesem Fall “AlternateTab”. Andere nützliche Extensions sind für Wetter, Abschalten und andere nützliche Dinge zuständig. Extensions können derzeit unter Ubuntu über Synaptic installiert werden, gleich das Tweak-Tool mitinstallieren, dann kann man die Extensions per GUI an- und abschalten. [...]