|
@@ -93,6 +93,7 @@ public class GUI<E> implements CategoryListener {
|
|
|
private final JLabel elementGraph = new JLabel("None ");
|
|
|
private final ArrayList<HolonElement> selectedElements = new ArrayList<HolonElement>();
|
|
|
private String holonEleNamesDisplayed = "None ";
|
|
|
+ private final ArrayList<CpsObject> selectedObjects = new ArrayList<CpsObject>();
|
|
|
|
|
|
private final JTree tree = new JTree();
|
|
|
private final JEditorPane dtrpnHereWillBe = new JEditorPane();
|
|
@@ -258,7 +259,7 @@ public class GUI<E> implements CategoryListener {
|
|
|
edgePopUp.setVisible(true);
|
|
|
}
|
|
|
});
|
|
|
-
|
|
|
+
|
|
|
mnNewMenu_2.add(mntmEditEdges);
|
|
|
|
|
|
menuBar.add(mnNewMenu_3);
|
|
@@ -794,6 +795,25 @@ public class GUI<E> implements CategoryListener {
|
|
|
tableModelProperties.removeRow(i);
|
|
|
}
|
|
|
}
|
|
|
+ if (e.isShiftDown() && temp != null) {
|
|
|
+ selectedObjects.add(temp);
|
|
|
+ }
|
|
|
+ // } else if (e.isShiftDown() && model.getSelectedEdge() !=
|
|
|
+ // null) {
|
|
|
+ // selectedObjects.add(model.getSelectedEdge());
|
|
|
+ // }
|
|
|
+ if (temp == null) {
|
|
|
+ selectedObjects.clear();
|
|
|
+ }
|
|
|
+ boolean nothingImportant = true;
|
|
|
+ for (CpsObject c : selectedObjects) {
|
|
|
+ if (nothingImportant) {
|
|
|
+ System.out.println("Elements: " + c.getName());
|
|
|
+ nothingImportant = false;
|
|
|
+ } else {
|
|
|
+ System.out.println(c.getName());
|
|
|
+ }
|
|
|
+ }
|
|
|
// Write new data
|
|
|
if (temp != null) {
|
|
|
Object[] tempName = { "Name", temp.getName() };
|