Somehow, maybe when I'm switching branches, the internal state of the editor can get stale. This is visible by:
- Underline decoration for hyperlinks doesn't start or end on the right character (and spans across lines)
- Fold/Unfold buttons are not on the right lines
Workarounds tried
- Closing/reopening the file - does nothing.
- A full quit/restart of VS Code - works.
Context
Using the OpenAPI editor from 42crunch.vscode-openapi v 4.40.0
The JSON schema displayed on status bar is OpenAPI 3.0.X