From ae337e45009c3938dddcbb3452b271f97eb80bce Mon Sep 17 00:00:00 2001
From: azivner <adam.zivner@gmail.com>
Date: Tue, 26 Dec 2017 22:24:47 -0500
Subject: [PATCH] don't open dev tools for search page in electron

---
 public/javascripts/init.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/public/javascripts/init.js b/public/javascripts/init.js
index 5fec6178f..08ac469a8 100644
--- a/public/javascripts/init.js
+++ b/public/javascripts/init.js
@@ -49,7 +49,7 @@ $(document).bind('keydown', 'ctrl+f', () => {
         const searchInPage = require('electron-in-page-search').default;
         const remote = require('electron').remote;
 
-        const inPageSearch = searchInPage(remote.getCurrentWebContents(), { openDevToolsOfSearchWindow: true });
+        const inPageSearch = searchInPage(remote.getCurrentWebContents());
 
         inPageSearch.openSearchWindow();