Reference

Classes

• mcrl2::gui::qt::CodeEditor
• mcrl2::gui::qt::CodeHighlighter
• mcrl2::gui::qt::ExtendedTabWidget
• mcrl2::gui::qt::HelpMenu
• mcrl2::gui::qt::HighlightingRule
• mcrl2::gui::qt::LineNumberArea
• mcrl2::gui::qt::LogRelay
• mcrl2::gui::qt::LogWidget
• mcrl2::gui::qt::PersistentFileDialog
• mcrl2::gui::qt::SettingBool
• mcrl2::gui::qt::SettingColor
• mcrl2::gui::qt::SettingEnum
• mcrl2::gui::qt::SettingFloat
• mcrl2::gui::qt::SettingInt
• mcrl2::gui::qt::qt_tool

Files

• mcrl2/gui/arcball.h
• mcrl2/gui/codeeditor.h
• mcrl2/gui/extendedtabwidget.h
• mcrl2/gui/glu.h
• mcrl2/gui/logwidget.h
• mcrl2/gui/persistentfiledialog.h
• mcrl2/gui/qt_tool.h
• mcrl2/gui/setting.h
• mcrl2/gui/utilities.h