From 35858d33392a5e030cb6dd7e842d003dc86fa3eb Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Fri, 21 Jul 2017 16:46:58 +0000 Subject: [PATCH] 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 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/userinterface/GUIOptionsDialog.java b/prism/src/userinterface/GUIOptionsDialog.java index f83f815d..b70648d1 100644 --- a/prism/src/userinterface/GUIOptionsDialog.java +++ b/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);