Some necessary cleanup, noticed by Pavel.

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

diff --git a/src/frontends/qt4/GuiView.h b/src/frontends/qt4/GuiView.h
index 21ebdf81b854cf247ea64be707530bf8e655cee6..ce64c34d793489722952dbef6ad60b6ae40b967c 100644 (file)
--- a/src/frontends/qt4/GuiView.h
+++ b/src/frontends/qt4/GuiView.h
@@ -299,13 +299,11 @@ private:
        bool saveBuffer(Buffer & b);
        /// closes a workarea, if close_buffer is true the buffer will
        /// also be released, otherwise the buffer will be hidden.
-       bool closeWorkArea(GuiWorkArea * wa, bool close_buffer,
-               bool is_active = false);
+       bool closeWorkArea(GuiWorkArea * wa, bool close_buffer);
        /// closes the tabworkarea and all tabs. If we are in a close event,
        /// all buffers will be closed, otherwise they will be hidden.
        /// main_work_area is the workarea marked in the session file as active.
-       bool closeTabWorkArea(TabWorkArea * twa,
-               GuiWorkArea * main_work_area = 0);
+       bool closeTabWorkArea(TabWorkArea * twa);
        /// gives the user the possibility to save his work 
        /// or to discard the changes. If hiding is true, the
        /// document will be reloaded.