|
Undo the last action .
Redo the last undone action .
Clears all nodes from the tree and removes all selections from the text. The text itself is not cleared - this command allows you create a new graph from the same text. To load new text, use the "Open text file" command in the File menu.
Inverts the drawing of the tree. If the conclusion was at the top, it is moved to the bottom, and vice versa.
Displays a dialog box that allows text for a missing premise to be entered. Pressing OK creates a new node in the tree panel which may be inserted into the tree in the usual way.
Toggles the selected premise between being a refutation or a support of its parent. A given node can have at most one refutation. A refutation is coloured pink, and is connected to the node it refutes by a double-ended arrow.
Deletes all selected items (support arrows and premises) from the diagram. The text associated with any deleted premises is ungreyed in the text display area on the left, and may be used to define further premises.
Allows a linked argument to be created. Select all edges that are to be linked, then select the "link statements" menu item or toolbar button. The tree is redrawn to display the linked argument.
Select the top edge (the one leading to the conclusion) in a linked argument, then this menu item, to unlink the argument.
Selects all nodes in the current diagram. Selected nodes are outlined with a heavy black outline.