Merge pull request #2178 from ethereum/yann300-patch-54

[remixd] when file change and click is outside of the modal, the file…
pull/3094/head
yann300 5 years ago committed by GitHub
commit ff7c331be0
  1. 8
      src/app/files/file-explorer.js

@ -74,15 +74,15 @@ function fileExplorer (localRegistry, files, menuItems) {
if (this.files.isReadOnly(path)) return self._deps.editor.setText(file.content)
modalDialog(path + ' changed', remixdDialog(),
{
label: 'Keep the content displayed in Remix',
fn: () => {}
},
{
label: 'Replace by the new content',
fn: () => {
self._deps.editor.setText(file.content)
}
},
{
label: 'Keep the content displayed in Remix',
fn: () => {}
}
)
}

Loading…
Cancel
Save