Include file:
#include "mcrl2/gui/codeeditor.h
mcrl2::gui::qt::
HighlightingRule
¶The HighlightingRule class defines a rule on how to highlight a given pattern of syntactic elements.
mcrl2::gui::qt::HighlightingRule::
format
¶mcrl2::gui::qt::HighlightingRule::
pattern
¶