MathsUi.ui: adjust the size to fit better

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

diff --git a/src/frontends/WorkAreaManager.h b/src/frontends/WorkAreaManager.h
index f2c93be019375169bd9b5e44e159bf31b19530cd..e8952f2eae2276a4884f5a7f5db91b06ddc8eca1 100644 (file)
--- a/src/frontends/WorkAreaManager.h
+++ b/src/frontends/WorkAreaManager.h
@@ -28,21 +28,23 @@ 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();
 
 private:
+       typedef std::list<WorkArea *>::iterator iterator;
+       ///
        std::list<WorkArea *> work_areas_;
 };