From 33b4463923cd83a761c9ac3777b966cd291654d1 Mon Sep 17 00:00:00 2001 From: filip mertens Date: Sat, 28 Aug 2021 13:44:24 +0200 Subject: [PATCH] changed event for refresh --- apps/remix-ide/src/app/files/fileManager.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/apps/remix-ide/src/app/files/fileManager.js b/apps/remix-ide/src/app/files/fileManager.js index a378c46cb6..7c4998c716 100644 --- a/apps/remix-ide/src/app/files/fileManager.js +++ b/apps/remix-ide/src/app/files/fileManager.js @@ -134,8 +134,8 @@ class FileManager extends Plugin { */ refresh () { const provider = this.fileProviderOf('/') - // emit folderAdded so that File Explorer reloads the file tree - provider.event.emit('folderAdded', '/') + // emit rootFolderChanged so that File Explorer reloads the file tree + provider.event.emit('rootFolderChanged') } /**