- BufferView const & bufferView() const;
-
- /// return the painter object for this work area
- virtual Painter & getPainter() = 0;
-
- /// return the width of the work area in pixels
- virtual int width() const = 0;
-
- /// return the height of the work area in pixels
- virtual int height() const = 0;
-
- /**
- * 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;
-
- /// redraw the screen, without using existing pixmap
- virtual void redraw(BufferView & bv);
-
- /// grey out (no buffer)
- void greyOut();
-
- /// paint the cursor and store the background
- virtual void showCursor(int x, int y, int h, CursorShape shape) = 0;
-
- /// hide the cursor
- virtual void removeCursor() = 0;