Whitespace.

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

diff --git a/src/frontends/qt4/GuiWorkArea.h b/src/frontends/qt4/GuiWorkArea.h
index e5877a4ceb9da2d18662746465a4e683b9460a7a..0858521a9a5bf0f98d36553dc9e39b51fa76a156 100644 (file)
--- a/src/frontends/qt4/GuiWorkArea.h
+++ b/src/frontends/qt4/GuiWorkArea.h
@@ -85,10 +85,6 @@ public:
        FuncRequest cmd;
        Timeout timeout;
        bool restart_timeout;
-       int x_old;
-       int y_old;
-       int min_scrollbar_old;
-       int max_scrollbar_old;
 };
 
 
@@ -117,7 +113,7 @@ public:
        void setGuiView(GuiView &);
        ///
        void setFullScreen(bool full_screen);
-       /// is LyXView in fullscreen mode?
+       /// is GuiView in fullscreen mode?
        bool isFullScreen();
        ///
        void scheduleRedraw() { schedule_redraw_ = true; }
@@ -126,7 +122,7 @@ public:
        ///
        BufferView const & bufferView() const;
        ///
-       void redraw();
+       void redraw(bool update_metrics);
        ///
        void stopBlinkingCursor();
        ///
@@ -184,7 +180,7 @@ private:
        /// hide the cursor
        virtual void removeCursor();
 
-       /// This function is called when the buffer readonly status change.
+       /// This function should be called to update the buffer readonly status.
        void setReadOnly(bool);
 
        /// Update window titles of all users.
@@ -231,6 +227,8 @@ private:
 
        ///
        BufferView * buffer_view_;
+       /// Read only Buffer status cache.
+       bool read_only_;
        ///
        GuiView * lyx_view_;
        /// is the cursor currently displayed
@@ -279,6 +277,7 @@ public:
        void setWidgetResizable(bool) {}
        void setWidget(QWidget *) {}
 
+       QSize sizeHint () const;
        ///
        void disable();
 
@@ -334,6 +333,8 @@ private Q_SLOTS:
        void showContextMenu(const QPoint & pos);
        ///
        void moveTab(int fromIndex, int toIndex);
+       ///
+       void mouseDoubleClickEvent(QMouseEvent * event);
 
 private:
        ///