Update settings from , profile « main »

2025-08-25 17:00:00 +02:00 · 2025-08-25 17:00:00 +02:00 · 8510fe5312
parent 7904a741d4
commit 8510fe5312
1 changed files with 2 additions and 1 deletions
--- a/profiles/main/data/settings.json
+++ b/profiles/main/data/settings.json
@ -83,5 +83,6 @@
        "150"
    ],
    "black-formatter.showNotifications": "always",
-    "markdown-toc.depthTo": 1
+    "markdown-toc.depthTo": 3,
+    "markdown-toc.depthFrom": 2
 }