changed text size

Thomas Witte · Thomas Witte · commit e990c8c2dfff · 2019-11-21T13:21:04.000+01:00
diff --git a/src/interactive_script_plugin/interactive_script_plugin.ui b/src/interactive_script_plugin/interactive_script_plugin.ui
@@ -46,6 +46,7 @@
      <property name="font">
       <font>
        <family>Monospace</family>
+       <pointsize>20</pointsize>
       </font>
      </property>
      <property name="plainText">
@@ -64,6 +65,7 @@
      <property name="font">
       <font>
        <family>Monospace</family>
+       <pointsize>20</pointsize>
       </font>
      </property>
      <property name="readOnly">
