diff view/ViewManager.h @ 921:4968bbaf1ed8 tonioni

Merge from default branch
author Chris Cannam
date Mon, 23 Mar 2015 10:04:51 +0000
parents 78e041e45ff0
children a1226b3b7925
line wrap: on
line diff
--- a/view/ViewManager.h	Tue Nov 11 17:05:44 2014 +0000
+++ b/view/ViewManager.h	Mon Mar 23 10:04:51 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,