@Override
      protected @NotNull EditorEx createEditor() {
        EditorEx result = super.createEditor();
        if (editorConstructionCallback != null) {
          editorConstructionCallback.consume(result);
        }
        return result;
      }
@Override
      protected @NotNull EditorEx createEditor()