|
@@ -363,6 +363,7 @@ public class GUI<E> implements CategoryListener {
|
|
unitGraph.repaintWithNewElement(ele);
|
|
unitGraph.repaintWithNewElement(ele);
|
|
} else {
|
|
} else {
|
|
elementGraph.setText("None ");
|
|
elementGraph.setText("None ");
|
|
|
|
+ unitGraph.empty();
|
|
}
|
|
}
|
|
// if any HolonElement is double-clicked --> Edit instance of
|
|
// if any HolonElement is double-clicked --> Edit instance of
|
|
// selected HolonElement
|
|
// selected HolonElement
|