Jul 1, 2024, 1:31 PM

frohro · Jul 1, 2024 · dc0ba11 · dc0ba11
1 parent 07a773a
commit dc0ba11
Show file tree

Hide file tree

Showing 8 changed files with 94,340 additions and 129,041 deletions.
diff --git a/.vscode/settings.json b/.vscode/settings.json
@@ -6,5 +6,23 @@
         "ostream": "cpp",
         "*.tcc": "cpp"
     },
-    "gitdoc.enabled": true
+    "gitdoc.enabled": true,
+    "MicroPython.executeButton": [
+        {
+            "text": "▶",
+            "tooltip": "Run",
+            "alignment": "left",
+            "command": "extension.executeFile",
+            "priority": 3.5
+        }
+    ],
+    "MicroPython.syncButton": [
+        {
+            "text": "$(sync)",
+            "tooltip": "sync",
+            "alignment": "left",
+            "command": "extension.execute",
+            "priority": 4
+        }
+    ]
 }