Gnome applet to change video resolution
