Promela Editor preference page

The Promela Editor preference page is used to select colors for different categories of terms in Promela source file. 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.

A click on the Restore Defaults button restores the default Promela Editor parameters.

A click on the Apply button applies the Promela Editor parameters.

A click on the OK button applies the Promela Editor parameters and closes the page.

A click on the Cancel button cancels the entered and/or selected Promela Editor parameters, reverts their values to the previous ones and closes the page.