switch GTK+ themes quickly
