resizable result window

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);
 	}