| Left: | ||
| Right: |
| LEFT | RIGHT |
|---|---|
| 1 function init() | 1 function init() |
| 2 { | 2 { |
| 3 try | 3 try |
| 4 { | 4 { |
| 5 initLanguageSettings(); | 5 initLanguageSettings(); |
| 6 | 6 |
| 7 initDomainSettings(); | 7 initDomainSettings(); |
| 8 } | 8 } |
| 9 catch (err) | 9 catch (err) |
| 10 { | 10 { |
| 11 // alert("err: " + err); | 11 //alert("err: " + err); |
|
Felix Dahlke
2014/07/22 14:28:10
That change seems unrelated :D
| |
| 12 } | 12 } |
| 13 } | 13 } |
| 14 | 14 |
| 15 function setElementText(id, key) | 15 function setElementText(id, key) |
| 16 { | 16 { |
| 17 var el = document.getElementById(id); | 17 var el = document.getElementById(id); |
| 18 if (el) | 18 if (el) |
| 19 { | 19 { |
| 20 var text = UserSettings().GetMessage("settings", key); | 20 var text = UserSettings().GetMessage("settings", key); |
| 21 if (text) | 21 if (text) |
| (...skipping 133 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 155 for (var i = removeOptions.length; i--;) | 155 for (var i = removeOptions.length; i--;) |
| 156 { | 156 { |
| 157 optionsDomain.remove(removeOptions[i]); | 157 optionsDomain.remove(removeOptions[i]); |
| 158 } | 158 } |
| 159 }, false); | 159 }, false); |
| 160 } | 160 } |
| 161 | 161 |
| 162 window.UserSettings = function() | 162 window.UserSettings = function() |
| 163 { | 163 { |
| 164 return window.Settings; | 164 return window.Settings; |
| 165 } | 165 } |
|
Felix Dahlke
2014/07/22 14:28:10
Was this a missing EOF? If so let's keep it.
| |
| LEFT | RIGHT |