de/UserGuide: document index-tag-all

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

diff --git a/src/frontends/Painter.h b/src/frontends/Painter.h
index 580b72e59eeedb2274311356aab01b8bdf280fda..41427ab3e0381bef664ef8039ee7900189a2a060 100644 (file)
--- a/src/frontends/Painter.h
+++ b/src/frontends/Painter.h
@@ -122,12 +122,17 @@ public:
        virtual void arc(int x, int y, unsigned int w, unsigned int h,
                int a1, int a2, Color) = 0;
 
+       /// draw an ellipse
+       virtual void ellipse(double x, double y, double rx, double ry, Color,
+               fill_style = fill_none, line_style = line_solid,
+               int line_width = thin_line) = 0;
+
        /// draw a pixel
        virtual void point(int x, int y, Color) = 0;
 
        /// draw an image from the image cache
        virtual void image(int x, int y, int w, int h,
-               graphics::Image const & image, bool revert_in_darkmode = false) = 0;
+               graphics::Image const & image, bool const revert_in_darkmode = false) = 0;
 
        /// draw a string at position x, y (y is the baseline).
        virtual void text(int x, int y, docstring const & str, FontInfo const & f) = 0;
@@ -181,7 +186,7 @@ public:
        /// leave monochrome painting mode
        virtual void leaveMonochromeMode() = 0;
        /// draws a wavy line that can be used for underlining.
-       virtual void wavyHorizontalLine(int x, int y, int width, ColorCode col) = 0;
+       virtual void wavyHorizontalLine(FontInfo const & f, int x, int y, int width, ColorCode col) = 0;
 private:
        /// Ratio between physical pixels and device-independent pixels
        double pixel_ratio_;