From e2b722d26262a2a15c1e9246a6ab40475ea9c5ed Mon Sep 17 00:00:00 2001 From: Rob Lourens Date: Wed, 15 Aug 2018 21:40:19 -0700 Subject: [PATCH] Settings editor - bump search debounce times --- src/vs/workbench/parts/preferences/browser/settingsEditor2.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/vs/workbench/parts/preferences/browser/settingsEditor2.ts b/src/vs/workbench/parts/preferences/browser/settingsEditor2.ts index 5b0763b5c48..1872b03365d 100644 --- a/src/vs/workbench/parts/preferences/browser/settingsEditor2.ts +++ b/src/vs/workbench/parts/preferences/browser/settingsEditor2.ts @@ -112,8 +112,8 @@ export class SettingsEditor2 extends BaseEditor { ) { super(SettingsEditor2.ID, telemetryService, themeService); this.delayedFilterLogging = new Delayer(1000); - this.localSearchDelayer = new Delayer(100); - this.remoteSearchThrottle = new ThrottledDelayer(200); + this.localSearchDelayer = new Delayer(300); + this.remoteSearchThrottle = new ThrottledDelayer(400); this.viewState = { settingsTarget: ConfigurationTarget.USER }; this.delayRefreshOnLayout = new Delayer(100);