@RequiresEdt
  @Override
  public void showSearchResult(SearchResult searchResult) {
    editorModel.showSearchResult(searchResult);
  }
@RequiresEdt
  @Override
  public void showSearchResult(SearchResult searchResult)