On Mac, moving down a paragraph should place the cursor at the end of the current...

[lyx.git] / src / frontends / qt4 / GuiPainter.h

diff --git a/src/frontends/qt4/GuiPainter.h b/src/frontends/qt4/GuiPainter.h
index 263b3a851c44cae99c4522f835a3566cb31fa758..a29507831fa80423089eb2aca5e1a64f9d3c5184 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,
-               line_width = line_thin);
+               float line_width = thin_line);
 
        /**
         * lines -  draw a set of lines
@@ -56,7 +56,7 @@ public:
                int np,
                Color,
                line_style = line_solid,
-               line_width = line_thin);
+               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,
-               line_width = line_thin);
+               float line_width = thin_line);
 
        /// draw a filled rectangle
        virtual void fillRectangle(
@@ -93,6 +93,9 @@ public:
        /// draw a char at position x, y (y is the baseline)
        virtual int text(int x, int y, char_type c, FontInfo const & f);
 
+       ///
+       virtual void textDecoration(FontInfo const & f, int x, int y, int width);
+
        /// draw a string and enclose it inside a button frame
        virtual void buttonText(int x, int baseline, docstring const & s,
                FontInfo const & font, bool mouseHover);
@@ -150,11 +153,11 @@ private:
 
        /// set pen parameters
        void setQPainterPen(QColor const & col,
-               line_style ls = line_solid, line_width lw = line_thin);
+               line_style ls = line_solid, float lw = thin_line);
 
        QColor current_color_;
        Painter::line_style current_ls_;
-       Painter::line_width current_lw_;
+       float current_lw_;
        ///
        bool const use_pixmap_cache_;
        ///