(state: RuntimeState, plugin: PluginEntry)
| 651 | } |
| 652 | |
| 653 | function addPluginEntry(state: RuntimeState, plugin: PluginEntry) { |
| 654 | if (state.plugins_by_id.has(plugin.id)) { |
| 655 | fail("duplicate tui plugin id", { |
| 656 | id: plugin.id, |
| 657 | path: plugin.load.spec, |
| 658 | }) |
| 659 | return false |
| 660 | } |
| 661 | |
| 662 | state.plugins_by_id.set(plugin.id, plugin) |
| 663 | state.plugins.push(plugin) |
| 664 | return true |
| 665 | } |
| 666 | |
| 667 | function applyInitialPluginEnabledState(state: RuntimeState, config: TuiConfig.Resolved) { |
| 668 | const map = pluginEnabledState(state, config) |
no test coverage detected