A GTK+ window manager