ahhh also found this conversation about this issue: Linter that only refreshes on needsRefresh - #3 by kim
I’m not explicitly adding a linter but using @uiw/react-codemirror which probably adds something (though I thought I disabled everything).
What would be the easiest way to find another linter being added? setting a breakpoint in linter() didn’t seem to find anything