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 51d4b7de18ee24b1fc433c5fe0f9f1e32edbeb5a..41427ab3e0381bef664ef8039ee7900189a2a060 100644 (file)
--- a/src/frontends/Painter.h
+++ b/src/frontends/Painter.h
@@ -122,6 +122,11 @@ 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;
 
@@ -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_;