feat(extension): user can choose mission workdir
Merge request reports
Activity
added 1 commit
- 4a8d5ae8 - feat(extension): user can choose mission workdir
By Lansana DIOMANDE on 2022-04-08T09:15:45 (imported from GitLab)
added 1 commit
- 9abe75c8 - feat(extension): user can choose mission workdir
By Lansana DIOMANDE on 2022-04-08T09:39:28 (imported from GitLab)
added 1 commit
- b2c20f2c - feat(extension): user can choose mission workdir
By Lansana DIOMANDE on 2022-04-08T09:49:24 (imported from GitLab)
assigned to @apuret
By Lansana DIOMANDE on 2022-04-08T09:58:59 (imported from GitLab)
requested review from @czheng
By Lansana DIOMANDE on 2022-04-08T09:59:02 (imported from GitLab)
added 1 commit
- 67829908 - feat(extension): user can choose mission workdir
By Lansana DIOMANDE on 2022-04-08T10:03:43 (imported from GitLab)
1 import { Memento, window } from 'vscode'; 2 3 4 export type GlobalStorageType = Memento & { setKeysForSync(keys: readonly string[]): void; }; 5 6 export default class ExtensionStore { 7 private static instance: ExtensionStore; 8 9 private storage: GlobalStorageType; 10 11 private constructor(storage: GlobalStorageType) { changed this line in version 6 of the diff
By Lansana DIOMANDE on 2022-04-08T14:11:00 (imported from GitLab)
24 25 if (ExtensionStore.instance) { 26 return ExtensionStore.instance; 27 } 28 29 ExtensionStore.instance = new ExtensionStore(storage); 30 console.log('Extension store existe'); 31 } 32 33 34 35 getMissionWorkdir(): string | undefined { 36 return this.storage.get<string>(StoreKey.MissionWorkDirKey); 37 } 38 39 setMissionWorkdir(path: string): Thenable<void> { changed this line in version 6 of the diff
By Lansana DIOMANDE on 2022-04-08T14:11:00 (imported from GitLab)
21 await window.showOpenDialog({ 22 defaultUri: actualMissionWorkDir ? Uri.file(actualMissionWorkDir) : undefined, 23 canSelectFolders: true, 24 canSelectFiles: false, 25 title: 'Choississez le dossier qui contiendra vos missions' 26 }).then((folderUri) => { 27 28 if (!folderUri) { 29 if (this.extensionStore.getMissionWorkdir()) { 30 return; 31 } 32 this.chooseMissionWorkdir(); 33 } else { 34 this.extensionStore.setMissionWorkdir(folderUri[0].path); 35 } 36 }); - Comment on lines +20 to +36
20 21 await window.showOpenDialog({ 22 defaultUri: actualMissionWorkDir ? Uri.file(actualMissionWorkDir) : undefined, 23 canSelectFolders: true, 24 canSelectFiles: false, 25 title: 'Choississez le dossier qui contiendra vos missions' 26 }).then((folderUri) => { 27 28 if (!folderUri) { 29 if (this.extensionStore.getMissionWorkdir()) { 30 return; 31 } 32 this.chooseMissionWorkdir(); 33 } else { 34 this.extensionStore.setMissionWorkdir(folderUri[0].path); 35 } 36 }); 20 21 const folderUri = await window.showOpenDialog({ 22 defaultUri: actualMissionWorkDir ? Uri.file(actualMissionWorkDir) : undefined, 23 canSelectFolders: true, 24 canSelectFiles: false, 25 title: 'Choississez le dossier qui contiendra vos missions' 26 }); 27 if (!folderUri) { 28 if (this.extensionStore.getMissionWorkdir()) { 29 return; 30 } 31 this.chooseMissionWorkdir(); 32 } else { 33 this.extensionStore.setMissionWorkdir(folderUri[0].path); 34 } 35 By Christian Zheng on 2022-04-08T13:01:55 (imported from GitLab)
changed this line in version 6 of the diff
By Lansana DIOMANDE on 2022-04-08T14:11:00 (imported from GitLab)
22 render(): string { 23 return ( 24 ` 25 <head> 26 ${this.renderHearderHtml()} 27 </head> 28 <body> 29 ${this.renderHtmlBody()} 30 </body> 31 ` 32 ); 33 } 34 35 renderHtmlBody() { 36 37 const hasMissionWorkdir = this.extensionStore.getMissionWorkdir() !== undefined; By Christian Zheng on 2022-04-08T13:10:22 (imported from GitLab)
changed this line in version 6 of the diff
By Lansana DIOMANDE on 2022-04-08T14:11:00 (imported from GitLab)
added 1 commit
- 48baf5f2 - feat(extension): user can choose mission workdir
By Lansana DIOMANDE on 2022-04-08T14:11:01 (imported from GitLab)
1 { 2 "tabWidth": 4, changed this line in version 7 of the diff
By Lansana DIOMANDE on 2022-04-08T14:44:36 (imported from GitLab)
added 1 commit
- a600be32 - feat(extension): user can choose mission workdir
By Lansana DIOMANDE on 2022-04-08T14:44:36 (imported from GitLab)
added 1 commit
- 8a852309 - refactor: add prettier and git hook on deadlock-theia project
By Lansana DIOMANDE on 2022-04-11T08:43:10 (imported from GitLab)
added 1 commit
- 80d11445 - refactor: add prettier and git hook on deadlock-theia project
By Lansana DIOMANDE on 2022-04-11T08:49:32 (imported from GitLab)
added 1 commit
- a4fd5b66 - refactor: add prettier and git hook on deadlock-theia project
By Lansana DIOMANDE on 2022-04-11T13:49:12 (imported from GitLab)