Merge branch 'main' into eladb/sim-container

.github/workflows/new-pull-request-comment.yml

@@ -29,7 +29,7 @@ jobs:
             | JSON, structs, primitives and collections           | `@hasanaburayyan`
             | Platforms and plugins                               | `@hasanaburayyan`
             | Frontend resources (website, react, etc)            | `@tsuf239`
-            | Language design                                     | `@eladb`
+            | Language design                                     | `@chriscbr`
             | VSCode extension and language server                | `@markmcculloh`
             | Compiler architecture, inflights, lifting           | `@yoav-steinberg`
             | Wing Testing Framework                              | `@tsuf239`

apps/vscode-wing/.projenrc.ts

@@ -67,8 +67,6 @@ const project = new TypeScriptAppProject({
     "@vscode/vsce",
     "@types/node-fetch",
     "@types/ws",
-    "@wingconsole/app@workspace:^",
-    "@wingconsole/server@workspace:^",
     "winglang@workspace:^",
   ],
 });
@@ -135,61 +133,14 @@ const contributes: VSCodeExtensionContributions = {
         dark: "resources/icon-dark.svg",
       },
     },
-    {
-      command: "wing.openFile",
-      title: "Open source file",
-      icon: {
-        light: "resources/icon-light.svg",
-        dark: "resources/icon-dark.svg",
-      },
-    },
-    {
-      command: "wingConsole.openResource",
-      title: "Open resource",
-    },
-    {
-      command: "wingConsole.runTest",
-      title: "Run test",
-      icon: {
-        light: "resources/play-light.svg",
-        dark: "resources/play-dark.svg",
-      },
-    },
-    {
-      command: "wingConsole.runAllTests",
-      title: "Run all tests",
-      icon: {
-        light: "resources/play-all-light.svg",
-        dark: "resources/play-all-dark.svg",
-      },
-    },
   ],
   menus: {
     "editor/title": [
       {
-        when: "resourceLangId == wing && activeWebviewPanelId != 'wing.console'",
+        when: "resourceLangId == wing",
         command: "wing.openConsole",
         group: "navigation",
       },
-      {
-        when: "resourceLangId != wing && activeWebviewPanelId == 'wing.console'",
-        command: "wing.openFile",
-        group: "navigation",
-      },
-    ],
-    "view/item/context": [
-      {
-        command: "wingConsole.runTest",
-        when: "view == consoleTestsExplorer",
-        group: "inline",
-      },
-    ],
-    "explorer/context": [
-      {
-        command: "wingConsole.runAllTests",
-        when: "view == consoleTestsExplorer",
-        group: "inline",
-      },
     ],
   },
   configuration: [
@@ -204,22 +155,6 @@ const contributes: VSCodeExtensionContributions = {
       },
     },
   ],
-  views: {
-    explorer: [
-      {
-        id: "consoleExplorer",
-        name: "Wing Resources",
-      },
-      {
-        id: "consoleTestsExplorer",
-        name: "Wing Tests",
-      },
-      {
-        id: "consoleEndpointsExplorer",
-        name: "Wing Endpoints",
-      },
-    ],
-  },
 };
 
 project.addFields({