Editor

2026-09-10 18:53:56 -05:00
parent 48db1a287f
commit 940fead905
17 changed files with 225 additions and 149 deletions
@@ -137,6 +137,19 @@
        "default_target": {
          "$ref": "#/$defs/cmake_name"
        },
+        "editor": {
+          "type": "object",
+          "additionalProperties": false,
+          "properties": {
+            "clangd": {
+              "type": "array",
+              "minItems": 1,
+              "items": { "type": "object" }
+            },
+            "clang_format": { "type": "object" },
+            "pyright": { "type": "object" }
+          }
+        },
        "upload_env": {
          "type": "string",
          "pattern": "^[A-Z_][A-Z0-9_]*$"