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

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@31815 a592a061-630c-0410-9148-cb99ea01b6c8

diff --git a/src/frontends/qt4/GuiWorkArea.cpp b/src/frontends/qt4/GuiWorkArea.cpp
index 7c49cb794e3991a3f360398fc6843c0f055fa48a..d5595a9ea45d83bad87a28b1667118be6dc94a20 100644 (file)
--- a/src/frontends/qt4/GuiWorkArea.cpp
+++ b/src/frontends/qt4/GuiWorkArea.cpp
@@ -1528,7 +1528,7 @@ void TabWorkArea::closeCurrentBuffer()
 }
 
 
-void TabWorkArea::closeCurrentTab()
+void TabWorkArea::hideCurrentTab()
 {
        GuiWorkArea * wa;
        if (clicked_tab_ == -1)
@@ -1551,7 +1551,7 @@ void TabWorkArea::closeTab(int index)
                wa = dynamic_cast<GuiWorkArea *>(widget(index));
                LASSERT(wa, /**/);
        }
-       wa->view().hideWorkArea(wa);
+       wa->view().closeWorkArea(wa);
 }
 
 
@@ -1763,7 +1763,7 @@ void TabWorkArea::showContextMenu(const QPoint & pos)
        // show tab popup
        QMenu popup;
        popup.addAction(QIcon(getPixmap("images/", "hidetab", "png")),
-               qt_("Hide tab"), this, SLOT(closeCurrentTab()));
+               qt_("Hide tab"), this, SLOT(hideCurrentTab()));
        popup.addAction(QIcon(getPixmap("images/", "closetab", "png")),
                qt_("Close tab"), this, SLOT(closeCurrentBuffer()));
        popup.exec(tabBar()->mapToGlobal(pos));

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);
        ///