diff --git a/tools.descartes.pavo/src/tools/descartes/pavo/GraphicsEngine.java b/tools.descartes.pavo/src/tools/descartes/pavo/GraphicsEngine.java index 8bca8ced1fd452391514539c2a16cb307439a10e..91f5c009b331ad5a0ec157b5e79ebefb63388755 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); }