- virtual void greyOut() const = 0;
- ///
- virtual void setScrollbarParams(int height, int pos, int line_height) = 0;
-
- /// a selection exists
- virtual void haveSelection(bool) const = 0;
- ///
- virtual string const getClipboard() const = 0;
- ///
- virtual void putClipboard(string const &) const = 0;
- // Signals
- ///
- boost::signal0<void> workAreaExpose;
- ///
- boost::signal1<void, int> scrollDocView;
- ///
- boost::signal2<void, LyXKeySymPtr, key_modifier::state> workAreaKeyPress;
- ///
- boost::signal3<void, int, int, mouse_button::state> workAreaButtonPress;
- ///
- boost::signal3<void, int, int, mouse_button::state> workAreaButtonRelease;
- ///
- boost::signal3<void, int, int, mouse_button::state> workAreaMotionNotify;
- ///
- boost::signal0<void> workAreaFocus;
- ///
- boost::signal0<void> workAreaUnfocus;
- ///
- boost::signal3<void, int, int, mouse_button::state> workAreaDoubleClick;
+ virtual void scheduleRedraw() = 0;
+
+ /// redraw the screen, without using existing pixmap
+ virtual void redraw() = 0;