How to lock a Workspace

To prevent an automaton from being modified unintentionally, it is possible to lock a particular workspace, thus making it impossible to edit the automaton.

There are two ways to lock a workspace:

  1. Right click on the tab name for the automaton you wish to lock and choose Lock Tab from the pull-down menu.
  2. Under the Automata Tab in the Status Panel, click the cell labelled "Editable" and change the field from true to false.
After the workspace has been locked, the tab with the name of the automaton will be updated to display a lock symbol to indicate that the workspace is indeed locked.