mirror 'source' when cursor changes, #8093

This commit is contained in:
Johannes Rieken
2016-07-14 12:34:51 +02:00
parent 24feea5a75
commit 16926be391
4 changed files with 21 additions and 13 deletions

View File

@@ -81,8 +81,8 @@ export class MainThreadEditors extends MainThreadEditorsShape {
toDispose.push(textEditor.onConfigurationChanged((opts) => {
this._proxy.$acceptOptionsChanged(id, opts);
}));
toDispose.push(textEditor.onSelectionChanged((selection) => {
this._proxy.$acceptSelectionsChanged(id, selection);
toDispose.push(textEditor.onSelectionChanged((event) => {
this._proxy.$acceptSelectionsChanged(id, event);
}));
this._proxy.$acceptTextEditorAdd({
id: id,