Add workspace label plugin contributions

2026-05-11 10:24:02 +02:00
parent f2ffc0bc76
commit 1ae43998e7
14 changed files with 204 additions and 17 deletions
@@ -16,6 +16,13 @@ export default {
        },
      },
    ],
+    workspaceLabelContributions: [
+      {
+        id: "workspace.path-label",
+        order: 100,
+        items: (context) => ({ type: "text", text: context.workspace.isGitRepo ? "git" : "folder", title: context.workspace.path }),
+      },
+    ],
    workspacePanels: [
      {
        id: "workspace.info",