Uwe Stöhr wrote:
> and set its value in GuiPainter.cpp to 0.5 works, but I get a lot of 

why in cpp and not in header?

the folowing patch doesnt link for you?
pavel
diff --git a/src/frontends/Painter.h b/src/frontends/Painter.h
index 31bb240..a8657cc 100644
--- a/src/frontends/Painter.h
+++ b/src/frontends/Painter.h
@@ -76,7 +76,7 @@ public:
 
        /// draw a line from point to point
        virtual void line(int x1, int y1, int x2, int y2, Color,
-               line_style = line_solid, float line_width = 0.5) = 0;
+               line_style = line_solid, float line_width = thin_line) = 0;
 
        /**
         * lines -  draw a set of lines
@@ -153,6 +153,7 @@ public:
 private:
        ///
        bool drawing_enabled_;
+       static const float thin_line = 0.5;
 };
 
 } // namespace frontend

Reply via email to