| << Prev | - Up - | Next >> |
The meanings of the menu entries of the Browser are summarized in this section.
|
Displays a small dialog containg information about the product.
|
Stops browsing as soon as possible.
| ![]() |
Deselects the current selection, if any.
|
Removes all browsed information from the Browser window, if any.
|
Removes all browsed information from the Browser window except the last term, if any.
|
Checks the current term layout and optimizes it whenever possible.
|
Closes the Browser.
| ![]() |
Replaces the selected shrunken (sub)term ,,, by a subterm(s), or views further subterm(s) of a partially shown selected (sub)term.
| ![]() |
Shrinks the selected (sub)term.
| ![]() |
If a reference (R
or C
) subterm is selected, the Browser exposes and selects the referenced (sub)term.
|
Removes and creates again a selected (sub)term.
|
Shows a submemu an action can be choosen from.
| ![]() |
Applies the currently set action to the current selection, if any.
|
Creates a dialog used for setting the buffer size. and enabling drawing a graphical separator between shown terms.
|
Creates a dialog used for setting the representation mode (building Tree, Graph or Minimal Graph), detail level (for Chunks and Names And Procedures), and type (displaying Strings or Virtual Strings as such).
|
Creates a dialog used for setting the browse limits (Depth and Width) and the expansion increments (also Depth and Width).
|
Creates a dialog used for setting a font to be used (Font Size and whether it should be Bold), as well as setting Browser to show record subterms in one column if they don't fit in one row (that is, to Align).
Record Fields
| << Prev | - Up - | Next >> |