Hi Marton,
currently you're offering these two functions regarding the scanning of the workspace:
isWorkspaceScanned: boolean;
onWorkspaceScanned: Function | undefined;
Would it be possible to add a function "scanWorkspace" in case someone has set this setting?
"alStudio.advanced.skipInitialScan": true
but another extension developer would love to use your API? 😄
Hi Marton,
currently you're offering these two functions regarding the scanning of the workspace:
isWorkspaceScanned: boolean;
onWorkspaceScanned: Function | undefined;
Would it be possible to add a function "scanWorkspace" in case someone has set this setting?
"alStudio.advanced.skipInitialScan": true
but another extension developer would love to use your API? 😄