longer wait time for showTextDoc, #2217

This commit is contained in:
Johannes Rieken
2016-01-25 10:28:16 +01:00
parent 1d47228e95
commit 016f521fa7

View File

@@ -631,7 +631,7 @@ export class MainThreadEditors {
});
handle = setTimeout(() => {
contd();
}, 100);
}, 250);
}).then(() => {
// find the editor we have just opened and return the