Whitespace.

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

diff --git a/src/frontends/qt4/GuiWorkArea.h b/src/frontends/qt4/GuiWorkArea.h
index 5f5eec9bc13792ed485b3eb55076b4b880d99f3c..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();
 
@@ -320,8 +319,10 @@ Q_SIGNALS:
 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();
+       /// hide current tab, or the one given by \c clicked_tab_
+       void hideCurrentTab();
+       /// close the tab given by \c index
+       void closeTab(int index);
        ///
        void updateTabTexts();
        
@@ -332,6 +333,8 @@ private Q_SLOTS:
        void showContextMenu(const QPoint & pos);
        ///
        void moveTab(int fromIndex, int toIndex);
+       ///
+       void mouseDoubleClickEvent(QMouseEvent * event);
 
 private:
        ///
@@ -372,10 +375,6 @@ private:
 Q_SIGNALS:
        ///
        void tabMoveRequested(int fromIndex, int toIndex);
-
-private Q_SLOTS:
-       ///
-       void on_tabCloseRequested(int index);
 };
 
 } // namespace frontend