From e1e9c61c64e28a4e891e13f3f372ebf44a30ce8d Mon Sep 17 00:00:00 2001 From: irismarie Date: Tue, 14 Jul 2020 16:47:25 +0200 Subject: [PATCH] increase default height so line can be edited more easily --- 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 ac2a8d8..0e16c84 100644 --- a/src/widget/widget-factory.js +++ b/src/widget/widget-factory.js @@ -181,7 +181,7 @@ class WidgetFactory { widget.customProperties.file = -1; // ID of file, -1 means non selected break; case 'Line': - widget.height = 20; + widget.height = 30; widget.customProperties.border_color = 0; widget.customProperties.border_width = 2; widget.customProperties.margin_top = 15;