*/
class Painter {
public:
+ Painter(): drawing_enabled_(true) {}
/// possible line widths
enum line_width {
line_thin, //< thin line
virtual int text(int x, int y,
docstring const & str, LyXFont const & f) = 0;
+ void setDrawingEnabled(bool drawing_enabled = true)
+ { drawing_enabled_ = drawing_enabled; }
+
/**
* Draw a string at position x, y (y is the baseline)
* This is just for fast drawing
/// draw a bevelled button border
virtual void buttonFrame(int x, int y, int w, int h);
+
+ /// Indicate wether real screen drawing shall be done or not.
+ bool const isDrawingEnabled() { return drawing_enabled_; }
+
+private:
+ ///
+ bool drawing_enabled_;
};
} // namespace frontend