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

diff --git a/src/frontends/WorkArea.h b/src/frontends/WorkArea.h
index 8e459ca375..743c1145a5 100644
--- a/src/frontends/WorkArea.h
+++ b/src/frontends/WorkArea.h
@@ -24,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
 {
@@ -36,8 +34,8 @@ public:
 	///
 	virtual ~WorkArea() {}
 
-	/// redraw the screen, without using existing pixmap
-	virtual void redraw(bool update_metrics) = 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.