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:
- Right click on the tab name for the automaton you wish to lock and choose
Lock Tab from the pull-down menu.

- 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.