diff --git a/src/app/files/file-explorer.js b/src/app/files/file-explorer.js index 8b1eafc30d..730797076c 100644 --- a/src/app/files/file-explorer.js +++ b/src/app/files/file-explorer.js @@ -39,6 +39,8 @@ function fileExplorer (localRegistry, files) { this.files.event.register('fileExternallyChanged', (path, file) => { if (self._deps.config.get('currentFile') === path && self._deps.editor.currentContent() && self._deps.editor.currentContent() !== file.content) { + if (this.files.isReadOnly(path)) return self._deps.editor.setText(file.content) + modalDialog(path + ' changed', remixdDialog(), { label: 'Keep the content displayed in Remix',