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.
[...]