mcrl2::gui::qt::LogWidget

Include file:

#include "mcrl2/gui/logwidget.h
class mcrl2::gui::qt::LogWidget

Private attributes

LogRelay m_relay
QSize m_sizeHint
Ui::LogWidget *m_ui

Public member functions

LogWidget(QWidget *parent = nullptr)
void setSizeHint(QSize sizeHint)
virtual QSize sizeHint() const
~LogWidget()

signal

logMessage

private-slot

writeMessage