componentDidUpdate(prevProps) { const { path/*, ...rest*/ } = this.props; //this._editor.updateOptions(rest); * TODO - Ryan if (path !== prevProps.path) { this.editorStates.set(prevProps.path, this.editor.saveViewState()); this._openFile(path); } else { const model = this.editor.getModel(); if (value !== model.getValue()) { model.pushEditOperations( [], [ { range: model.getFullModelRange(), text: value, } ] ); } } }
model.pushEditOperations( [],