- /**
- * Update the scrollbar.
- * @param height the total document height in pixels
- * @param pos the current position in the document, in pixels
- * @param line_height the line-scroll amount, in pixels
- */
- virtual void setScrollbarParams(int height, int pos, int line_height) = 0;
-
- ///
- virtual void scheduleRedraw() = 0;
-
- /// redraw the screen, without using existing pixmap
- virtual void redraw();
- ///
- void stopBlinkingCursor();
- void startBlinkingCursor();
-
- /// Process Key pressed event.
- /// This needs to be public because it is accessed externally by GuiView.
- void processKeySym(KeySymbolPtr key, key_modifier::state state);
-
-protected:
- /// cause the display of the given area of the work area
- virtual void expose(int x, int y, int w, int h) = 0;
- ///
- void dispatch(FuncRequest const & cmd0,
- key_modifier::state = key_modifier::none);