File: WorkspaceSwitcher.zip Author: Massimiliano Origgi Release: 1.3 (Nov. 21th, 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; - the hot area for activating the Deskbar is configurable; - the images it shows on the Deskbar are customizable; - added option to move the the Deskbar window to the back when the mouse pointer leaves the Deskbar window (NEW); - added option to keep the Deskbar window always on top (NEW); - offers a full set of command line options; - it can be reconfigured while in use.