()
| 1114 | } |
| 1115 | |
| 1116 | function prepCheckboxes() { |
| 1117 | var table = document.getElementById("checkbox-stats"); |
| 1118 | while (table.childElementCount > 1) { |
| 1119 | table.removeChild(table.lastChild); |
| 1120 | } |
| 1121 | if (settings.checkboxes.length) { |
| 1122 | table.style.display = ""; |
| 1123 | } else { |
| 1124 | table.style.display = "none"; |
| 1125 | } |
| 1126 | for (var checkbox of settings.checkboxes) { |
| 1127 | var tr = document.createElement("TR"); |
| 1128 | var td = document.createElement("TD"); |
| 1129 | td.innerHTML = checkbox; |
| 1130 | tr.appendChild(td); |
| 1131 | td = document.createElement("TD"); |
| 1132 | td.id = "checkbox-stats-" + checkbox; |
| 1133 | var progressbar = document.createElement("div"); |
| 1134 | progressbar.classList.add("bar"); |
| 1135 | td.appendChild(progressbar); |
| 1136 | var text = document.createElement("div"); |
| 1137 | text.classList.add("text"); |
| 1138 | td.appendChild(text); |
| 1139 | tr.appendChild(td); |
| 1140 | table.appendChild(tr); |
| 1141 | updateCheckboxStats(checkbox); |
| 1142 | } |
| 1143 | } |
| 1144 | |
| 1145 | function populateMarkWhenCheckedOptions() { |
| 1146 | var container = document.getElementById("markWhenCheckedContainer"); |
no test coverage detected