- 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_; }