fix in page search in browser (didn't appear after ctrl+f)

This commit is contained in:
zadam 2019-04-09 21:16:18 +02:00
parent a27525af9e
commit 896776516b

View File

@ -138,16 +138,14 @@ function registerEntrypoints() {
}); });
} }
function openInPageSearch() { if (utils.isElectron()) {
if (utils.isElectron()) { utils.bindShortcut('ctrl+f', () => {
findInPage.openFindWindow(); findInPage.openFindWindow();
return false; return false;
} });
} }
utils.bindShortcut('ctrl+f', openInPageSearch);
// FIXME: do we really need these at this point? // FIXME: do we really need these at this point?
utils.bindShortcut("ctrl+shift+up", () => { utils.bindShortcut("ctrl+shift+up", () => {
const node = treeService.getActiveNode(); const node = treeService.getActiveNode();