Merge pull request #9 from Iheuzio/dev

Minor Fixes
2026-06-25 22:31:01 +00:00 · 2023-06-21 21:24:46 -04:00
parent c036caef9d c80dc9bda0
commit 7847bebe44
1 changed files with 12 additions and 3 deletions
@@ -42,6 +42,15 @@
          "group": "navigation"
        }
      ]
+    },
+    "views": {
+      "explorer": [
+        {
+          "id": "selectedFiles",
+          "name": "Selected Files",
+          "when": "explorerResourceIsFolder && explorerViewletVisible"
+        }
+      ]
    }
  },
  "scripts": {