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).
Labels: shows a sub menu from which one can select which type of labels should be shown in the drawing area. Even when hidden, all labels can be seen in the tooltip of locations and edges.
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.
Mark Visited highlights the locations and edges traversed by a trace in the simulator process panel.
Show Coverage shows graphs of location and edge coverage dynamics over the simulated trace in a popup window. The Mark Visited option above enables this menu item.
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.