(root)
| 14705 | window.resetFilterSelectionAndDetails(); |
| 14706 | } |
| 14707 | const tagSelect = document.getElementById('tag-filter'); |
| 14708 | if (!tagSelect) return; |
| 14709 | const hasOption = Array.from(tagSelect.options).some((o) => o.value === trimmed); |
| 14710 | if (!hasOption) { |
| 14711 | const opt = document.createElement('option'); |
| 14712 | opt.value = trimmed; |
| 14713 | opt.textContent = trimmed; |
| 14714 | tagSelect.appendChild(opt); |
| 14715 | } |
no test coverage detected