# HG changeset patch
# User Chris Cannam
# Date 1481819358 0
# Node ID be5e43e2180c560e104d72c929cf2cde755e2115
# Parent  54e6be7ebe11c78ce4cd46ffdff35c05689dc1f8
Record scale factor in log

diff -r 54e6be7ebe11 -r be5e43e2180c widgets/WidgetScale.h
--- a/widgets/WidgetScale.h	Thu Dec 15 15:34:33 2016 +0000
+++ b/widgets/WidgetScale.h	Thu Dec 15 16:29:18 2016 +0000
@@ -18,6 +18,8 @@
 #include <QFont>
 #include <QFontMetrics>
 
+#include "base/Debug.h"
+
 class WidgetScale
 {
 public:   
@@ -38,6 +40,9 @@
 #endif
             double em = QFontMetrics(QFont()).height();
             ratio = em / baseEm;
+            SVDEBUG << "WidgetScale::scalePixelSize: baseEm = " << baseEm
+                    << ", platform default font height = " << em
+                    << ", resulting scale factor = " << ratio << endl;
         }
 
         int scaled = int(pixels * ratio + 0.5);