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

Merge from default branch

      */
     int getMainModelSampleRate() const { return m_mainModelSampleRate; }
 
     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,
         StandardOverlays,
         AllOverlays