comparison widgets/WidgetScale.h @ 1194:be5e43e2180c levelpanwidget

Record scale factor in log

 #ifndef SV_WIDGET_SCALE_H
 #define SV_WIDGET_SCALE_H
 
 #include <QFont>
 #include <QFontMetrics>
+
+#include "base/Debug.h"
 
 class WidgetScale
 {
 public:   
     /**

 #else
             baseEm = 15.0;
 #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);
         if (pixels != 0 && scaled == 0) scaled = 1;
         return scaled;