Grundsätzlich ja. Im Detail jein, da damit der alternative Taskmanager auch aktiviert wird und dieser fehlerhaft dargestellt wird. Da Forkosigan meine "Wünsche" ja mittlerweile weitergereicht hat (Danke!), bleibt zu hoffen, dass das ausgebügelt wird, denn ich glaube, dass viele diese Funktion gerne hätten. Wenn allerdings der Taskmanager nicht gebraucht wird, kann ich gern heute abend ein entsprechendes Theme zur Verfügung stellen.

Gruß
Ronny