X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2Ffrontends%2FWorkAreaManager.h;h=dfef00e6f69168cb2b679f1eff37b6845bbac2b8;hb=1f10969bb5c5f36017bf5ba8671381b09945cf57;hp=5d7e9cc0ef69f8e1a7db581784692f4f9478438f;hpb=4ce0961b5acbaf0f78d6782cfedbbfa885b763ae;p=lyx.git

diff --git a/src/frontends/WorkAreaManager.h b/src/frontends/WorkAreaManager.h
index 5d7e9cc0ef..dfef00e6f6 100644
--- a/src/frontends/WorkAreaManager.h
+++ b/src/frontends/WorkAreaManager.h
@@ -12,29 +12,39 @@
 #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 registerWorkArea(WorkArea * wa);
-
+	void add(WorkArea * wa);
 	///
-	void changed();
-
+	void remove(WorkArea * wa);
+	///
+	void redrawAll(bool update_metrics);
 	///
-	void closing();
+	void closeAll();
+	/// Update window titles of all users.
+	void updateTitles();
 
 private:
-	std::vector<WorkArea *> work_areas_;
+	typedef std::list<WorkArea *>::iterator iterator;
+	///
+	std::list<WorkArea *> work_areas_;
 };
 
 } // namespace frontend