Fixed deactivation bug for pinned plugin

6 months ago · 125b4cb357
parent 3525435ed8
commit 125b4cb357
1 changed files with 1 additions and 0 deletions
--- a/apps/remix-ide/src/app/components/pinned-panel.tsx
+++ b/apps/remix-ide/src/app/components/pinned-panel.tsx
@ -29,6 +29,7 @@ export class PinnedPanel extends AbstractPanel {
      if (this.plugins[name] && this.plugins[name].active) {
        this.emit('unPinnedPlugin', name)
        this.events.emit('unPinnedPlugin', name)
+        super.remove(name)
      }
    })
  }