#include "frontends/WorkArea.h"
+#include "DocIterator.h"
#include "FuncRequest.h"
+#include "qt_helpers.h"
+#include "support/docstring.h"
#include "support/Timeout.h"
#include <QAbstractScrollArea>
#include <QMouseEvent>
#include <QPixmap>
#include <QResizeEvent>
+#include <QTabBar>
#include <QTabWidget>
#include <QTimer>
namespace frontend {
+class GuiCompleter;
class GuiView;
-
-/// types of cursor in work area
-enum CursorShape {
- /// normal I-beam
- BAR_SHAPE,
- /// L-shape for locked insets of a different language
- L_SHAPE,
- /// reverse L-shape for RTL text
- REVERSED_L_SHAPE
-};
+class GuiWorkArea;
/// for emulating triple click
class DoubleClick {
public:
///
- GuiWorkArea(Buffer & buffer, GuiView & lv);
+ GuiWorkArea(QWidget *);
+ ///
+ GuiWorkArea(Buffer & buffer, GuiView & gv);
///
~GuiWorkArea();
+ ///
+ void setBuffer(Buffer &);
+ ///
+ void setGuiView(GuiView &);
+ /// Dummy methods for Designer.
+ void setWidgetResizable(bool) {}
+ void setWidget(QWidget *) {}
+ ///
+ void setFullScreen(bool full_screen);
+ /// is LyXView in fullscreen mode?
+ bool isFullScreen();
///
void scheduleRedraw() { schedule_redraw_ = true; }
///
void stopBlinkingCursor();
///
void startBlinkingCursor();
- ///
- void startGeneralTimer() { general_timer_.start(); }
- ///
- void stopGeneralTimer() { general_timer_.stop(); }
/// Process Key pressed event.
/// This needs to be public because it is accessed externally by GuiView.
void processKeySym(KeySymbol const & key, KeyModifier mod);
///
void resizeBufferView();
+ bool isInDialog() {
+ return dialogMode_;
+ }
+
+ ///
+ GuiCompleter & completer() { return *completer_; }
+
+ /// Return true if dialogMode is set
+ bool& dialogMode() { return dialogMode_; }
+
+ /// Return the GuiView this workArea belongs to
+ GuiView const & view() const { return *lyx_view_; }
+ GuiView & view() { return *lyx_view_; }
+
Q_SIGNALS:
///
void titleChanged(GuiWorkArea *);
void doubleClickTimeout();
/// toggle the cursor's visibility
void toggleCursor();
- /// events to be triggered by general_timer_ should go here
- void handleRegularEvents();
/// close this work area.
/// Slot for Buffer::closing signal.
void close();
+ /// Slot to restore proper scrollbar behaviour.
+ void fixVerticalScrollBar();
private:
+ friend class GuiCompleter;
+ ///
+ void init();
+
/// update the passed area.
void update(int x, int y, int w, int h);
///
void updateScreen();
/// paint the cursor and store the background
- virtual void showCursor(int x, int y, int h, CursorShape shape);
+ virtual void showCursor(int x, int y, int h,
+ bool l_shape, bool rtl, bool completable);
/// hide the cursor
virtual void removeCursor();
///
QTimer cursor_timeout_;
- /// this timer is used for any regular events one wants to
- /// perform. at present it is used to check if forked processes
- /// are done.
- QTimer general_timer_;
///
SyntheticMouseEvent synthetic_mouse_event_;
///
bool schedule_redraw_;
///
int preedit_lines_;
+
+ ///
+ GuiCompleter * completer_;
+
+ /// Special mode in which Esc and Enter (with or without Shift)
+ /// are ignored
+ bool dialogMode_;
}; // GuiWorkArea
public:
TabWorkArea(QWidget * parent = 0);
+ ///
+ void setFullScreen(bool full_screen);
void showBar(bool show);
void closeAll();
bool setCurrentWorkArea(GuiWorkArea *);
Q_SIGNALS:
///
void currentWorkAreaChanged(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 updateTabTexts();
+
+private Q_SLOTS:
///
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