# HG changeset patch
# User Chris Cannam <cannam@all-day-breakfast.com>
# Date 1530020216 -3600
# Node ID e7c9650e74a705ebd911c88df6ade978f09ddcfb
# Parent  5af5c611f4cb253eb3c05de85b8822aa54766024
Never scale down

diff -r 5af5c611f4cb -r e7c9650e74a7 widgets/WidgetScale.h
--- a/widgets/WidgetScale.h	Tue Jun 26 08:35:49 2018 +0100
+++ b/widgets/WidgetScale.h	Tue Jun 26 14:36:56 2018 +0100
@@ -43,6 +43,11 @@
             SVDEBUG << "WidgetScale::scalePixelSize: baseEm = " << baseEm
                     << ", platform default font height = " << em
                     << ", resulting scale factor = " << ratio << endl;
+            if (ratio < 1.0) {
+                SVDEBUG << "WidgetScale::scalePixelSize: rounding up to 1.0"
+                        << endl;
+                ratio = 1.0;
+            }
         }
 
         int scaled = int(pixels * ratio + 0.5);