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
Somehow, maybe when I'm switching branches, the internal state of the editor can get stale. This is visible by:
Workarounds tried
Context
Using the OpenAPI editor from
42crunch.vscode-openapiv 4.40.0The JSON schema displayed on status bar is
OpenAPI 3.0.X