summaryrefslogtreecommitdiff
path: root/src/JavaGUI
diff options
context:
space:
mode:
authoraarne <unknown>2003-11-11 15:44:24 +0000
committeraarne <unknown>2003-11-11 15:44:24 +0000
commit54c72f5ab023c0cdac83eb28dd1f81d4cd35aeae (patch)
treea2a41040c96a84b2bfadac0e25a9dc450aa41bfb /src/JavaGUI
parent9b47b4aa128a5cbee74aa99e5494a0b76890ec4a (diff)
Working with interfaces.
Working with interfaces. Created new place for grammar parsers. Created new script jgf2+.
Diffstat (limited to 'src/JavaGUI')
-rw-r--r--src/JavaGUI/GFEditor2.java4
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());