| 5 | import { languages } from "../shared"; |
| 6 | |
| 7 | export async function switchDefaultLanguage(): Promise<void> { |
| 8 | const leetCodeConfig: WorkspaceConfiguration = workspace.getConfiguration("leetcode"); |
| 9 | const defaultLanguage: string | undefined = leetCodeConfig.get<string>("defaultLanguage"); |
| 10 | const languageItems: QuickPickItem[] = []; |
| 11 | for (const language of languages) { |
| 12 | languageItems.push({ |
| 13 | label: language, |
| 14 | description: defaultLanguage === language ? "Currently used" : undefined, |
| 15 | }); |
| 16 | } |
| 17 | // Put the default language at the top of the list |
| 18 | languageItems.sort((a: QuickPickItem, b: QuickPickItem) => { |
| 19 | if (a.description) { |
| 20 | return Number.MIN_SAFE_INTEGER; |
| 21 | } else if (b.description) { |
| 22 | return Number.MAX_SAFE_INTEGER; |
| 23 | } |
| 24 | return a.label.localeCompare(b.label); |
| 25 | }); |
| 26 | |
| 27 | const selectedItem: QuickPickItem | undefined = await window.showQuickPick(languageItems, { |
| 28 | placeHolder: "Please the default language", |
| 29 | ignoreFocusOut: true, |
| 30 | }); |
| 31 | |
| 32 | if (!selectedItem) { |
| 33 | return; |
| 34 | } |
| 35 | |
| 36 | leetCodeConfig.update("defaultLanguage", selectedItem.label, true /* Global */); |
| 37 | window.showInformationMessage(`Successfully set the default language to ${selectedItem.label}`); |
| 38 | } |