mcrl2::gui::qt::HelpMenu

Include file:

#include "mcrl2/gui/qt_tool.h
class mcrl2::gui::qt::HelpMenu

Private attributes

QAction m_actionAbout
QAction m_actionContents
QString m_author
QString m_description
QString m_manualUrl
QString m_name
QMainWindow *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

showAbout

showContents