#include "support/Timeout.h"
#include <QAbstractScrollArea>
+#include <QKeyEvent>
#include <QMouseEvent>
+#include <QPixmap>
#include <QResizeEvent>
-#include <QKeyEvent>
+#include <QTabWidget>
#include <QTimer>
-#include <QPixmap>
#include <queue>
class QWheelEvent;
class QPaintEvent;
+#ifdef CursorShape
+#undef CursorShape
+#endif
+
namespace lyx {
namespace frontend {
bool schedule_redraw_;
///
int preedit_lines_;
-};
+}; //GuiWorkArea
+
+/// A tabbed set of GuiWorkAreas.
+class TabWorkArea : public QTabWidget
+{
+ Q_OBJECT
+public:
+ TabWorkArea(QWidget * parent = 0);
+ void showBar(bool show);
+ void closeAll();
+ bool setCurrentWorkArea(GuiWorkArea *);
+ bool removeWorkArea(GuiWorkArea *);
+
+Q_SIGNALS:
+ ///
+ void currentWorkAreaChanged(GuiWorkArea *);
+
+public Q_SLOTS:
+ ///
+ void on_currentTabChanged(int index);
+ ///
+ void closeCurrentTab();
+}; // TabWorkArea
} // namespace frontend
} // namespace lyx