diff --git a/client/modules/IDE/components/Editor.jsx b/client/modules/IDE/components/Editor.jsx index 475b7014..422b13cd 100644 --- a/client/modules/IDE/components/Editor.jsx +++ b/client/modules/IDE/components/Editor.jsx @@ -97,6 +97,9 @@ class Editor extends React.Component { // then need to make CodeMirror documents this.initializeDocuments(nextProps.files); } + if (this.props.files.length !== nextProps.files.length) { + this.initializeDocuments(nextProps.files); + } } componentDidUpdate(prevProps) {