Increase maximum number of threads

cyderize · cyderize · commit 5b14abbff987 · 2024-01-31T09:16:58.000+11:00
Fixes #196
diff --git a/MiniZincIDE/configwindow.ui b/MiniZincIDE/configwindow.ui
@@ -570,6 +570,9 @@
                <property name="minimum">
                 <number>1</number>
                </property>
+               <property name="maximum">
+                <number>9999</number>
+               </property>
                <property name="value">
                 <number>1</number>
                </property>
