| Index: chrome/devtools.js | 
| diff --git a/chrome/devtools.js b/chrome/devtools.js | 
| index e91efc5b917e9b7e0e6042d24ff5c30ccadb5adf..2b8166754494e07d834864bf2b226eb5b4221c6d 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}, "*"); | 
| }); | 
| } | 
| ); |