| 1631 | if (typeof viewState === 'object' && viewState.type === 'plugin-options' && selectedPlugin) { |
| 1632 | const pluginId_10 = `${selectedPlugin.plugin.name}@${selectedPlugin.marketplace}`; |
| 1633 | function finish(msg: string): void { |
| 1634 | setResult(msg); |
| 1635 | // Plugin is enabled regardless of whether config was saved or |
| 1636 | // skipped — onManageComplete → markPluginsChanged → the |
| 1637 | // persistent "run /reload-plugins" notice. |
| 1638 | if (onManageComplete) { |
| 1639 | void onManageComplete(); |
| 1640 | } |
| 1641 | setParentViewState({ |
| 1642 | type: 'menu' |
| 1643 | }); |
| 1644 | } |
| 1645 | return <PluginOptionsFlow plugin={selectedPlugin.plugin} pluginId={pluginId_10} onDone={(outcome, detail) => { |
| 1646 | switch (outcome) { |
| 1647 | case 'configured': |