diff options
author | 2017-10-27 15:16:05 +0200 | |
---|---|---|
committer | 2017-10-27 15:16:05 +0200 | |
commit | 769c55e6b5b61560bbda32fb11481fb2040130ee (patch) | |
tree | 821863bc0dc489420969fbb129b28f2ec5c4a022 /src/stores | |
parent | Add info & support links to "Help" menu (diff) | |
download | ferdium-app-769c55e6b5b61560bbda32fb11481fb2040130ee.tar.gz ferdium-app-769c55e6b5b61560bbda32fb11481fb2040130ee.tar.zst ferdium-app-769c55e6b5b61560bbda32fb11481fb2040130ee.zip |
Remove additional production shortcuts for devtools
Due to the menu update we now show use the standard shortcuts for opening the dev tools.
Diffstat (limited to 'src/stores')
-rw-r--r-- | src/stores/AppStore.js | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/stores/AppStore.js b/src/stores/AppStore.js index 7dbef985d..d0d8defee 100644 --- a/src/stores/AppStore.js +++ b/src/stores/AppStore.js | |||
@@ -112,15 +112,6 @@ export default class AppStore extends Store { | |||
112 | setTimeout(window.location.reload, 5000); | 112 | setTimeout(window.location.reload, 5000); |
113 | }); | 113 | }); |
114 | 114 | ||
115 | // Open Dev Tools (even in production mode) | ||
116 | key('⌘+ctrl+shift+alt+i, ctrl+shift+alt+i', () => { | ||
117 | getCurrentWindow().toggleDevTools(); | ||
118 | }); | ||
119 | |||
120 | key('⌘+ctrl+shift+alt+pageup, ctrl+shift+alt+pageup', () => { | ||
121 | this.actions.service.openDevToolsForActiveService(); | ||
122 | }); | ||
123 | |||
124 | // Set active the next service | 115 | // Set active the next service |
125 | key( | 116 | key( |
126 | '⌘+pagedown, ctrl+pagedown, ⌘+shift+tab, ctrl+shift+tab', () => { | 117 | '⌘+pagedown, ctrl+pagedown, ⌘+shift+tab, ctrl+shift+tab', () => { |