a small GTK-based GNOME-compliant window manager