The definitions.xml file contains a section <gui ... </gui> which defines a number for constant definitions which let you adapt some aspects of the program's appearance to your needs. Every definition in this sections has the form:
<def name="..." value="..." />For each definition, name is a unique name for the constant, value is the value assigned to it. All definitions have default values which apply if the definition is not found.
Below, a table shows all known constant definitions with a description of their meaning and the default values the software assumes if the definition is not found in the definitions.xml file.
| name | type | default | description |
|---|---|---|---|
| editorPrivilegeLevel | integer | 150 | The minimum privilege level an operator must have in order to edit the service configuration. For operators below this privilege level the toolbar button for the edit mode is without function. |
| leftPaneWidth | integer | 250 | The width (pixels) of the "service" screen elements which make up the left screen pane. Usually there is no need to change this except are dealing with very ling service names or comment strings which do not fit in the default width. |
| rightPaneWidth | integer | 600 | The width (pixels) of the screen elements in the right screen pane which show the parameters of a device in the service. The width of these screen elements does not automatically grow with the number of parameters shown in it, so it may be necessary to enlarge this if you are going to define new device types with many parameter in one row. The default width is sufficient to display three "wide" and one "narrow" parameters in a single row. |
| okBackgroundColor | color | 00FF00 (green) | The background color used to signal that an element is in OK state. The service widgets on the left pane, the header of the service detailled view on the right pane and the fault indicator of each device are using this color definition. The color is expressed as a 6-digit hexadecimal RGB value defining the red, green and blue component of the color. |
| warningBackgroundColor | color | FFFF00 (yellow) | The background color used to signal that an element is in WARNING state. The service widgets on the left pane, the header of the service detailled view on the right pane and the fault indicator of each device are using this color definition. The color is expressed as a 6-digit hexadecimal RGB value. |
| faultBackgroundColor | color | FF0000 (red) | The background color used to signal that an element is in FAULT state. The service widgets on the left pane, the header of the service detailled view on the right pane and the fault indicator of each device are using this color definition. The color is expressed as a 6-digit hexadecimal RGB value. |
| okForegroundColor | color | 000000 (black) | The text / foreground color used to signal that an element is in OK state. If you change the "okBackgroundColor", you may want to adapt the color used to the foreground as well to maintain sufficient contrast |
| warningForegroundColor | color | 000000 (black) | The text / foreground color used to signal that an element is in WARNING state. If you change the "okBackgroundColor", you may want to adapt the color used to the foreground as well to maintain sufficient contrast |
| faultForegroundColor | color | FFFFFF (white) | The text / foreground color used to signal that an element is in FAULT state. If you change the "okBackgroundColor", you may want to adapt the color used to the foreground as well to maintain sufficient contrast |
If you want to revert a value to its default and do not know the default setting, we recommend to change the 'def' tag into someting other (e.g. usedefault) instead of deleting the line defining this definition. This way the name of the definition is still in the file, but due to the modified tag it will not be read.