Use localhost setting

2026-02-09 16:48:36 +01:00
parent 666b7247b7
commit 970894c3fd
5 changed files with 35 additions and 14 deletions
@@ -59,6 +59,11 @@
          "type": "boolean",
          "default": false,
          "description": "Automatically start the server when vscode starts"
+        },
+        "devrun.useLocalhostServer": {
+          "type": "boolean",
+          "default": false,
+          "description": "Use localhost:3000 as the DevRun run submission server (for development usage)"
        }
      }
    }