docs@gnome.org (GDP) docs@gnome.org (GDP) Workspace Switcher Applet Manual V2.5 2004-02-18 User manual for Workspace Switcher. user's guide