* TabWorkArea: rename 'close tab' button to 'close buffer' and add a 'close tab'...

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

diff --git a/src/frontends/qt4/GuiWorkArea.h b/src/frontends/qt4/GuiWorkArea.h
index d1a65e3f061b9e8440d33d5a5b3a0c27727e1331..b528bb478efee30d2349a87bfdb7a862f8171682 100644 (file)
--- a/src/frontends/qt4/GuiWorkArea.h
+++ b/src/frontends/qt4/GuiWorkArea.h
@@ -109,6 +109,8 @@ public:
        ///
        ~GuiWorkArea();
 
+       ///
+       void setFullScreen(bool full_screen);
        ///
        void scheduleRedraw() { schedule_redraw_ = true; }
        ///
@@ -121,10 +123,6 @@ public:
        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);
@@ -146,8 +144,6 @@ private Q_SLOTS:
        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();
@@ -218,10 +214,6 @@ private:
 
        ///
        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_;
        ///
@@ -247,6 +239,8 @@ class TabWorkArea : public QTabWidget
 public:
        TabWorkArea(QWidget * parent = 0);
 
+       ///
+       void setFullScreen(bool full_screen);
        void showBar(bool show);
        void closeAll();
        bool setCurrentWorkArea(GuiWorkArea *);
@@ -263,6 +257,8 @@ public Q_SLOTS:
        ///
        void on_currentTabChanged(int index);
        ///
+       void closeCurrentBuffer();
+       ///
        void closeCurrentTab();
        ///
        void updateTabText(GuiWorkArea *);