Promela Editor
The Promela Editor preference page is used to select colours for different categories of terms in Promela source file or disable colours.