hide/show explorer

4 years ago · b0d7e73be0
parent b8fbe65a35
commit b0d7e73be0
1 changed files with 2 additions and 0 deletions
--- 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()
  }