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

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