Allow click on the 'spinner' to cancel export.

[lyx.git] / src / frontends / WorkAreaManager.h

diff --git a/src/frontends/WorkAreaManager.h b/src/frontends/WorkAreaManager.h
index f2c93be019375169bd9b5e44e159bf31b19530cd..0434074ab45769fa9944972a304f1c4bbf5e0c87 100644 (file)
--- a/src/frontends/WorkAreaManager.h
+++ b/src/frontends/WorkAreaManager.h
@@ -15,6 +15,9 @@
 #include <list>
 
 namespace lyx {
+
+class Buffer;
+
 namespace frontend {
 
 class WorkArea;
@@ -28,21 +31,26 @@ class WorkArea;
 class WorkAreaManager
 {
 public:
+       ///
        WorkAreaManager() {}
-
        ///
        void add(WorkArea * wa);
-
        ///
        void remove(WorkArea * wa);
-
        ///
-       void redrawAll();
-
+       void redrawAll(bool update_metrics);
        ///
        void closeAll();
+       /// Update window titles of all users and the external modifications
+       /// warning.
+       void updateTitles();
+       /// If there is no work area, create a new one in the current view using the
+       /// buffer buf. Returns false if not possible.
+       bool unhide(Buffer * buf);
 
 private:
+       typedef std::list<WorkArea *>::iterator iterator;
+       ///
        std::list<WorkArea *> work_areas_;
 };