mcrl2::gui::qt::LogWidget¶

Include file:

#include "mcrl2/gui/logwidget.h

class mcrl2::gui::qt::LogWidget¶

Private attributes¶

LogRelay mcrl2::gui::qt::LogWidget::m_relay¶

QSize mcrl2::gui::qt::LogWidget::m_sizeHint¶

Ui::LogWidget *mcrl2::gui::qt::LogWidget::m_ui¶

Public member functions¶

LogWidget(QWidget *parent = nullptr)¶

void setSizeHint(QSize sizeHint)¶

virtual QSize sizeHint() const

~LogWidget()¶

signal¶

mcrl2::gui::qt::LogWidget::logMessage

private-slot¶

mcrl2::gui::qt::LogWidget::writeMessage