Update settings from , profile « main »

2026-02-02 17:00:00 +01:00 · 2026-02-02 17:00:00 +01:00 · b01f95655e
parent 7daea8c4da
commit b01f95655e
1 changed files with 1 additions and 0 deletions
--- a/profiles/main/data/settings.json
+++ b/profiles/main/data/settings.json
@ -191,4 +191,5 @@
        "main"
    ],
    "diffEditor.maxComputationTime": 0,
+    "editor.unicodeHighlight.ambiguousCharacters": false,
 }