+ /// 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);
+ /// closes the tabworkarea and all tabs. If we are in a close event,
+ /// all buffers will be closed, otherwise they will be hidden.
+ 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.
+ bool saveBufferIfNeeded(Buffer & buf, bool hiding);
+ /// closes all workareas
+ bool closeWorkAreaAll();
+ /// write all open workareas into the session file
+ void writeSession() const;
+ /// is the buffer in this workarea also shown in another tab ?
+ /// This tab can either be in the same view or in another one.
+ bool inMultiTabs(GuiWorkArea * wa);
+ /// is the buffer in this workarea also shown in another view ?
+ bool inMultiViews(GuiWorkArea * wa);