shell.getHeader().getAwesomeBoxComponentHost().hide();
}
});
// Hook find/replace upto the editor.
editorBundle.getEditor().getDocumentListenerRegistrar().add(new DocumentListener() {
@Override
public void onDocumentChanged(Document oldDocument, Document newDocument) {
findReplaceComponent.attachEditor(editorBundle.getEditor());
}
});