(value)
| 1103 | } |
| 1104 | |
| 1105 | function setMarkWhenChecked(value) { |
| 1106 | writeStorage("markWhenChecked", value); |
| 1107 | settings.markWhenChecked = value; |
| 1108 | markedFootprints.clear(); |
| 1109 | for (var ref of (value ? getStoredCheckboxRefs(value) : [])) { |
| 1110 | markedFootprints.add(ref); |
| 1111 | } |
| 1112 | populateBomTable(); |
| 1113 | drawHighlights(); |
| 1114 | } |
| 1115 | |
| 1116 | function prepCheckboxes() { |
| 1117 | var table = document.getElementById("checkbox-stats"); |
no test coverage detected