look up editor by id, slimmer dtos

This commit is contained in:
Johannes Rieken
2021-03-05 15:54:37 +01:00
parent f7ff53d7b0
commit 68a6f1c30e
3 changed files with 7 additions and 13 deletions

View File

@@ -203,11 +203,11 @@ export class MainThreadNotebooks implements MainThreadNotebookShape {
}
const disposableStore = new DisposableStore();
disposableStore.add(editor.onDidChangeVisibleRanges(() => {
this._proxy.$acceptEditorPropertiesChanged(editor.getId(), { visibleRanges: { ranges: editor.visibleRanges }, selections: null });
this._proxy.$acceptEditorPropertiesChanged(editor.getId(), { visibleRanges: { ranges: editor.visibleRanges } });
}));
disposableStore.add(editor.onDidChangeSelection(() => {
this._proxy.$acceptEditorPropertiesChanged(editor.getId(), { visibleRanges: null, selections: { selections: editor.getSelections() } });
this._proxy.$acceptEditorPropertiesChanged(editor.getId(), { selections: { selections: editor.getSelections() } });
}));
disposableStore.add(editor.onDidChangeKernel(() => {