comparison view/ViewProxy.h @ 1402:b0eeec95ab5b

Handle integer pixel scaling as well

     virtual double scaleSize(double size) const {
         return m_view->scaleSize(size * m_scaleFactor);
     }
 
     /**
+     * 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.
      */
     virtual double scalePenWidth(double width) const {