From 54c72f5ab023c0cdac83eb28dd1f81d4cd35aeae Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Tue, 11 Nov 2003 15:44:24 +0000
Subject: Working with interfaces.

Working with interfaces.
Created new place for grammar parsers.
Created new script jgf2+.
---
 src/JavaGUI/GFEditor2.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/JavaGUI')

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());
-- 
cgit v1.2.3