(source: HookSource)
| 190 | } |
| 191 | |
| 192 | export function hookSourceHeaderDisplayString(source: HookSource): string { |
| 193 | switch (source) { |
| 194 | case 'userSettings': |
| 195 | return 'User Settings' |
| 196 | case 'projectSettings': |
| 197 | return 'Project Settings' |
| 198 | case 'localSettings': |
| 199 | return 'Local Settings' |
| 200 | case 'pluginHook': |
| 201 | return 'Plugin Hooks' |
| 202 | case 'sessionHook': |
| 203 | return 'Session Hooks' |
| 204 | case 'builtinHook': |
| 205 | return 'Built-in Hooks' |
| 206 | default: |
| 207 | return source as string |
| 208 | } |
| 209 | } |
| 210 | |
| 211 | export function hookSourceInlineDisplayString(source: HookSource): string { |
| 212 | switch (source) { |