diff view/ViewProxy.h @ 1402:b0eeec95ab5b

Handle integer pixel scaling as well
author Chris Cannam
date Thu, 15 Nov 2018 14:18:26 +0000
parents 28075cc658c9
children a18e78b9c78b
line wrap: on
line diff
--- a/view/ViewProxy.h	Thu Nov 15 14:04:32 2018 +0000
+++ b/view/ViewProxy.h	Thu Nov 15 14:18:26 2018 +0000
@@ -156,6 +156,13 @@
     }
 
     /**
+     * Integer version of scaleSize.
+     */
+    virtual int scalePixelSize(int size) const {
+        return m_view->scalePixelSize(size * m_scaleFactor);
+    }
+    
+    /**
      * Scale up pen width for a hi-dpi display without pixel doubling.
      * This is like scaleSize except that it also scales the
      * zero-width case.