@Override
      public void select(@NotNull TextRange range) {
        editor.getSelectionModel().setSelection(range.getStartOffset(), range.getEndOffset());
      }
@Override
      public void select(@NotNull TextRange range)