@sys.: Falls dich nur dieses eine Applet stört: Es gibt schon fast so viele gnome-shell-extensions wie es früher gnome-panel-applets gab (meine subjektive Einschätzung). Und wenn man das passende nicht findet, ists auch nicht schwer selbst eins zu schreiben oder ein anderes anzupassen. Mit den...