Commit compiled dist for git installs

2026-04-18 20:11:29 +10:00
parent 234d269283
commit 15c9afd630
29 changed files with 1070 additions and 1 deletions
--- a/dist/types.js
+++ b/dist/types.js
@@ -0,0 +1,7 @@
+/** Tab identifiers for the plugin manager UI. */
+export var PluginTab;
+(function (PluginTab) {
+    PluginTab["Marketplace"] = "marketplace";
+    PluginTab["Installed"] = "installed";
+})(PluginTab || (PluginTab = {}));
+//# sourceMappingURL=types.js.map