<< 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
, Variable Status
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 >> |