change size of runner panel

PhilippSalvisberg · PhilippSalvisberg · commit 719f46fda1c4 · 2019-06-10T15:03:35.000+02:00
diff --git a/sqldev/src/main/java/org/utplsql/sqldev/runner/UtplsqlRunner.xtend b/sqldev/src/main/java/org/utplsql/sqldev/runner/UtplsqlRunner.xtend
@@ -206,9 +206,7 @@ class UtplsqlRunner implements RealtimeReporterEventConsumer {
 				frame.defaultCloseOperation = JFrame.EXIT_ON_CLOSE;
 				panel = new RunnerPanel
 				frame.add(panel.getGUI)
-				val frameSize = new Dimension(500, 500)
-				frame.minimumSize = frameSize
-				frame.preferredSize = frameSize
+				frame.preferredSize = new Dimension(500, 500)
 				frame.pack
 				val dim = Toolkit.getDefaultToolkit().getScreenSize();
 				frame.setLocation(dim.width / 2 - frame.getSize().width / 2, dim.height / 2 - frame.getSize().height / 2);
