File: WorkspaceSwitcher.zip Author: Massimiliano Origgi Release: 1.2 (Oct. 4th, 1999) Compatibility: R4.5 Location: contrib/utilities Description: Deskbar replicant to switch workspaces and activate Deskbar. Notes: WorkspaceSwitcher is a Deskbar replicant which adds the following useful functionalities to the Deskbar itself: - shows the number of the current workspace; - has a popup menu to quickly switch workspaces; - can quickly cycle through workspaces with a click of your mouse button; - acts as a Deskbar activator when you move your mouse pointer to one of the external edges of the Deskbar window; - the delay for Deskbar activation is configurable (NEW); - the hot area for activating the Deskbar is configurable (NEW); - the images it shows on the Deskbar are customizable; - offers a full set of command line options (NEW); - it can be reconfigured while in use (NEW).