- /// 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;
-
- /// Return the LyXView this workArea belongs to
- LyXView const & view() const { return *lyx_view_; }
- LyXView & view() { return *lyx_view_; }
+ /// Update metrics if needed and schedule a paint event
+ virtual void scheduleRedraw(bool update_metrics) = 0;