diff --git a/src/plugins/texteditor/generalsettingspage.ui b/src/plugins/texteditor/generalsettingspage.ui index 11f6b8b997ea48feee9ae24a99274c1cb0011c54..140f94628d60464e62513533e023cb46262c0c91 100644 --- a/src/plugins/texteditor/generalsettingspage.ui +++ b/src/plugins/texteditor/generalsettingspage.ui @@ -66,6 +66,9 @@ <verstretch>0</verstretch> </sizepolicy> </property> + <property name="minimum"> + <number>1</number> + </property> <property name="maximum"> <number>20</number> </property> @@ -132,6 +135,9 @@ <verstretch>0</verstretch> </sizepolicy> </property> + <property name="minimum"> + <number>1</number> + </property> <property name="maximum"> <number>20</number> </property>