(viewState: ViewState)
| 721 | } |
| 722 | } |
| 723 | function getInitialTab(viewState: ViewState): TabId { |
| 724 | if (viewState.type === 'manage-plugins') return 'installed'; |
| 725 | if (viewState.type === 'manage-marketplaces') return 'marketplaces'; |
| 726 | return 'discover'; |
| 727 | } |
| 728 | export function PluginSettings(t0) { |
| 729 | const $ = _c(75); |
| 730 | const { |