* Set the value of a switch button. * @param {string} id HTML id * @param {string} varname js internal variable name
(id, varname)
| 150 | * @param {string} varname js internal variable name |
| 151 | */ |
| 152 | function setSwitchButton(id, varname) |
| 153 | { |
| 154 | const element = document.getElementById(id); |
| 155 | element.checked = this[varname]; |
| 156 | } |
| 157 | |
| 158 | /** |
| 159 | * Reset the global statistic |