View Menu

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: toggles drawing grid on/off
• Snap to Grid: makes new drawing objects (such as locations, nails, and labels) align to the drawing grid.
• 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 window of the simulator.
• Variables: shows a dialog window for hiding and showing variables in the variables window of the simulator.
• Full DBM: shows all constraints on the clocks in the variables window of the simulator. If not selected a minimal number of constraints will be shown.

Note: the Snap option can be used even if the drawing grid is not shown.