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