(ddd.info)Editing Themes
7.3.5.3 Editing Themes
......................
Each theme can be globally activated or not. If a theme is activated,
it is applied to all expressions that match its _pattern_.
Normally, these patterns are automatically maintained by simply
selecting the themes for the individual displays. However, you can also
edit patterns directly.
Patterns are separated by `;' and contain shell-like metacharacters:
* `*' matches any sequence of characters.
* `?' matches any single character.
* `[SET]' matches any character in SET. Character ranges can be
expressed using FROM-TO: `[0-9a-zA-Z_]' is the set of characters
allowed in C characters.
* `[!SET]' matches any character not in SET.
* To suppress the special syntactic significance of any
metacharacter\n\ and match the character exactly, precede it with
`\' (backslash).
* To suppress the syntactic significance of _all_ metacharacters,\n\
enclose the pattern in double or single quotes.\n\
To edit the set of themes, invoke `Data => Themes'.
To apply changes you made to the themes, click on `Apply'. To
revert the themes to the last saved, click on `Reset'.
automatically generated by info2www version 1.2.2.9