From ef91c0fb9a05eb01769ebac2b669af75f2eb3c54 Mon Sep 17 00:00:00 2001
From: isidor <inikolic@microsoft.com>
Date: Mon, 30 May 2016 12:31:11 +0200
Subject: [PATCH] open editors: always update the tree with 250 delay

#6749
---
 src/vs/workbench/parts/files/browser/views/openEditorsView.ts | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/vs/workbench/parts/files/browser/views/openEditorsView.ts b/src/vs/workbench/parts/files/browser/views/openEditorsView.ts
index e5022c10747..d83f381590e 100644
--- a/src/vs/workbench/parts/files/browser/views/openEditorsView.ts
+++ b/src/vs/workbench/parts/files/browser/views/openEditorsView.ts
@@ -79,7 +79,7 @@ export class OpenEditorsView extends AdaptiveCollapsibleViewletView {
 					this.highlightEntry(new OpenEditor(this.model.activeGroup.activeEditor, this.model.activeGroup));
 				}
 			}
-		}, 0);
+		}, 250);
 	}
 
 	public renderHeader(container: HTMLElement): void {
@@ -239,6 +239,7 @@ export class OpenEditorsView extends AdaptiveCollapsibleViewletView {
 	}
 
 	private getExpandedBodySize(model: IEditorStacksModel): number {
+		console.log('getting expanded body size');
 		return OpenEditorsView.computeExpandedBodySize(model, this.maxVisibleOpenEditors, this.dynamicHeight);
 	}