hide/show explorer

pull/5370/head
yann300 5 years ago
parent e91f922dc6
commit 0af46052b2
  1. 2
      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()
}

Loading…
Cancel
Save