| 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}, "*"); |
| }); |
| } |
| ); |