Merge pull request #780 from ethereum/VIPFocus

focus on File explorers on deactivate from vertical icons panel

Author: yann300

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 = {}