- /**
- * 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(KeySymbol const & key, KeyModifier mod);
+ /// Update metrics if needed and schedule a paint event
+ virtual void scheduleRedraw(bool update_metrics) = 0;