Compute metrics when graphics is updated

[lyx.git] / src / frontends / WorkArea.h

diff --git a/src/frontends/WorkArea.h b/src/frontends/WorkArea.h
index 4d9ec2fca435540f299f7999632e009d399e03e3..c21555913e8fd602261d2741b1a0f8fa49c10c6c 100644 (file)
--- 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 {
 
@@ -34,26 +33,18 @@ namespace frontend {
 class WorkArea
 {
 public:
-       ///
-       WorkArea() : lyx_view_(0) {}
        ///
        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;
-
-private:
-
-       LyXView * lyx_view_;
 };
 
 } // namespace frontend