pull/5370/head
Aniket-Engg 3 years ago committed by yann300
parent 28b23b0825
commit 71f5d169e6
  1. 9
      apps/remix-ide/src/app/editor/editor.js

@ -191,6 +191,15 @@ class Editor extends Plugin {
}
}
}
if (name === this.currentFile) {
this.currentFile = name
this.renderComponent()
}
})
this.on('fileManager', 'noFileSelected', async () => {
this.currentFile = null
this.renderComponent()
})
try {
this.currentThemeType = (await this.call('theme', 'currentTheme')).quality

Loading…
Cancel
Save