"use strict";

angular.module('arethusa.core').service('editors', [
  'User',
  function(User) {
    var self = this;

    this.perDocument = {};

    this.addEditor = function(docId, editor) {
      var doc = self.perDocument[docId];
      if (!doc) doc = self.perDocument[docId] = [];
      doc.push(new User(editor));
    };
  }
]);

@@ -318,17 +318,78 @@
 ));%0A    
-%7D
+  self.present = true;%0A    %7D;%0A%0A    this.editorsPresent = false
 ;%0A  %7D%0A%5D)

Make known when editors are present in editors