Doc ref count fix

src/document/Document.js

@@ -79,15 +79,12 @@ define(function (require, exports, module) {
         this.file = file;
         this._updateLanguage();
         this.refreshText(rawText, initialTimestamp, true);
+        // List of full editors which are initialized as master editors for this doc.
+        this._associatedFullEditors = [];
     }
 
     EventDispatcher.makeEventDispatcher(Document.prototype);
 
-    /**
-     * List of editors which were initialized as master editors for this doc.
-     */
-    Document.prototype._associatedFullEditors = [];
-
     /**
      * Number of clients who want this Document to stay alive. The Document is listed in
      * DocumentManager._openDocuments whenever refCount > 0.
@@ -204,10 +201,6 @@ define(function (require, exports, module) {
         this._text = null;
         this._masterEditor = masterEditor;
 
-        if (this._associatedFullEditors.indexOf(this._masterEditor) < 0) {
-            this._associatedFullEditors.push(this._masterEditor);
-        }
-
         masterEditor.on("change", this._handleEditorChange.bind(this));
     };
 
@@ -239,13 +232,7 @@ define(function (require, exports, module) {
      */
     Document.prototype._toggleMasterEditor = function (masterEditor) {
         // Do a check before processing the request to ensure inline editors are not being set as master editor
-        if (this._associatedFullEditors.indexOf(masterEditor) >= 0) {
-            if (this._masterEditor) {
-                // Already a master editor is associated , so preserve the old editor in list of editors
-                if (this._associatedFullEditors.indexOf(this._masterEditor) < 0) {
-                    this._associatedFullEditors.push(this._masterEditor);
-                }
-            }
+        if (this.file === masterEditor.document.file && this._associatedFullEditors.indexOf(masterEditor) >= 0) {
             this._masterEditor = masterEditor;
         }
     };
@@ -279,6 +266,17 @@ define(function (require, exports, module) {
         }
     };
 
+    /**
+     * Aassociates a full editor to this document
+     * To be used internally by Editor only when pane marking happens
+     */
+    Document.prototype._associateEditor = function (editor) {
+        // Do a check before processing the request to ensure inline editors are not being handled
+        if (this._associatedFullEditors.indexOf(editor) === -1) {
+            this._associatedFullEditors.push(editor);
+        }
+    };
+
     /**
      * Guarantees that _masterEditor is non-null. If needed, asks EditorManager to create a new master
      * editor bound to this Document (which in turn causes Document._makeEditable() to be called).

src/editor/Editor.js

@@ -428,6 +428,15 @@ define(function (require, exports, module) {
         this.on("change", function (event, editor, changeList) {
             self._handleEditorChange(changeList);
         });
+        this.on("focus", function (event, editor) {
+            if (self._hostEditor) {
+                // Mark the host editor as the master editor for the hosting document
+                self._hostEditor.document._toggleMasterEditor(self._hostEditor);
+            } else {
+                // Set this full editor as master editor for the document
+                self.document._toggleMasterEditor(self);
+            }
+        });
 
         // Set code-coloring mode BEFORE populating with text, to avoid a flash of uncolored text
         this._codeMirror.setOption("mode", mode);
@@ -468,6 +477,10 @@ define(function (require, exports, module) {
 
     Editor.prototype.markPaneId = function (paneId) {
         this._paneId = paneId;
+
+        // Also add this to the pool of full editors
+        this.document._associateEditor(this);
+
         // In case this Editor is initialized not as the first full editor for the document
         // and the document is already dirty and present in another working set, make sure
         // to add this documents to the new panes working set.
@@ -993,14 +1006,6 @@ define(function (require, exports, module) {
 
         // Convert CodeMirror onFocus events to EditorManager activeEditorChanged
         this._codeMirror.on("focus", function () {
-            if (self._hostEditor) {
-                // Mark the host editor as the master editor for the hosting document
-                self._hostEditor.document._toggleMasterEditor(self._hostEditor);
-            } else {
-                // Set this full editor as master editor for the document
-                self.document._toggleMasterEditor(self);
-            }
-
             self._focused = true;
             self.trigger("focus", self);
 

src/editor/EditorManager.js

@@ -541,14 +541,17 @@ define(function (require, exports, module) {
     function _showEditor(document, pane, editorOptions) {
         // Ensure a main editor exists for this document to show in the UI
         var createdNewEditor = false,
-            // Check if any full editor is present marked for the requested pane
-            // This check is required as _masterEditor is the active full editor for the document
-            // provided and there can be existing full editor created for other panes
-            editor = document._checkAssociatedEditorForPane(pane.id) || document._masterEditor;
+            editor = document._masterEditor;
 
         // Check if a master editor is not set already or the current master editor doesn't belong
         // to the pane container requested - to support creation of multiple full editors
-        if (!editor || (editor._paneId && editor._paneId !== pane.id)) {
+        // This check is required as _masterEditor is the active full editor for the document
+        // and there can be existing full editor created for other panes
+        if (editor && editor._paneId && editor._paneId !== pane.id) {
+            editor = document._checkAssociatedEditorForPane(pane.id);
+        }
+
+        if (!editor) {
             // Performance (see #4757) Chrome wastes time messing with selection
             // that will just be changed at end, so clear it for now
             if (window.getSelection && window.getSelection().empty) {  // Chrome