Lint errors persist after removing plugin

v6
1

Hello

I’m trying to implement un editor that can toggle lint feature by user, but even if I remove the plugin by reconfiguring compartment the lint errors keep being displayed.

const compartment = new Compartment();
const editorView = new EditorView({
  state: EditorState.create({
    extensions: [compartment.of([])]
  })
});

function enable() {
  editorView.dispatch({ effects: [compartment.reconfigure(linter(() => {...}))] });
}

function disable() {
  editorView.dispatch({ effects: [compartment.reconfigure([])] });
}

Is there any ideas to do this?

2

demo: twilight-glade-ulmiph - CodeSandbox

3

This patch should help with this.

4

Thank you marijn!
Is there any way to try changes that haven’t been released?

5

You can clone and build the repository and copy the dist/ over into your own dependency tree. But I’ve tagged @codemirror/lint 6.2.1 now.

6

It worked perfectly as expected.
Thank you so much!!