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() |