From 053d107c16c0ebf082a1f9737d5d81e31dc85563 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=BCrgen=20Walter?= <juergen.walter@uni-wuerzburg.de>
Date: Thu, 12 Apr 2018 10:23:28 +0200
Subject: [PATCH] minor refactoring
---
.../tools/descartes/pavo/GraphicsEngine.java | 17 +++++------------
1 file changed, 5 insertions(+), 12 deletions(-)
diff --git a/tools.descartes.pavo/src/tools/descartes/pavo/GraphicsEngine.java b/tools.descartes.pavo/src/tools/descartes/pavo/GraphicsEngine.java
index 562654eb..8bca8ced 100644
--- a/tools.descartes.pavo/src/tools/descartes/pavo/GraphicsEngine.java
+++ b/tools.descartes.pavo/src/tools/descartes/pavo/GraphicsEngine.java
@@ -74,23 +74,16 @@ public class GraphicsEngine {
currentMapping = new LinkedList<EntityMapping>();
currentMapping.add(mappingNeu);
- mainFrame.setTitle(title);
- mainFrame.setBackground(Color.WHITE);
- mainFrame.add(tabbedPane);
- interpreteEntityMapping(currentMapping, tabbedPane);
- mainFrame.pack();
- mainFrame.setMinimumSize(new Dimension(mainFrame.getWidth() + 100, mainFrame.getHeight()));
- mainFrame.setResizable(false);
- mainFrame.setVisible(true);
- mainFrame.toFront();
- mainFrame.setMaximumSize(new Dimension(1000, 1000));
-
- RefineryUtilities.centerFrameOnScreen(mainFrame);
+ initFrame(title);
}
public GraphicsEngine(String title, Collection<EntityMapping> mappinglist) {
currentMapping = mappinglist;
+ initFrame(title);
+ }
+
+ private void initFrame(String title) {
mainFrame.setTitle(title);
mainFrame.setBackground(Color.WHITE);
mainFrame.add(tabbedPane);
--
GitLab