Promela Editor preference page
The Promela Editor preference page is used to select colors for different categories of terms
in Promela source file or disable colors. The default colors for text and comments are black and blue,
respectively. Promela reserved words can be grouped into seven sections. All the reserved
words in a section will be displayed in the same color. In each section a different color
can be set. By default, reserved words from all seven sections are displayed in the same
(violet) color. By default, the colors are enabled. They can also be disabled by deselecting
the Enable colors checkbox.