|
@@ -52,7 +52,7 @@ class FileEditor extends CodeEditorWrapper {
|
|
|
if (context.model.modelDB.isCollaborative) {
|
|
|
let modelDB = context.model.modelDB;
|
|
|
modelDB.connected.then(() => {
|
|
|
- //Setup the selection style for collaborators
|
|
|
+ // Setup the selection style for collaborators
|
|
|
let localCollaborator = modelDB.collaborators.localCollaborator;
|
|
|
this.editor.uuid = localCollaborator.sessionId;
|
|
|
this.editor.selectionStyle = {
|
|
@@ -60,7 +60,7 @@ class FileEditor extends CodeEditorWrapper {
|
|
|
};
|
|
|
|
|
|
modelDB.collaborators.changed.connect(this._onCollaboratorsChanged, this);
|
|
|
- //Trigger an initial onCollaboratorsChanged event.
|
|
|
+ // Trigger an initial onCollaboratorsChanged event.
|
|
|
this._onCollaboratorsChanged();
|
|
|
});
|
|
|
}
|
|
@@ -141,8 +141,8 @@ class FileEditor extends CodeEditorWrapper {
|
|
|
}
|
|
|
|
|
|
private _onCollaboratorsChanged(): void {
|
|
|
- //if there are selections corresponding to non-collaborators,
|
|
|
- //they are stale and should be removed.
|
|
|
+ // If there are selections corresponding to non-collaborators,
|
|
|
+ // they are stale and should be removed.
|
|
|
for (let key of this.editor.model.selections.keys()) {
|
|
|
if (!this._context.model.modelDB.collaborators.has(key)) {
|
|
|
this.editor.model.selections.delete(key);
|