|
@@ -420,6 +420,21 @@ public class GUI implements CategoryListener {
|
|
public void actionPerformed(ActionEvent e) {
|
|
public void actionPerformed(ActionEvent e) {
|
|
try {
|
|
try {
|
|
controller.loadAutoSave(controller.getUndoSave());
|
|
controller.loadAutoSave(controller.getUndoSave());
|
|
|
|
+ /**
|
|
|
|
+ * close bugged Tabs
|
|
|
|
+ */
|
|
|
|
+ for (int i = 1; i < tabbedPaneInnerOriginal.getTabCount(); i++) {
|
|
|
|
+ JScrollPane scrollPaneOriginal = (JScrollPane) tabbedPaneInnerOriginal
|
|
|
|
+ .getComponentAt(i);
|
|
|
|
+ if (((UpperNodeCanvas) scrollPaneOriginal.getViewport()
|
|
|
|
+ .getComponent(0)).upperNode == null) {
|
|
|
|
+ ((ButtonTabComponent) tabbedPaneInnerOriginal
|
|
|
|
+ .getTabComponentAt(i)).removeTabs();
|
|
|
|
+ break;
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+
|
|
controller.calculateStateForCurrentTimeStep();
|
|
controller.calculateStateForCurrentTimeStep();
|
|
canvas.repaint();
|
|
canvas.repaint();
|
|
unitGraph.update(model.getObjectsOnCanvas());
|
|
unitGraph.update(model.getObjectsOnCanvas());
|
|
@@ -440,6 +455,20 @@ public class GUI implements CategoryListener {
|
|
public void actionPerformed(ActionEvent e) {
|
|
public void actionPerformed(ActionEvent e) {
|
|
try {
|
|
try {
|
|
controller.loadAutoSave(controller.getRedoSave());
|
|
controller.loadAutoSave(controller.getRedoSave());
|
|
|
|
+ /**
|
|
|
|
+ * close bugged Tabs
|
|
|
|
+ */
|
|
|
|
+ for (int i = 1; i < tabbedPaneInnerOriginal.getTabCount(); i++) {
|
|
|
|
+ JScrollPane scrollPaneOriginal = (JScrollPane) tabbedPaneInnerOriginal
|
|
|
|
+ .getComponentAt(i);
|
|
|
|
+ if (((UpperNodeCanvas) scrollPaneOriginal.getViewport()
|
|
|
|
+ .getComponent(0)).upperNode == null) {
|
|
|
|
+ ((ButtonTabComponent) tabbedPaneInnerOriginal
|
|
|
|
+ .getTabComponentAt(i)).removeTabs();
|
|
|
|
+ break;
|
|
|
|
+ }
|
|
|
|
+ }
|
|
|
|
+
|
|
controller.calculateStateForCurrentTimeStep();
|
|
controller.calculateStateForCurrentTimeStep();
|
|
canvas.repaint();
|
|
canvas.repaint();
|
|
unitGraph.update(model.getObjectsOnCanvas());
|
|
unitGraph.update(model.getObjectsOnCanvas());
|