mcrl2::gui::qt::HelpMenu

Include file:

#include "mcrl2/gui/qt_tool.h

class mcrl2::gui::qt::HelpMenu

Private attributes

QAction mcrl2::gui::qt::HelpMenu::m_actionAbout

QAction mcrl2::gui::qt::HelpMenu::m_actionContents

QString mcrl2::gui::qt::HelpMenu::m_author

QString mcrl2::gui::qt::HelpMenu::m_description

QString mcrl2::gui::qt::HelpMenu::m_manualUrl

QString mcrl2::gui::qt::HelpMenu::m_name

QMainWindow *mcrl2::gui::qt::HelpMenu::m_window

Public member functions

HelpMenu(QMainWindow *window, const std::string &name, const std::string &author, const std::string &description, const std::string &manualUrl)

protected-slot

mcrl2::gui::qt::HelpMenu::showAbout

mcrl2::gui::qt::HelpMenu::showContents