# HG changeset patch
# User Chris Cannam
# Date 1485465327 0
# Node ID d25f1f99c6fa15c4b9a3c6f1482435d27ab4e576
# Parent  312f99a9f2aaefb4e5e01375c1e55d4412b7365d
Minor debug

diff -r 312f99a9f2aa -r d25f1f99c6fa view/ViewManager.cpp
--- a/view/ViewManager.cpp	Thu Jan 26 21:15:20 2017 +0000
+++ b/view/ViewManager.cpp	Thu Jan 26 21:15:27 2017 +0000
@@ -804,6 +804,9 @@
 #endif
         double em = QFontMetrics(QFont()).height();
         ratio = em / baseEm;
+
+        SVDEBUG << "ViewManager::scalePixelSize: ratio is " << ratio
+                << " (em = " << em << ")" << endl;
     }
 
     int scaled = int(pixels * ratio + 0.5);