| Index: chrome/devtools.js | 
| diff --git a/chrome/devtools.js b/chrome/devtools.js | 
| index f8aa5fa3566c8aaaae762cff8d1ef969f60e4599..1982829746b635937a73140087ff4c39991b6f39 100644 | 
| --- a/chrome/devtools.js | 
| +++ b/chrome/devtools.js | 
| @@ -47,12 +47,7 @@ chrome.runtime.sendMessage( | 
| panel.onSearch.addListener((eventName, queryString) => | 
| { | 
| if (panelWindow) | 
| -            { | 
| -              panelWindow.postMessage({ | 
| -                type: eventName, | 
| -                queryString: queryString | 
| -              }, "*"); | 
| -            } | 
| +              panelWindow.postMessage({type: eventName, queryString}, "*"); | 
| }); | 
| } | 
| ); | 
|  |