Keybinding changes take a few seconds to take effect (fixes #22240)

This commit is contained in:
Benjamin Pasero
2017-03-09 07:26:08 +01:00
parent e8e1a2e46e
commit 8ec754970c

View File

@@ -68,7 +68,7 @@ class KeybindingsResolver {
) {
this.commandIds = new Set<string>();
this.keybindings = this.storageService.getItem<{ [id: string]: string; }>(KeybindingsResolver.lastKnownKeybindingsMapStorageKey) || Object.create(null);
this.keybindingsWatcher = new ConfigWatcher<IUserFriendlyKeybinding[]>(environmentService.appKeybindingsPath, { changeBufferDelay: 1000 /* update after 1s */ });
this.keybindingsWatcher = new ConfigWatcher<IUserFriendlyKeybinding[]>(environmentService.appKeybindingsPath, { changeBufferDelay: 100 });
this.registerListeners();
}