Managing Views

Your Toolbox window contains a collection of subwindows called views.  A view is identified by a tab in the upper left-hand corner.  The tab for the welcome view that you saw when you started the Toobox for the first time looks like this:

      
You can delete a view by clicking on the X.  This just removes the view; it does not affect whatever the view is viewing.  For example, deleting a view that shows a file does not delete the file.

Views are grouped in folders.  Here is a typical state of the Toolbox.

      

It has two folders.  One contains two module-editor views for the module files ClientModule.tla and FileModule.tla.  These views allow you to edit those files.  The * preceding the name FileModule.tla indicates that the file has unsaved modifications.  The other folder contains a Help view.

The buttons at the top right-hand side of the folder allow you to minimize the folder or maximize the currently selected view, minimizing all other folders.  Clicking on the button that replaces the maximize button undoes the maximization.  The

  
      

at the right edge of the Toolbox window is a minimized folder that can be restored by left-clicking on its tab.

You can move a view by left-clicking on its tab, holding down the mouse button, and dragging the view to where you want it.  This creates a new folder containing the view.  You can drag the view into an existing folder, except that a folder containing an editor view can contain only other module-editor views.  Hence, you can't drag a module-editor view into a folder containing a help view.  You can create subfolders of the folder containing a module-editor view by dragging module-editor views around within the folder.  You can also create multiple views on the same module by right-clicking on the tab and choosing New Editor.

Folders not containing an editor view can also occur outside the Toolbox window in their own separate windows.  You can create such a folder by simply dragging a non-editor view outside the Toolbox window.


↑ Getting Started