// add before all other listeners so that we're certain we enable/disable
//the Esc key feature based on accurate state information
addKeyListenerFirst(getTextWidget(), escListener);
addTextInputListener(new ITextInputListener() {
public void inputDocumentChanged(IDocument oldInput, IDocument newInput) {
if (newInput != null) {
newInput.addDocumentListener(parseTreeConstructorDocumentListener);
String text = newInput.get();
updateTextBuffer(text, 0, -1, text);