(DocDisplay) view_.getInputEditorDisplay(),
false);
addKeyDownPreviewHandler(completionManager) ;
addKeyPressPreviewHandler(completionManager) ;
addKeyDownPreviewHandler(new HistoryCompletionManager(
view_.getInputEditorDisplay(), server));
uiPrefs.insertMatching().bind(new CommandWithArg<Boolean>() {
public void execute(Boolean arg) {
AceEditorNative.setInsertMatching(arg);