diff options
Diffstat (limited to 'src/JavaGUI')
| -rw-r--r-- | src/JavaGUI/GFEditor2.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/JavaGUI/GFEditor2.java b/src/JavaGUI/GFEditor2.java index a30d63c56..895781e50 100644 --- a/src/JavaGUI/GFEditor2.java +++ b/src/JavaGUI/GFEditor2.java @@ -1434,8 +1434,8 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener, {
position = jElement.position+"]";
System.out.println("SELECTEDTEXT: "+position+"\n");
- //treeChanged = true;
- //send("mp "+position);
+ treeChanged = true;
+ send("mp "+position);
}
} else
System.out.println("no position in vector of size: "+outputVector.size());
|