mcrl2::gui::qt::ExtendedTabWidget

Include file:

#include "mcrl2/gui/extendedtabwidget.h

class mcrl2::gui::qt::ExtendedTabWidget

Public member functions

bool eventFilter(QObject *target, QEvent *event)

Used to create context menu for tabbar.

ExtendedTabWidget(QWidget *parent = nullptr)

Constructor.

Parameters:

• parent The parent QWidget for the tabwidget

void keyPressEvent(QKeyEvent *event)

Used to close tabs with shortcut.