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.