From e0d932d8b08d2f4ff28728132d62a247e66d0dc1 Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Fri, 2 Oct 2020 10:12:05 +0200
Subject: [PATCH] deactivatePluginsFromUrl

---
 apps/remix-ide/src/app.js | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/apps/remix-ide/src/app.js b/apps/remix-ide/src/app.js
index 87fab9f7c5..e15bb59aaa 100644
--- a/apps/remix-ide/src/app.js
+++ b/apps/remix-ide/src/app.js
@@ -405,6 +405,14 @@ Please make a backup of your contracts and start using http://remix.ethereum.org
   // Set workspace after initial activation
   if (Array.isArray(workspace)) {    
     appManager.activatePlugin(workspace).then(() => {
+      try {
+        if (params.deactivateplugins) {
+          appManager.deactivatePlugin(params.deactivateplugins.split(','))
+        }
+      } catch (e) {
+        console.log(e)
+      }
+      
       // If plugins are loaded from the URL params, we focus on the last one.
       if (pluginLoader.current === 'queryParams' && workspace.length > 0) menuicons.select(workspace[workspace.length - 1])