extHost.protocol should not depend on extHostTypes, #70319

This commit is contained in:
Johannes Rieken
2019-03-19 15:12:44 +01:00
parent 888415c12f
commit 5c02b50383
6 changed files with 85 additions and 71 deletions

View File

@@ -118,7 +118,7 @@ export class ExtHostEditors implements ExtHostEditorsShape {
if (data.options) {
this._onDidChangeTextEditorOptions.fire({
textEditor: textEditor,
options: data.options
options: { ...data.options, lineNumbers: TypeConverters.TextEditorLineNumbersStyle.to(data.options.lineNumbers) }
});
}
if (data.selections) {