inherit from Plugin Engine

apps/remix-ide/src/app.js

@@ -5,6 +5,7 @@ import { RunTab, makeUdapp } from './app/udapp'
 
 import PanelsResize from './lib/panels-resize'
 import { Engine } from '@remixproject/engine'
+import { RemixEngine } from './remixEngine'
 import { RemixAppManager } from './remixAppManager'
 import { FramingService } from './framingService'
 import { MainView } from './app/panels/main-view'
@@ -231,12 +232,7 @@ Please make a backup of your contracts and start using http://remix.ethereum.org
   const appManager = self.appManager
   const pluginLoader = appManager.pluginLoader
   const workspace = pluginLoader.get()
-  const engine = new Engine()
-  engine.setPluginOption = ({ name, kind }) => {
-    if (kind === 'provider') return { queueTimeout: 60000 * 2 }
-    if (name === 'LearnEth') return { queueTimeout: 60000 }
-    return { queueTimeout: 10000 }
-  }
+  const engine = new RemixEngine()
   engine.register(appManager)
   
   // SERVICES

apps/remix-ide/src/app/components/plugin-manager-component.js

@@ -84,9 +84,9 @@ class PluginManagerComponent extends ViewPlugin {
     this.localPlugin = new LocalPlugin()
     this.filter = ''
     this.appManager.event.on('activate', () => { this.reRender() })
-    this.appManager.event.on('deactivate', () => { this.reRender() })
-    this.appManager.event.on('added', () => { this.reRender() })
+    this.appManager.event.on('deactivate', () => { this.reRender() })    
     this.engine = engine
+    this.engine.event.on('onRegistration', () => { this.reRender() })
   }
 
   isActive (name) {

apps/remix-ide/src/remixEngine.js

+/* global localStorage, fetch */
+import { Engine } from '@remixproject/engine'
+import { EventEmitter } from 'events'
+
+export class RemixEngine extends Engine {
+
+  constructor () {
+    super()
+    this.event = new EventEmitter()
+  }
+
+  setPluginOption ({ name, kind }) {
+    if (kind === 'provider') return {queueTimeout: 60000 * 2}
+    if (name === 'LearnEth') return {queueTimeout: 60000}
+    return {queueTimeout: 10000}
+  }
+
+  onRegistration (plugin) {
+    this.event.emit('onRegistration', plugin)
+  }
+}