GUI, settings dialog: larger preferred width

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12146 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/userinterface/GUIOptionsDialog.java

@@ -99,7 +99,7 @@ public class GUIOptionsDialog extends javax.swing.JDialog
 		jPanel1.setLayout(new java.awt.BorderLayout());
 
 		theTabs.setMinimumSize(new java.awt.Dimension(400, 50));
-		theTabs.setPreferredSize(new java.awt.Dimension(400, 500));
+		theTabs.setPreferredSize(new java.awt.Dimension(600, 500));
 		jPanel1.add(theTabs, java.awt.BorderLayout.CENTER);
 
 		getContentPane().add(jPanel1, java.awt.BorderLayout.CENTER);