edit TextEditor.java