The Workspace Switcher displays the workspaces for your GNOME Desktop in the panel and enables you to switch between them. You can also manage windows by dragging them between workspaces.
</description>
<type>
user's guide
</type>
<format mime="text/xml" dtd="-//OASIS//DTD DocBook XML V4.1.2//EN"/>