From 9424325fea197ff6314f174840ac53e2f3c5b4e3 Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Mon, 21 Jan 2019 14:04:27 +0100
Subject: [PATCH] remove unneeded event registration

---
 src/app.js | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/app.js b/src/app.js
index f8df3699cf..9dbc0d81eb 100644
--- a/src/app.js
+++ b/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 configProvider = self._components.filesProviders['config']
 
-  registry.get('app').api.event.register('tabChanged', (tabName) => {
-    if (tabName === 'Support') support.loadTab()
-  })
-
   appManager.init([
     { profile: this.profile(), api: this },
     { profile: udapp.profile(), api: udapp },