X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2Ffrontends%2FWorkAreaManager.h;h=dfef00e6f69168cb2b679f1eff37b6845bbac2b8;hb=0425500be524ed87baebea34a5e8b6e58d718bbc;hp=00f7de53fe3eec9eb63678a395f617dcad161192;hpb=fe8bce66763174f67f8546cb51008e2bc8863144;p=lyx.git

diff --git a/src/frontends/WorkAreaManager.h b/src/frontends/WorkAreaManager.h
index 00f7de53fe..dfef00e6f6 100644
--- a/src/frontends/WorkAreaManager.h
+++ b/src/frontends/WorkAreaManager.h
@@ -28,27 +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();
-
-	/// This function is called when the buffer readonly status change.
-	virtual void setReadOnly(bool);
-
 	/// Update window titles of all users.
-	virtual void updateTitles();
+	void updateTitles();
 
 private:
+	typedef std::list<WorkArea *>::iterator iterator;
+	///
 	std::list<WorkArea *> work_areas_;
 };