Prev Subsubsection 22.214.171.124: Selecting and moving widgets Up Subsection 11.4.2: Customizing the GV Subsubsection 126.96.36.199: Adding GV Widgets Next
188.8.131.52 Setting the GV widget's properties
After selecting a widget, you can alter its properties by selecting Edit/Properties from the menu. A dialog box appears. You can also bring up this dialog box by double-clicking the widget. Below is an example of the properties dialog box for a text widget.
The font type, font size, font color and attributes can be set in this dialog box. You can also set the text to be displayed in the box. The text can consist of literal text and keywords. The keywords, which start with a percentage sign (%), will be replaced by a predefined text. The available keywords are listed in table 1.
|%title||Title of the problem. The title is set in the File/Model Info dialog box.|
|%field||The field variable currently being displayed.|
|%time||The time value of the current state.|
|%state||The current state number.|
|%filename||The name of the file.|
|%filetitle||The title of the file, i.e. the filename without the extension.|
|%filepath||The path of the file.|
You can also use escape sequences, which start with a backslash ( .
- n - start a new line.
- t - start the following text at the next tab position.