From 896776516bbaffdc0da93d44ba7672e87590ee2f Mon Sep 17 00:00:00 2001 From: zadam Date: Tue, 9 Apr 2019 21:16:18 +0200 Subject: [PATCH] fix in page search in browser (didn't appear after ctrl+f) --- src/public/javascripts/services/entrypoints.js | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/src/public/javascripts/services/entrypoints.js b/src/public/javascripts/services/entrypoints.js index 456d20098..99bf6fb29 100644 --- a/src/public/javascripts/services/entrypoints.js +++ b/src/public/javascripts/services/entrypoints.js @@ -138,16 +138,14 @@ function registerEntrypoints() { }); } - function openInPageSearch() { - if (utils.isElectron()) { + if (utils.isElectron()) { + utils.bindShortcut('ctrl+f', () => { findInPage.openFindWindow(); return false; - } + }); } - utils.bindShortcut('ctrl+f', openInPageSearch); - // FIXME: do we really need these at this point? utils.bindShortcut("ctrl+shift+up", () => { const node = treeService.getActiveNode();