diff view/ViewManager.h @ 896:78e041e45ff0

Scale drag thresholds according to actual display resolution
author Chris Cannam
date Thu, 15 Jan 2015 10:42:00 +0000
parents d974ed657176
children a1226b3b7925
line wrap: on
line diff
--- a/view/ViewManager.h	Mon Dec 15 16:08:26 2014 +0000
+++ b/view/ViewManager.h	Thu Jan 15 10:42:00 2015 +0000
@@ -184,6 +184,13 @@
 
     void setMainModelSampleRate(int sr) { m_mainModelSampleRate = sr; }
 
+    /**
+     * Take a "design pixel" size and scale it for the actual
+     * display. This is relevant to hi-dpi systems that do not do
+     * pixel doubling (i.e. Windows and Linux rather than OS/X).
+     */
+    int scalePixelSize(int pixels);
+    
     enum OverlayMode {
         NoOverlays,
         GlobalOverlays,