Merge pull request #1496 from ethereum/addProviderEndPoint

fix Listening on "compilation finished"
pull/1/head
yann300 7 years ago committed by GitHub
commit 0772f87fe1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 6
      src/app/plugin/pluginManager.js

@ -91,15 +91,12 @@ module.exports = class PluginManager {
self.origins = {}
self.inFocus
compiler.event.register('compilationFinished', (success, data, source) => {
if (self.inFocus) {
// trigger to the current focus
self.post(self.inFocus, JSON.stringify({
self.broadcast(JSON.stringify({
action: 'notification',
key: 'compiler',
type: 'compilationFinished',
value: [ success, data, source ]
}))
}
})
txlistener.event.register('newTransaction', (tx) => {
@ -113,6 +110,7 @@ module.exports = class PluginManager {
})
app.event.register('tabChanged', (tabName) => {
// TODO Fix this cause this event is no longer triggered
if (self.inFocus && self.inFocus !== tabName) {
// trigger unfocus
self.post(self.inFocus, JSON.stringify({

Loading…
Cancel
Save