* src/frontends/qt4/GuiWorkArea.[Ch]:

[lyx.git] / src / frontends / qt4 / GuiWorkArea.h

diff --git a/src/frontends/qt4/GuiWorkArea.h b/src/frontends/qt4/GuiWorkArea.h
index 208414f3f2c08c78b8ed74b08399907768d52307..6f2832a5d89c6be7235a0c75bfdd408e154abf6c 100644 (file)
--- a/src/frontends/qt4/GuiWorkArea.h
+++ b/src/frontends/qt4/GuiWorkArea.h
@@ -42,22 +42,18 @@ class QLPainter;
 /// for emulating triple click
 class double_click {
 public:
-       int x;
-       int y;
        Qt::MouseButton state;
        bool active;
 
        bool operator==(QMouseEvent const & e) {
-               return x == e.x() && y == e.y()
-                       && state == e.button();
+               return state == e.button();
        }
 
        double_click()
-               : x(0), y(0), state(Qt::NoButton), active(false) {}
+               : state(Qt::NoButton), active(false) {}
 
        double_click(QMouseEvent * e)
-               : x(e->x()), y(e->y()),
-               state(e->button()), active(true) {}
+               : state(e->button()), active(true) {}
 };
 
 /** Qt only emits mouse events when the mouse is being moved, but
@@ -103,6 +99,8 @@ public:
        virtual int height() const { return viewport()->height(); }
        ///
        virtual void setScrollbarParams(int height, int pos, int line_height);
+       ///
+       virtual void scheduleRedraw() { schedule_redraw_ = true; }
 
        /// update the passed area.
        void update(int x, int y, int w, int h);
@@ -153,6 +151,8 @@ public Q_SLOTS:
        * emits an 'int' action.
        */
        void adjustViewWithScrollBar(int action = 0);
+       /// timer to limit triple clicks
+       void doubleClickTimeout();
 
 private:
        /// The slot connected to SyntheticMouseEvent::timeout.
@@ -166,7 +166,13 @@ private:
        ///     
        CursorWidget * cursor_;
        ///
+       void updateScreen();
+       ///
        QPixmap screen_;
+       ///
+       bool need_resize_;
+       ///
+       bool schedule_redraw_;
 };
 
 } // namespace frontend