I'm not overly familiar with the gwt code, but I am assuming this is the plain text editor. If so, shouldn't this be handled the same way as the CodeMirror editor? (in Editor.java).