- /// return the painter object for this work area
- virtual Painter & getPainter() = 0;
-
- /// return the width of the work area in pixels
- virtual int workWidth() const = 0;
- /// return the height of the work area in pixels
- virtual int workHeight() 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;
-
- // FIXME: this is an odd place to have it, but xforms needs it here ...
- /// a selection exists
- virtual void haveSelection(bool) const = 0;
- /// get the X clipboard contents
- virtual std::string const getClipboard() const = 0;
- /// fill the clipboard
- virtual void putClipboard(std::string const &) const = 0;
+ /// redraw the screen, without using existing pixmap
+ virtual void redraw(bool update_metrics) = 0;
+
+ /// close this work area.
+ /// Slot for Buffer::closing signal.
+ virtual void close() = 0;
+
+ /// Update window titles of all users.
+ virtual void updateWindowTitle() = 0;