|
@@ -91,7 +91,7 @@ public class GUI<E> implements CategoryListener {
|
|
private final JLabel minGraph = new JLabel("0%");
|
|
private final JLabel minGraph = new JLabel("0%");
|
|
private final JLabel elementGraph = new JLabel("None ");
|
|
private final JLabel elementGraph = new JLabel("None ");
|
|
private final ArrayList<HolonElement> selectedElements = new ArrayList<HolonElement>();
|
|
private final ArrayList<HolonElement> selectedElements = new ArrayList<HolonElement>();
|
|
- private String holonEleNamesDisplayed = "";
|
|
|
|
|
|
+ private String holonEleNamesDisplayed = "None ";
|
|
|
|
|
|
private final JTree tree = new JTree();
|
|
private final JTree tree = new JTree();
|
|
private final JEditorPane dtrpnHereWillBe = new JEditorPane();
|
|
private final JEditorPane dtrpnHereWillBe = new JEditorPane();
|