X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2Ffrontends%2FWorkArea.h;h=743c1145a5ad5a0296ad6bbb24d836bb46240a76;hb=347800eff3fb16db67c94189fcaf2f83ef761bd0;hp=dd9f1083fdb28e9fabf8d451c2d824bd42ff11d6;hpb=8661b320ce860db07808ca766c9005b7e5c05de5;p=lyx.git

diff --git a/src/frontends/WorkArea.h b/src/frontends/WorkArea.h
index dd9f1083fd..743c1145a5 100644
--- a/src/frontends/WorkArea.h
+++ b/src/frontends/WorkArea.h
@@ -15,7 +15,6 @@
 #define BASE_WORKAREA_H
 
 #include "frontends/KeyModifier.h"
-#include "frontends/LyXView.h"
 
 namespace lyx {
 
@@ -25,11 +24,9 @@ class KeySymbol;
 namespace frontend {
 
 /**
- * The work area class represents the widget that provides the
- * view onto a document. It is owned by the BufferView, and
- * is responsible for handing events back to its owning BufferView.
- * It works in concert with the BaseScreen class to update the
- * widget view of a document.
+ * The work area class represents the widget that provides the view
+ * onto a document. It owns the BufferView, and is responsible for
+ * handing events back to its BufferView.
  */
 class WorkArea
 {
@@ -37,14 +34,12 @@ public:
 	///
 	virtual ~WorkArea() {}
 
-	/// redraw the screen, without using existing pixmap
-	virtual void redraw() = 0;
+	/// Update metrics if needed and schedule a paint event
+	virtual void scheduleRedraw(bool update_metrics) = 0;
 
 	/// close this work area.
 	/// Slot for Buffer::closing signal.
 	virtual void close() = 0;
-	/// This function is called when the buffer readonly status change.
-	virtual void setReadOnly(bool) = 0;
 
 	/// Update window titles of all users.
 	virtual void updateWindowTitle() = 0;