Workspaces

A workspace contains information that changes from session to session. During an editing session, you may have several files open. Each file has text selected in it. Each file may have position marks that you set. This information is part of a workspace. A workspace contains the following things:

• What files you have open
  
  
• Selections in each file
  
  
• Position marks you may have set
  
  
• Selection history (where you have been in each file)
  
  
• The size and position of each window
  
  
• Search and replace strings
  
  
• Source links
  
  
• Dialog edit field history list
  
  
• The command recording (see: Start Recording)

When you quit Source Insight, the current workspace is saved in a workspace file. When Source Insight starts, it looks in a workspace file to restore the previous session's workspace.

The workspace in effect while Source Insight is running is called the current workspace.

If a project is not open, then the name of the current workspace file is Global.WK. If a project is open, the name of the current workspace file is either <projectname>.WK or Global.WK depending on the settings in the Project Options dialog.

You can't change the name of the current workspace, but you can replace its contents with that of another workspace file on disk. When a workspace file is opened, all the files open in that workspace are opened, and all of the above listed workspace elements are restored. After opening a workspace file, the current workspace becomes equivalent to it.

More:

Loading and Saving

Managing tasks with workspaces