GNOME-compliant window manager
