Merge pull request #1756 from ethereum/fixrefresh

add method
pull/1771/head
bunsenstraat 3 years ago committed by GitHub
commit 9162f8f0b5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 1
      apps/remix-ide/src/app/files/fileManager.js
  2. 4
      libs/remix-ui/workspace/src/lib/actions/events.ts

@ -141,6 +141,7 @@ class FileManager extends Plugin {
const provider = this.fileProviderOf('/')
// emit rootFolderChanged so that File Explorer reloads the file tree
provider.event.emit('rootFolderChanged', provider.workspace || '/')
this.emit('rootFolderChanged', provider.workspace || '/')
}
/**

@ -41,6 +41,10 @@ export const listenOnPluginEvents = (filePanelPlugin) => {
plugin.on('remixd', 'rootFolderChanged', async (path: string) => {
rootFolderChanged(path)
})
plugin.on('fileManager', 'rootFolderChanged', async (path: string) => {
rootFolderChanged(path)
})
}
export const listenOnProviderEvents = (provider) => (reducerDispatch: React.Dispatch<any>) => {

Loading…
Cancel
Save