lintOnChange:false doesn't work

Hello,
I would like to trigger lint when i click on a specific button on my GUI, so i don’t want Codemirror to trigger lint himself when it detect any change.
I tried to put this in the options :
lint: {
lintOnChange: false
}
and I put this on the OnClick option of the button: {() => editor.performLint()}, where editor is the instance of CodeMirror.
but CodeMirror continue to trigger lint on change.
What am I doing wrong?

That seems to work for me (if I replace lint: true with lint: {lintOnChange: false} in the lint demo it behaves as expected).

It doesn’t work for me.
What could be the problem?