/** Tab identifiers for the plugin manager UI. */
export var PluginTab;
(function (PluginTab) {
    PluginTab["Marketplace"] = "marketplace";
    PluginTab["Installed"] = "installed";
})(PluginTab || (PluginTab = {}));
//# sourceMappingURL=types.js.map