@@ -15,7 +15,7 @@ const DEFAULT_DEBOUNCE_TIME_IN_MS = 200
1515const EXTENSION_CREATION_TIMEOUT_IN_MS = 60000
1616const EXTENSION_CREATION_CHECK_INTERVAL_IN_MS = 200
1717const FILE_DELETE_TIMEOUT_IN_MS = 500
18- const EXTENSION_MOVE_CHECK_INTERVAL_IN_MS = 100
18+
1919/**
2020 * Event emitted by the file watcher
2121 *
@@ -221,11 +221,8 @@ export class FileWatcher {
221221 this . pushEvent ( { type : 'app_config_deleted' , path, extensionPath, startTime} )
222222 } else if ( isExtensionToml ) {
223223 // When a toml is deleted, we can consider every extension in that folder was deleted.
224- // We need to wait in case this is actually just moving folders around, not deleting them.
225- setTimeout ( ( ) => {
226- this . extensionPaths = this . extensionPaths . filter ( ( extPath ) => extPath !== extensionPath )
227- this . pushEvent ( { type : 'extension_folder_deleted' , path : extensionPath , extensionPath, startTime} )
228- } , EXTENSION_MOVE_CHECK_INTERVAL_IN_MS )
224+ this . extensionPaths = this . extensionPaths . filter ( ( extPath ) => extPath !== extensionPath )
225+ this . pushEvent ( { type : 'extension_folder_deleted' , path : extensionPath , extensionPath, startTime} )
229226 } else {
230227 setTimeout ( ( ) => {
231228 // If the extensionPath is not longer in the list, the extension was deleted while the timeout was running.
0 commit comments