Amend b280fed1: 3rdparty/dtl: Use preprocessor value on Windows

[lyx.git] / src / frontends / Painter.h

diff --git a/src/frontends/Painter.h b/src/frontends/Painter.h
index d03ebf40e8415517b11b2383fb1f7ae16244e36e..1ab43476c7478d8335953a7be8e183b15327c77e 100644 (file)
--- a/src/frontends/Painter.h
+++ b/src/frontends/Painter.h
@@ -49,7 +49,8 @@ namespace frontend {
  */
 class Painter {
 public:
-       Painter(double pixel_ratio) : drawing_enabled_(true), pixel_ratio_(pixel_ratio) {}
+       Painter(double pixel_ratio, bool devel_mode)
+               : pixel_ratio_(pixel_ratio), devel_mode_(devel_mode) {}
 
        static const int thin_line;
 
@@ -147,14 +148,13 @@ public:
                          Color other, size_type from, size_type to,
                       double wordspacing, double textwidth) = 0;
 
-       void setDrawingEnabled(bool drawing_enabled)
-       { drawing_enabled_ = drawing_enabled; }
-
-       /// Indicate wether real screen drawing shall be done or not.
-       bool isDrawingEnabled() const { return drawing_enabled_; }
+       // Returns true if the painter does not actually paint.
+       virtual bool isNull() const = 0;
 
        double pixelRatio() const { return pixel_ratio_; }
 
+       double develMode() const { return devel_mode_; }
+
        /// draw the underbar, strikeout, xout, uuline and uwave font attributes
        virtual void textDecoration(FontInfo const & f, int x, int y, int width) = 0;
 
@@ -183,10 +183,10 @@ public:
        /// draws a wavy line that can be used for underlining.
        virtual void wavyHorizontalLine(int x, int y, int width, ColorCode col) = 0;
 private:
-       ///
-       bool drawing_enabled_;
        /// Ratio between physical pixels and device-independent pixels
        double pixel_ratio_;
+       /// True when developer more is on at application-level.
+       bool devel_mode_;
 };
 
 } // namespace frontend