From 2c1790390f9dda4c9247688da5e1441f834ec90a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=BCrgen=20Walter?= <juergen.walter@uni-wuerzburg.de>
Date: Fri, 13 Apr 2018 17:07:19 +0200
Subject: [PATCH] resizable result window
---
.../src/tools/descartes/pavo/GraphicsEngine.java | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/tools.descartes.pavo/src/tools/descartes/pavo/GraphicsEngine.java b/tools.descartes.pavo/src/tools/descartes/pavo/GraphicsEngine.java
index 8bca8ced..91f5c009 100644
--- a/tools.descartes.pavo/src/tools/descartes/pavo/GraphicsEngine.java
+++ b/tools.descartes.pavo/src/tools/descartes/pavo/GraphicsEngine.java
@@ -89,11 +89,11 @@ public class GraphicsEngine {
mainFrame.add(tabbedPane);
interpreteEntityMapping(currentMapping, tabbedPane);
mainFrame.pack();
- mainFrame.setMinimumSize(new Dimension(mainFrame.getWidth() + 100, mainFrame.getHeight()));
- mainFrame.setResizable(false);
+ mainFrame.setMinimumSize(new Dimension(mainFrame.getWidth() / 2 + 100, mainFrame.getHeight() / 2));
+ mainFrame.setResizable(true);
mainFrame.setVisible(true);
mainFrame.toFront();
- mainFrame.setMaximumSize(new Dimension(1000, 1000));
+ mainFrame.setMaximumSize(new Dimension(mainFrame.getWidth() + 100, mainFrame.getHeight()));
RefineryUtilities.centerFrameOnScreen(mainFrame);
}
--
GitLab