Changeset 4409

Timestamp:

2003-05-30T10:20:36+12:00 (21 years ago)

Author:

kjdon

Message:

fix to be able to add new text to a SmarterTextArea

File:

• trunk/gli/src/org/greenstone/gatherer/gui/SmarterTextArea.java (modified) (2 diffs)

trunk/gli/src/org/greenstone/gatherer/gui/SmarterTextArea.java

@@ -63 +63 @@
     }
 
+    /** we want to be able to set the text without the user being able to */
+    public void systemSetText(String text) {
+    init = true;
+    setText(text);
+    init = false;
+    }
     private class UnchangingDocument 
     extends PlainDocument {
@@ -71 +77 @@
         }
     }
-    public void remove(int offs, int len) {
+    public void remove(int offs, int len)  
+        throws BadLocationException {
+        if (init) {
+        super.remove(offs, len);
+        }
     }
     }
+
+    
 }