X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2Ffrontends%2FWorkAreaManager.h;h=e8952f2eae2276a4884f5a7f5db91b06ddc8eca1;hb=91ca310d1dcc6bfd647eb7de4bfc417192df69a9;hp=7ff32127bbe4510e80b6eba73f0b503c2982848a;hpb=5249b74e5bd3fdaa1c6fc26c1ea67de299b9b230;p=lyx.git

diff --git a/src/frontends/WorkAreaManager.h b/src/frontends/WorkAreaManager.h
index 7ff32127bb..e8952f2eae 100644
--- a/src/frontends/WorkAreaManager.h
+++ b/src/frontends/WorkAreaManager.h
@@ -12,29 +12,40 @@
 #ifndef WORKAREA_MANAGER_H
 #define WORKAREA_MANAGER_H
 
-#include <vector>
+#include <list>
 
 namespace lyx {
 namespace frontend {
 
 class WorkArea;
 
+/// \c WorkArea Manager.
+/**
+  * This is a helper class designed to avoid signal/slot connections
+  * between a \c Buffer and the potentially multiple \c WorkArea(s)
+  * used to visualize this Buffer contents.
+  */
 class WorkAreaManager
 {
 public:
+	///
 	WorkAreaManager() {}
-
 	///
 	void add(WorkArea * wa);
-
 	///
-	void redrawAll();
-
+	void remove(WorkArea * wa);
+	///
+	void redrawAll(bool update_metrics);
 	///
 	void closeAll();
+	/// Update window titles of all users and the external modifications
+	/// warning.
+	void updateTitles();
 
 private:
-	std::vector<WorkArea *> work_areas_;
+	typedef std::list<WorkArea *>::iterator iterator;
+	///
+	std::list<WorkArea *> work_areas_;
 };
 
 } // namespace frontend