There are a number of ways that a user may interact with the ECharts SVG diagrams included in the generated documentation.

Highlight transitions and states by rolling the cursor over them.

Display user comments for a machine, its transitions and its states by resting the cursor over the respective machine element.

Clicking on a state with a nested submachine navigates the browser to the diagram of the submachine nested in the state.

Pan a diagram that may be too large to fit in the viewing window. For Internet Explorer, hold the âaltâ key while dragging the diagram. For Safari, hold the âshiftâ key while dragging. For Firefox, click on the 'pan' tool icon and then hold the 'shift' key while dragging.

Zoom in and out of a diagram. For Internet Explorer, hold the âcontrolâ key and click to zoom in at the mouse pointer location. Hold the âcontrolâ key and click-and-drag to select a region to zoom into. Hold the âcontrolâ and âshiftâ keys and click to zoom out. You can also use the zoom commands in the context menu. For Safari, use the 'View -> Make Text Bigger'/'View -> Make Text Smaller' menu options or use the keyboard shortcuts âcommand +â/ 'command -'. For Firefox, select the 'zoom' tool icon and scroll your mousewheel or press the '+'/'-' keys.