From b0d7e73be0c0a642b65eda2d65b7ae161f66272d Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Wed, 24 Jun 2020 10:50:46 +0200
Subject: [PATCH] hide/show explorer

---
 apps/remix-ide/src/app/files/remixd-handle.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/apps/remix-ide/src/app/files/remixd-handle.js b/apps/remix-ide/src/app/files/remixd-handle.js
index 1f25c1d055..0d2c7b30f0 100644
--- a/apps/remix-ide/src/app/files/remixd-handle.js
+++ b/apps/remix-ide/src/app/files/remixd-handle.js
@@ -37,6 +37,7 @@ export class RemixdHandle extends WebsocketPlugin {
   }
 
   deactivate () {
+    this.fileSystemExplorer.hide()
     if (super.socket) super.deactivate()
     this.locahostProvider.close((error) => {
       if (error) console.log(error)
@@ -44,6 +45,7 @@ export class RemixdHandle extends WebsocketPlugin {
   }
 
   activate () {
+    this.fileSystemExplorer.show()
     this.connectToLocalhost()
   }