class QWheelEvent;
class QPaintEvent;
+#ifdef CursorShape
+#undef CursorShape
+#endif
+
namespace lyx {
namespace frontend {
public:
TabWorkArea(QWidget * parent = 0);
void showBar(bool show);
+ void closeAll();
bool setCurrentWorkArea(GuiWorkArea *);
bool removeWorkArea(GuiWorkArea *);