gnome-theme-manager is in the high 90's with cpu, pretty much killing the system and changing themes.<br>