X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2Ffrontends%2FWorkArea.h;h=8e459ca37524f3aa11240b1947f81ca1d4d00591;hb=c9f7ce0a7a6d48b9b60af92828654aa7547286b4;hp=eef1d018f574a578c2c6f0e1c6b2d98f33e5a318;hpb=c4db1d0f5a05429726d244caebd207bf29c58d71;p=lyx.git

diff --git a/src/frontends/WorkArea.h b/src/frontends/WorkArea.h
index eef1d018f5..8e459ca375 100644
--- a/src/frontends/WorkArea.h
+++ b/src/frontends/WorkArea.h
@@ -33,23 +33,15 @@ namespace frontend {
 class WorkArea
 {
 public:
-	///
-	WorkArea() {}
 	///
 	virtual ~WorkArea() {}
 
 	/// redraw the screen, without using existing pixmap
-	virtual void redraw() = 0;
-
-	/// Process Key pressed event.
-	/// This needs to be public because it is accessed externally by GuiView.
-	virtual void processKeySym(KeySymbol const & key, KeyModifier mod) = 0;
+	virtual void redraw(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;