use one place to adjust width of thin lines

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@35302 a592a061-630c-0410-9148-cb99ea01b6c8

diff --git a/src/frontends/Painter.h b/src/frontends/Painter.h
index 31bb2405fd71ab28ffd79dcf334340b6bd1413e7..8bbda37701955e54f71c0da47501353977b3fcee 100644 (file)
--- a/src/frontends/Painter.h
+++ b/src/frontends/Painter.h
@@ -57,6 +57,7 @@ public:
        Painter() : drawing_enabled_(true) {}
 
        float line_width;
+       static const float thin_line;
 
        /// possible line styles
        enum line_style {
@@ -76,7 +77,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
@@ -85,11 +86,11 @@ public:
         * @param np size of the points array
         */
        virtual void lines(int const * xp, int const * yp, int np, Color,
-               line_style = line_solid, float line_width = 0.5) = 0;
+               line_style = line_solid, float line_width = thin_line) = 0;
 
        /// draw a rectangle
        virtual void rectangle(int x, int y, int w, int h, Color,
-               line_style = line_solid, float line_width = 0.5) = 0;
+               line_style = line_solid, float line_width = thin_line) = 0;
 
        /// draw a filled rectangle
        virtual void fillRectangle(int x, int y, int w, int h, Color) = 0;

diff --git a/src/frontends/qt4/GuiPainter.cpp b/src/frontends/qt4/GuiPainter.cpp
index fb3e5e9bf840104e72eaabb51aa96137ff741194..44f82dafe3880b671859bdec4a6d9fa4e927caf8 100644 (file)
--- a/src/frontends/qt4/GuiPainter.cpp
+++ b/src/frontends/qt4/GuiPainter.cpp
@@ -44,6 +44,8 @@ using namespace std;
 
 namespace lyx {
 namespace frontend {
+  
+const float Painter::thin_line = 0.5;
 
 GuiPainter::GuiPainter(QPaintDevice * device)
        : QPainter(device), Painter(),
@@ -52,7 +54,7 @@ GuiPainter::GuiPainter(QPaintDevice * device)
        // new QPainter has default QPen:
        current_color_ = guiApp->colorCache().get(Color_black);
        current_ls_ = line_solid;
-       current_lw_ = 0.5;
+       current_lw_ = thin_line;
 }
 
 

diff --git a/src/frontends/qt4/GuiPainter.h b/src/frontends/qt4/GuiPainter.h
index ffa95ccab0ab35bee36343d249d25bfc4e56b45d..a3849bb679ca4a65d8d48a362bde653bbe918933 100644 (file)
--- a/src/frontends/qt4/GuiPainter.h
+++ b/src/frontends/qt4/GuiPainter.h
@@ -42,7 +42,7 @@ public:
                int x2, int y2,
                Color,
                line_style = line_solid,
-               float line_width = 0.5);
+               float line_width = thin_line);
 
        /**
         * lines -  draw a set of lines
@@ -56,7 +56,7 @@ public:
                int np,
                Color,
                line_style = line_solid,
-               float line_width = 0.5);
+               float line_width = thin_line);
 
        /// draw a rectangle
        virtual void rectangle(
@@ -64,7 +64,7 @@ public:
                int w, int h,
                Color,
                line_style = line_solid,
-               float line_width = 0.5);
+               float line_width = thin_line);
 
        /// draw a filled rectangle
        virtual void fillRectangle(
@@ -150,7 +150,7 @@ private:
 
        /// set pen parameters
        void setQPainterPen(QColor const & col,
-               line_style ls = line_solid, float lw = 0.5);
+               line_style ls = line_solid, float lw = thin_line);
 
        QColor current_color_;
        Painter::line_style current_ls_;