Merge pull request #2172 from ethereum/yann300-patch-52

fix getIds from appManager

Merge pull request #2172 from ethereum/yann300-patch-52
9340a352 · yann300 · GitHub · c54bcbce · 0af4bf98 · 9340a352
Unverified Commit 9340a352 authored Jul 09, 2019 by yann300 Committed by GitHub Jul 09, 2019
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

remixAppManager.js src/remixAppManager.js +1 -1

No files found.
--- a/src/remixAppManager.js
+++ b/src/remixAppManager.js
@@ -28,7 +28,7 @@ export class RemixAppManager extends PluginEngine {
  }

  getIds () {
-    return this.registered.map(el => el.name)
+    return Object.keys(this.registered)
  }

  onDeactivation (plugin) {