add: anchros to replace todotree

RUB-NDS · Oct 11, 2024 · a4273c6 · a4273c6
1 parent fd21b4d
commit a4273c6
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -4,6 +4,10 @@
   "customizations": {
     "vscode": {
       "settings": {
+        "commentAnchors.tags.matchPrefix": [
+          "#",
+          "%"
+        ],
         "files.trimTrailingWhitespace": true,
         "java.home": "/usr/lib/jvm/default-java",
         "latex-workshop.synctex.afterBuild.enabled": true,
@@ -45,7 +49,7 @@
         "todo-tree.regex.regexCaseSensitive": false
       },
       "extensions": [
-        "Gruntfuggly.todo-tree",
+        "ExodiusStudios.comment-anchors",
         "james-yu.latex-workshop",
         "ltex-plus.vscode-ltex-plus",
         "tecosaur.latex-utilities"