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 = 0)

Constructor.

Parameters:

  • parent The parent QWidget for the tabwidget
void keyPressEvent(QKeyEvent *event)

Used to close tabs with shortcut.