A simple workspace switcher for gnome environment