From 2c77cc46dcf963e25a2c67e0703e3cd8456bbe93 Mon Sep 17 00:00:00 2001
From: Sonja Happ <sonja.happ@eonerc.rwth-aachen.de>
Date: Tue, 7 Apr 2020 13:30:54 +0200
Subject: [PATCH] Reduce minimum width of number input widget (works on #193)

---
 src/widget/widget-factory.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/widget/widget-factory.js b/src/widget/widget-factory.js
index 4fabaa6..b32200d 100644
--- a/src/widget/widget-factory.js
+++ b/src/widget/widget-factory.js
@@ -133,7 +133,7 @@ class WidgetFactory {
                 widget.customProperties.toggle = false;
                 break;
             case 'NumberInput':
-                widget.minWidth = 200;
+                widget.minWidth = 150;
                 widget.minHeight = 50;
                 widget.width = 200;
                 widget.height = 50;