Jedi workspaces now user configurable

[Guillaume Cartier]

Jedi workspaces are now fully user configurable.

First you will need to modify your profile's Preferences.jml as the
default workspaces (home, text, debugger, groupware and sql) have been
transfered out of Jedi and into your preferences so they can be
modified. Simply replace in Preferences.jml :

(<workspaces~>)

with

(<workspaces~> active: home
(<Home-Workspace>)
(<Text-Workspace>)
(<Debugger-Workspace>)
(<Groupware-Workspace>)
(<SQL-Workspace>))

This done you can now remove any unwanted workspace, change the one
active on startup or create completely new custom ones.

For example, here is a replacement for the text workspace that doesn't
have the Chapters and Definitions palettes for more horizontal space
for the text :

(<Standard-Workspace> name: text title: "Text" icon:
{Bitmap-Resource "WorkspaceText"} shortcut: {Shortcut :alt :shift #\S}
maximized?: #t frame-model: Jazz-Text-View
(<!> name: menubar
(<!> name: toolbar
(<!> name: status
(<Splitter-Preferences> location:
first state: split orientation: horz mode: relative division: 20
insets: {Rect 5 5 5 5}
(<Splitter-Preferences> location:
first state: split orientation: vert mode: relative division: -27
(<Pad-Preferences> location: second
(<Docked-Preferences> location:
selection model-name: Lisp-Console-Manager)
(<Docked-Preferences> location: {}
model-name: Properties-Manager)
(<Docked-Preferences> location: {}
model-name: Search-Results)
(<Docked-Preferences> location: {}
model-name: Profile-Results))
(<Pad-Preferences> location: first
(<Docked-Preferences> location:
selection model-name: Workbench-Manager)
(<Docked-Preferences> location: {}
model-name: Repositories-Manager)))
(<Stage-Preferences> location: second))))))

Note that it was really easy to create the code above by going to the
definition of the standard text workspace Text-Workspace and
copy-pasting the (<install> ...) part of the form.

Guillaume