#include "frontends/WorkArea.h"
-#include "support/docstring.h"
-
#include <QAbstractScrollArea>
#include <QTabBar>
#include <QTabWidget>
GuiWorkArea * currentWorkArea();
GuiWorkArea * workArea(Buffer & buffer);
GuiWorkArea * workArea(int index);
+ void paintEvent(QPaintEvent *);
Q_SIGNALS:
///
///
DragTabBar(QWidget * parent = 0);
-#if QT_VERSION < 0x040300
- ///
- int tabAt(QPoint const & position) const;
-#endif
-
protected:
///
void mousePressEvent(QMouseEvent * event);
private:
///
QPoint dragStartPos_;
- ///
- int dragCurrentIndex_;
Q_SIGNALS:
///