Lines Matching defs:menu
31 tools menu of tkECLiPSe or using the predicate \startvcone{} in
112 \caption{The VC showing the auto resume menu option and timer slider.}
222 \subsection{Options menu}
223 The options menu contains controls for \viewer{}-wide properties.
251 \textbf{Options} menu. Note that the \textbf{View propagation steps}
258 \caption{The options menu, common to all viewers.}
262 \subsection{Select menu}
282 \caption{The select menu, common to all viewers.}
286 \subsection{View menu}
298 \caption{The view menu, common to all viewers.}
303 menu, \emph{Toggle high quality}. This toggles between quick
312 mouse button in order to bring up the context sensitive actions menu.
401 required \viewlet{} type from the \textbf{Insert} menu. This menu
449 \textbf{Insert} menu. This brings up a file selection dialog from
467 background image} option from the \textbf{Background} menu and are
497 available from the \textbf{Graph} menu. These options make use of the
507 viewer previously mentioned but in addition, the \textbf{Gantt} menu
535 background and select the \textbf{Print} option from the popup menu.
582 \textbf{Save} options of the \textbf{File} menu. The most common