Merge branch 'master' into ben/stacks

This commit is contained in:
Benjamin Pasero
2016-05-21 08:06:12 +02:00
409 changed files with 18412 additions and 9764 deletions

View File

@@ -525,7 +525,7 @@ export class MainThreadEditors {
}));
this._proxy._acceptTextEditorAdd({
id: id,
document: textEditor.getModel().getAssociatedResource(),
document: textEditor.getModel().uri,
options: textEditor.getConfiguration(),
selections: textEditor.getSelections(),
editorPosition: this._findEditorPosition(textEditor)
@@ -669,7 +669,7 @@ export class MainThreadEditors {
if (mainThreadEditor) {
let model = mainThreadEditor.getModel();
return this._workbenchEditorService.openEditor({
resource: model.getAssociatedResource(),
resource: model.uri,
options: { preserveFocus: false }
}, position).then(() => { return; });
}