From 016f521fa71a591fde83f12dee4fa5e31bfdcb08 Mon Sep 17 00:00:00 2001
From: Johannes Rieken <johannes.rieken@gmail.com>
Date: Mon, 25 Jan 2016 10:28:16 +0100
Subject: [PATCH] longer wait time for showTextDoc, #2217

---
 src/vs/workbench/api/node/extHostEditors.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/vs/workbench/api/node/extHostEditors.ts b/src/vs/workbench/api/node/extHostEditors.ts
index 56b623de3c4..d5e05510f3e 100644
--- a/src/vs/workbench/api/node/extHostEditors.ts
+++ b/src/vs/workbench/api/node/extHostEditors.ts
@@ -631,7 +631,7 @@ export class MainThreadEditors {
 				});
 				handle = setTimeout(() => {
 					contd();
-				}, 100);
+				}, 250);
 
 			}).then(() => {
 				// find the editor we have just opened and return the