added dev tools to global menu

This commit is contained in:
zadam
2019-02-09 19:25:55 +01:00
parent c09570cf39
commit 176c3a5d51
3 changed files with 15 additions and 5 deletions

View File

@@ -94,13 +94,18 @@ function registerEntrypoints() {
utils.bindShortcut('ctrl+r', utils.reloadApp);
utils.bindShortcut('ctrl+shift+i', () => {
if (utils.isElectron()) {
$("#open-dev-tools-button").toggle(utils.isElectron());
if (utils.isElectron()) {
const openDevTools = () => {
require('electron').remote.getCurrentWindow().toggleDevTools();
return false;
}
});
};
utils.bindShortcut('ctrl+shift+i', openDevTools);
$("#open-dev-tools-button").click(openDevTools);
}
function openInPageSearch() {
if (utils.isElectron()) {