|
@@ -450,6 +450,16 @@ public class GUI<E> implements CategoryListener {
|
|
|
.getComponent(0) instanceof MyCanvas) {
|
|
|
for (AbstractCpsObject cps : model.getSelectedCpsObjects()) {
|
|
|
controller.delCanvasObject(cps);
|
|
|
+
|
|
|
+ if (cps instanceof CpsUpperNode) {
|
|
|
+ for (int i = 3; i < tabbedPane.getTabCount(); i++) {
|
|
|
+ if (((UpperNodeCanvas) ((JScrollPane) tabbedPane.getComponentAt(i)).getViewport()
|
|
|
+ .getComponent(0)).upperNode.getID() == cps.getID()) {
|
|
|
+ tabbedPane.remove(i);
|
|
|
+ i = tabbedPane.getTabCount();
|
|
|
+ }
|
|
|
+ }
|
|
|
+ }
|
|
|
}
|
|
|
canvas.repaint();
|
|
|
}
|