Include file:
#include "mcrl2/gui/setting.h
mcrl2::gui::qt::
::
SettingColor
mcrl2::gui::qt::SettingColor::
m_value
value
mcrl2::gui::qt::SettingColor::setValue
mcrl2::gui::qt::SettingColor::changed
mcrl2::gui::qt::SettingBool
mcrl2::gui::qt::SettingEnum