Changeset 4409 for trunk/gli/src/org/greenstone/gatherer
- Timestamp:
- 2003-05-30T10:20:36+12:00 (21 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/SmarterTextArea.java
r4367 r4409 63 63 } 64 64 65 /** we want to be able to set the text without the user being able to */ 66 public void systemSetText(String text) { 67 init = true; 68 setText(text); 69 init = false; 70 } 65 71 private class UnchangingDocument 66 72 extends PlainDocument { … … 71 77 } 72 78 } 73 public void remove(int offs, int len) { 79 public void remove(int offs, int len) 80 throws BadLocationException { 81 if (init) { 82 super.remove(offs, len); 83 } 74 84 } 75 85 } 86 87 76 88 }
Note:
See TracChangeset
for help on using the changeset viewer.