{ "julia.useRevise": true, "julia.persistentSession.enabled": true, "editor.unicodeHighlight.ambiguousCharacters": false }