The view menu is used to modify the appearance of the
system currently shown in the system editor and the simulator. The items
are:
Zoom: shows a sub menu with fixed zoom values, zoom to fit, and
itemes for zooming in, out, or to normal size. A change in the zoom value
affects the templates the editor or the processes in the simulator (if
one of the tools is active).
Show Grid: the drawing grid is shown when this item is checked.
Snap to Grid: makes new drawing objects (such as locations, nails,
and labels) align to the snap grid.
The size of the snap grid is related to the size of the drawing grid.
Note: the Snap to Grid option can be used even if the drawing grid
is not shown.
Coarser: increases the distance between the lines in
the drawing grid.
Tighter: decreases the distance between the lines in
the drawing grid.
Reload Simulator: uploads the system currently loaded in the editor,
to the simulator and the verifier.
Processes: displays a dialog window for hiding and
showing processes in the
process panel
of the simulator.
Variables: shows a dialog window for hiding and
showing variables in the
variables panel of the
simulator.
Full DBM: shows all constraints on the clocks in the
variables panel of the
simulator. If not selected a minimal number of constraints will be shown.