The CZT Editor is the major part that the CZT editor plug-in provides. It has the following features:

• Syntax colouring

• Highlighting of current partition

• Folding of partitions

• Bracket matching

• Selection by double-clicking

• Marking Occurrences of a Z name

• Jumping to the declaration of a Z name

• Highlighting the enclosing element

• Problem markers

• Hover support

• Viewing specification in alternative formats