diff view/View.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/View.h	Thu Nov 15 14:04:32 2018 +0000
+++ b/view/View.h	Thu Nov 15 14:18:26 2018 +0000
@@ -377,6 +377,7 @@
     int getPaintHeight() const { return getPaintRect().height(); }
 
     double scaleSize(double size) const;
+    int scalePixelSize(int size) const;
     double scalePenWidth(double width) const;
     QPen scalePen(QPen pen) const;