remove unneeded event registration

pull/3094/head
yann300 6 years ago
parent 2937ceea39
commit 9424325fea
  1. 4
      src/app.js

@ -453,10 +453,6 @@ Please make a backup of your contracts and start using http://remix.ethereum.org
let sourceHighlighters = registry.get('editor').api.sourceHighlighters let sourceHighlighters = registry.get('editor').api.sourceHighlighters
let configProvider = self._components.filesProviders['config'] let configProvider = self._components.filesProviders['config']
registry.get('app').api.event.register('tabChanged', (tabName) => {
if (tabName === 'Support') support.loadTab()
})
appManager.init([ appManager.init([
{ profile: this.profile(), api: this }, { profile: this.profile(), api: this },
{ profile: udapp.profile(), api: udapp }, { profile: udapp.profile(), api: udapp },

Loading…
Cancel
Save