241242243244245246247248249250251
requeryContextTimer_.cancel(); } }); eventBus.addHandler(ConsoleWriteInputEvent.TYPE, new ConsoleWriteInputHandler() { @Override public void onConsoleWriteInput(ConsoleWriteInputEvent event) { String input = event.getInput().trim();