Fix r31814: we have to close the tab not hide it. Also rename the closeCurrentTab...

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

diff --git a/src/frontends/qt4/GuiWorkArea.h b/src/frontends/qt4/GuiWorkArea.h
index 1f44c5cef5995d21c11418520a578276ccf1b24d..e5877a4ceb9da2d18662746465a4e683b9460a7a 100644 (file)
--- a/src/frontends/qt4/GuiWorkArea.h
+++ b/src/frontends/qt4/GuiWorkArea.h
@@ -320,8 +320,8 @@ 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);
        ///