![]() Before this PR, comments in `settings.json` are marked with red lines, indicating that `"comments are not allowed in JSON."`  After this PR, this issue is resolved.  Release Notes: - N/A |
||
---|---|---|
.. | ||
fonts | ||
icons | ||
keymaps | ||
prompts | ||
settings | ||
sounds | ||
themes |