Back -
User Guide Index | Previous - Symbols - Keyboard Shortcuts | Next - Troubleshooting, Hints and TipsEditor 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. |