Merge pull request #780 from ethereum/VIPFocus

focus on File explorers on deactivate from vertical icons panel

Merge pull request #780 from ethereum/VIPFocus
b1ca8d7f · yann300 · GitHub · c6898f1d · 4026baa7 · b1ca8d7f
Unverified Commit b1ca8d7f authored Jan 28, 2021 by yann300 Committed by GitHub Jan 28, 2021
Show whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

vertical-icons.js apps/remix-ide/src/app/components/vertical-icons.js +3 -0

No files found.
--- a/apps/remix-ide/src/app/components/vertical-icons.js
+++ b/apps/remix-ide/src/app/components/vertical-icons.js
@@ -229,6 +229,9 @@ export class VerticalIcons extends Plugin {
      actions.Deactivate = () => {
        // this.call('manager', 'deactivatePlugin', name)
        this.appManager.deactivatePlugin(name)
+        if (e.target.parentElement.classList.contains('active')) {
+          this.select('fileExplorers')
+        }
      }
    }
    const links = {}