From 2d9ef70392a4ddab7e886a3b60a79dda14ebb810 Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Thu, 12 Apr 2018 11:33:44 +0200
Subject: [PATCH] readd debuggingRequested registration

---
 src/app/tabs/tabbed-menu.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/app/tabs/tabbed-menu.js b/src/app/tabs/tabbed-menu.js
index 6378c3912d..ba70f27636 100644
--- a/src/app/tabs/tabbed-menu.js
+++ b/src/app/tabs/tabbed-menu.js
@@ -15,6 +15,9 @@ module.exports = class TabbedMenu {
     self._api = api
     self._events = events
     self._view = { el: null, viewport: null, tabs: {}, contents: {} }
+    events.app.register('debuggingRequested', () => {
+      self.selectTabByTitle('Debugger')
+    })
   }
   render () {
     const self = this