Definition Provider Priority setting always reverts to `repl,lsp`

[MikeJCusack]

I could sometimes get it to stay on lsp,repl, but after closing settings or restarting VSCode it will revert to repl,lsp, but most times would just immediately revert.

[PEZ]

There's something wrong with the VS Code editor for this. You can edit it from the JSON file, probably.

[MikeJCusack]

That's not working either. It still reverts.

[PEZ]

I think it is the settings editor that shows them wrong. Is it really reverting in the settings file?