Schafft sie doch erstmal wirklich vollständig aus den Anwendungen ab (So dass man sie nicht mehr braucht) bevor ihr die Funktionalität rauspatcht!

Andererseits ist die momentane Lösung wirklich bescheuert und TopIcons Plus ist die erste Extension die neben TaskBar installiert wird. Das ist das gute an GNOME - es gibt viele Extensions, die gut funktionieren.