(host: SlashCommandHost, value: SettingsSelection)
| 710 | } |
| 711 | |
| 712 | function handleSettingsSelection(host: SlashCommandHost, value: SettingsSelection): void { |
| 713 | host.restoreEditor(); |
| 714 | switch (value) { |
| 715 | case 'model': showModelPicker(host); return; |
| 716 | case 'permission': showPermissionPicker(host); return; |
| 717 | case 'theme': showThemePicker(host); return; |
| 718 | case 'editor': showEditorPicker(host); return; |
| 719 | case 'experiments': void showExperimentsPanel(host); return; |
| 720 | case 'upgrade': showUpdatePreferencePicker(host); return; |
| 721 | case 'usage': void showUsage(host); return; |
| 722 | } |
| 723 | } |
no test coverage detected