Back - User Guide Index | Previous - Symbols - Keyboard Shortcuts | Next - Troubleshooting, Hints and Tips


Editor Menus

 

File Menu

Save

Updates the currently saved copy of the file with the contents of the editor.

Save Copy As...

This saves the contents of the editor to an alternate file name. You will be prompted for the new file name.

Revert

Replaces the contents of the editor with the last saved version of the document.

Change Schemes

Allows you to toggle between the Base and LaTeX schemes. Unless you wish to print the file using LaTeX keep to the Base scheme.

Save As Text..

Saves a text version of the current document. To be later used for printing. Saved differently depending on the current scheme.

Instantiate Menu...

Allows you to toggle between the long descriptive and short symbolic representations of constructs in an instantiate list.

Close

Closes the editor.


Edit Menu

Undo

Undoes the last action.

Redo/Repeat

Redoes the last undo or if there is none it repeats the last action.

Cut

Cuts the current selection into the copy buffer. If the node is a part of a larger construct it will not be removed but instead will be uninstantiated.

Copy

Copies the current selection into the copy buffer.

Paste

Pastes the contents of the copy buffer directly without any need for parsing only if the types of the nodes are the same.

Fly Paste

Similar to Paste but is used when the node types are not the same. The contents are parsed as if they had been typed in. 

Find/Replace...

Opens up a new window where you can enter the string to find and what to replace it with. You can also select the direction to search in.

Find/Replace Again

Repeats the previous Find/Replace. 

Choose Terminal...

Certain symbol terminals such as infix operators can be instantiated by being chosen from a list. This option displays a list of all the compatible values for that type of node.

Edit Terminal...

Allows you to edit the value of the current terminal node. 

New Node

Inserts a new node into the selected empty list of nodes, e.g. If a schema box has no predicates as the axiom part was previously removed, you can reinstate this by higlighing the bottom left corner of the box and selecting this option.

Insert Node

Inserts a new uninstantiated node of the current type before the current node.

Append Node

Inserts a new uninstantiated node of the current type after the current node.

Twin Node

Inserts an duplicate of the current node after it.

Swap Node

Swaps the current node with the following node.

Delete Node

Deletes the currently selected node. In some cases where the node is a required part of a construct it cannot be deleted.

Uninstantiate

Returns a previously instantiated node to its uninstantiated form. 

Instantiate...

Provides a list of sub constructs for the currently selected node. 


Check Menu

Refresh Inclusion

Refreshes included document's cached type information. 

Check Selection

Checks that all references within its parse-tree are to entities that are in scope and that its parse-tree is type-consistent for the selected node.  When it encounters an error it provides an error box showing useful information about what has caused the error.

Check Document

As for Check Selection but checks the whole document.

Import

Shows imported scope information for the selected node. 

Export

Shows exported scope information for the selected node. 

Type

Shows type information for the selected node. 

Characteristic Tuple

Shows characteristic tuple of the selected node. 

Tokens In

Shows special tokens available to the selected node. 

Tokens Out

Shows special tokens introduced by the selected node. 


Tools Menu

Symbol Palette

Opens the symbol palette in a separate window.

Text Editing Pad

Opens the text editor in a separate window. This can be used to edit parts of Z and then paste them into the document. The contents can also be saved for use again in other documents.  

Display Tree

Displays the syntax tree for the current node in a separate window.

Minimise Brackets...

Removes any unnecessary brackets from a construct. 

Rebreak Lines...

Formaliser automatically breaks long lines to fit the editor window width. If you change the width of the editor you can use this to rebreak the lines.

Expand...

Expands a previously compressed construct to show the full details again. 

Compress...

Certain constructs can be compressed to show just their name e.g. Schema box, this is useful when viewing long documents where you do not need to see the details of each construct.