#define WORKAREA_H
#include "frontends/WorkArea.h"
-#include "frontends/qt4/GuiCompleter.h"
#include "DocIterator.h"
#include "FuncRequest.h"
#include <QMouseEvent>
#include <QPixmap>
#include <QResizeEvent>
+#include <QTabBar>
#include <QTabWidget>
#include <QTimer>
namespace frontend {
+class GuiCompleter;
class GuiView;
class GuiWorkArea;
void resizeBufferView();
///
- GuiCompleter & completer() { return completer_; }
+ GuiCompleter & completer() { return *completer_; }
Q_SIGNALS:
///
/// close this work area.
/// Slot for Buffer::closing signal.
void close();
+ /// Slot to restore proper scrollbar behaviour.
+ void fixVerticalScrollBar();
private:
friend class GuiCompleter;
int preedit_lines_;
///
- GuiCompleter completer_;
+ GuiCompleter * completer_;
}; // GuiWorkArea
void lastWorkAreaRemoved();
public Q_SLOTS:
+ /// close current buffer, or the one given by \c clicked_tab_
+ void closeCurrentBuffer();
+ /// close current tab, or the one given by \c clicked_tab_
+ void closeCurrentTab();
///
- void on_currentTabChanged(int index);
+ void updateTabTexts();
+
+private Q_SLOTS:
///
- void closeCurrentBuffer();
+ void on_currentTabChanged(int index);
///
- void closeCurrentTab();
+ void showContextMenu(const QPoint & pos);
///
- void updateTabText(GuiWorkArea *);
+ void moveTab(int fromIndex, int toIndex);
+
+private:
+ int clicked_tab_;
}; // TabWorkArea
+
+class DragTabBar : public QTabBar
+{
+ Q_OBJECT
+public:
+ ///
+ DragTabBar(QWidget * parent = 0);
+
+#if QT_VERSION < 0x040300
+ ///
+ int tabAt(QPoint const & position) const;
+#endif
+
+protected:
+ ///
+ void mousePressEvent(QMouseEvent * event);
+ ///
+ void mouseMoveEvent(QMouseEvent * event);
+ ///
+ void dragEnterEvent(QDragEnterEvent * event);
+ ///
+ void dropEvent(QDropEvent * event);
+
+private:
+ ///
+ QPoint dragStartPos_;
+ ///
+ int dragCurrentIndex_;
+
+Q_SIGNALS:
+ ///
+ void tabMoveRequested(int fromIndex, int toIndex);
+};
+
} // namespace frontend
} // namespace lyx