| Index: chrome/content/crawler_ui.js |
| =================================================================== |
| --- a/chrome/content/crawler_ui.js |
| +++ b/chrome/content/crawler_ui.js |
| @@ -29,11 +29,13 @@ |
| function onUnload() |
| { |
| const fields = ["backend-url", "parallel-tabs"]; |
| - fields.forEach( function ( field ) |
| - { |
| - let control = document.getElementById( field ); |
| - control.setAttribute( "value", control.value ); |
| - } ); |
| + fields.forEach( |
| + function ( field ) |
| + { |
| + let control = document.getElementById( field ); |
| + control.setAttribute( "value", control.value ); |
| + } |
| + ); |
| } |
| function getBackendUrl() |