From ed8b223dee85c11e561b2b05c6834537ab8ad9f3 Mon Sep 17 00:00:00 2001
From: filip mertens <filip.mertens@ethereum.org>
Date: Thu, 11 Nov 2021 14:59:51 +0100
Subject: [PATCH] readd provider emiting event

---
 apps/remix-ide/src/app/files/fileManager.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/apps/remix-ide/src/app/files/fileManager.js b/apps/remix-ide/src/app/files/fileManager.js
index 305a81be8c..fae8bdc51e 100644
--- a/apps/remix-ide/src/app/files/fileManager.js
+++ b/apps/remix-ide/src/app/files/fileManager.js
@@ -140,6 +140,7 @@ class FileManager extends Plugin {
   refresh () {
     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 || '/')
   }