|
@@ -1916,7 +1916,6 @@ public class GUI<E> implements CategoryListener {
|
|
// check if tab already open for clicked NodeOfNode
|
|
// check if tab already open for clicked NodeOfNode
|
|
boolean dupl = false;
|
|
boolean dupl = false;
|
|
for (int i = 2; i < tabbedPane.getTabCount() && dupl == false; i++) {
|
|
for (int i = 2; i < tabbedPane.getTabCount() && dupl == false; i++) {
|
|
- System.out.println(i);
|
|
|
|
if (((UpperNodeCanvas) ((JScrollPane) tabbedPane.getComponentAt(i)).getViewport().getComponent(0)).upperNode
|
|
if (((UpperNodeCanvas) ((JScrollPane) tabbedPane.getComponentAt(i)).getViewport().getComponent(0)).upperNode
|
|
.getID() == temp.getID()) {
|
|
.getID() == temp.getID()) {
|
|
dupl = true;
|
|
dupl = true;
|
|
@@ -1934,7 +1933,6 @@ public class GUI<E> implements CategoryListener {
|
|
temp = ((UpperNodeCanvas) ((JScrollPane) tabbedPane.getSelectedComponent()).getViewport().getComponent(0)).tempCps;
|
|
temp = ((UpperNodeCanvas) ((JScrollPane) tabbedPane.getSelectedComponent()).getViewport().getComponent(0)).tempCps;
|
|
if (doubleClick() && temp instanceof CpsUpperNode) {
|
|
if (doubleClick() && temp instanceof CpsUpperNode) {
|
|
openNewUpperNodeTab();
|
|
openNewUpperNodeTab();
|
|
- System.out.println("done");
|
|
|
|
}
|
|
}
|
|
// updCon.refreshTableProperties(table);
|
|
// updCon.refreshTableProperties(table);
|
|
}
|
|
}
|