2.10.1 GUI conventions
These general rules apply to the FDR user interface:
-
Single-click with Mouse-1 (usually the left mouse button) selects
activates a menu or button, or selects an item from a list.
-
Double-click with Mouse-1 invokes an action on an object.
-
Mouse-3 (usually the right mouse button) invokes a pop-up menu for the
object under the cursor.
-
Check boxes have square indicators and can be “on” or “off.”
The option is off when the box is the same as the background colour, and
on when it is otherwise lit.
-
Radio buttons are used in a group, and are like a collection of check
boxes, except they have diamond shaped indicators and only one option
from the group can be selected (or “on”) at any time.
Formal Systems (Europe) Ltd
FDR2 Manual