wait for 1sec for editors to be synchronized, #2217

This commit is contained in:
Johannes Rieken
2016-01-25 11:09:26 +01:00
parent a3fcd6113c
commit ef6641c09b

View File

@@ -94,7 +94,7 @@ export class ExtHostEditors {
if (editor) {
return editor;
} else {
throw new Error('Failed to create editor.');
throw new Error('Failed to create editor with id: ' + id);
}
});
}
@@ -631,7 +631,7 @@ export class MainThreadEditors {
});
handle = setTimeout(() => {
contd();
}, 250);
}, 1000);
}).then(() => {
// find the editor we have just opened and return the