Fix singlePar update. This should result in a nice speed improvment for Mac.

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

diff --git a/src/frontends/WorkArea.h b/src/frontends/WorkArea.h
index 2916a66760a0f0f544c55a3b83551f21cb64c73a..ec7f4ba5ff02f834c6604ecff5686b6539407332 100644 (file)
--- a/src/frontends/WorkArea.h
+++ b/src/frontends/WorkArea.h
@@ -80,7 +80,7 @@ public:
        virtual void setScrollbarParams(int height, int pos, int line_height) = 0;
 
        /// redraw the screen, without using existing pixmap
-       virtual void redraw();
+       virtual void redraw(bool singlePar = false);
        ///
        void checkAndGreyOut();
        ///