Merge pull request #5362 from ethereum/scriptrunnerpluginmanager

hide scriptrunner from plugin manager
3 weeks ago · b7b4d4ed70
parent a0d48df23f 767231e33d
commit b7b4d4ed70
1 changed files with 1 additions and 1 deletions
--- a/apps/remix-ide/src/remixAppManager.js
+++ b/apps/remix-ide/src/remixAppManager.js
@ -260,7 +260,7 @@ export class RemixAppManager extends PluginManager {

  isRequired(name) {
    // excluding internal use plugins
-    return requiredModules.includes(name) || isInjectedProvider(name) || isVM(name)
+    return requiredModules.includes(name) || isInjectedProvider(name) || isVM(name) || isScriptRunner(name)
  }

  async registeredPlugins() {