use named edge for FakeTreeNodes

Previously if you had a DM node `code : integer` selected, that's how the text
would be populated in the project search box. We don't want the ` : integer`
part. To get rid of it, we add special handling for `FakeTreeNode` nodes, of
which these are an instance, and just get the edge name if the edge exists.

See #57.

Author: garfieldnate

src/main/java/edu/umich/soar/visualsoar/dialogs/find/Util.java

@@ -1,6 +1,7 @@
 package edu.umich.soar.visualsoar.dialogs.find;
 
 import edu.umich.soar.visualsoar.datamap.DataMapTree;
+import edu.umich.soar.visualsoar.datamap.FakeTreeNode;
 import edu.umich.soar.visualsoar.mainframe.feedback.FeedbackList;
 import edu.umich.soar.visualsoar.mainframe.feedback.FeedbackListEntry;
 import edu.umich.soar.visualsoar.operatorwindow.OperatorWindow;
@@ -25,11 +26,7 @@ static String getSelectedText() {
       initialText = editorPane.getSelectedText();
     } else if (focusedComponent instanceof JTree) {
       // covers both OperatorWindow and DataMapTree
-      JTree tree = (JTree) focusedComponent;
-      TreePath path = tree.getSelectionPath();
-      if (path != null) {
-        initialText = path.getLastPathComponent().toString();
-      }
+      initialText = getJtreeTextSelection((JTree) focusedComponent);
     } else if (focusedComponent instanceof FeedbackList) {
       FeedbackList fbList = (FeedbackList) focusedComponent;
       FeedbackListEntry entry = fbList.getSelectedValue();
@@ -42,4 +39,22 @@ static String getSelectedText() {
     }
     return initialText;
   }
+
+  private static String getJtreeTextSelection(JTree jTree) {
+    String initialText = null;
+    TreePath path = jTree.getSelectionPath();
+    if (path != null) {
+      Object lastPathComponent = path.getLastPathComponent();
+      if (lastPathComponent instanceof FakeTreeNode) {
+        FakeTreeNode ftn = (FakeTreeNode) lastPathComponent;
+        if (ftn.getEdge() != null) {
+          initialText = ftn.getEdge().getName();
+        }
+      }
+      if (initialText == null) {
+        initialText = path.getLastPathComponent().toString();
+      }
+    }
+    return initialText;
+  }
 }