Merge pull request #1902 from processing/bug/copying-files

[#1887][#1890] Swap Codemirror doc when file id changes

Author: catarak

client/modules/IDE/components/Editor.jsx

@@ -212,10 +212,7 @@ class Editor extends React.Component {
   }
 
   componentDidUpdate(prevProps) {
-    if (
-      this.props.file.content !== prevProps.file.content &&
-      this.props.file.content !== this._cm.getValue()
-    ) {
+    if (this.props.file.id !== prevProps.file.id) {
       const oldDoc = this._cm.swapDoc(this._docs[this.props.file.id]);
       this._docs[prevProps.file.id] = oldDoc;
       this._cm.focus();