diff view/ViewManager.h @ 900:1fc4f29feb2e cxx11

Merge from default branch
author Chris Cannam
date Tue, 03 Mar 2015 09:33:59 +0000
parents 78e041e45ff0
children a1226b3b7925
line wrap: on
line diff
--- a/view/ViewManager.h	Mon Feb 09 10:31:07 2015 +0000
+++ b/view/ViewManager.h	Tue Mar 03 09:33:59 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,