Regenerate previews after zoom (#11919)

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

diff --git a/src/frontends/Painter.h b/src/frontends/Painter.h
index 94ee4606c01b7f1f228a699239b46b8fb8897b29..41427ab3e0381bef664ef8039ee7900189a2a060 100644 (file)
--- a/src/frontends/Painter.h
+++ b/src/frontends/Painter.h
@@ -186,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_;