Fix conflict filtered plugins not highlighted.

Fixes #420.
2026-07-27 14:16:01 -07:00 · 2015-05-19 15:48:47 +01:00
parent a82461e8bd
commit 25396d32e4
1 changed files with 1 additions and 0 deletions
@@ -497,6 +497,7 @@ function onConflictsFilter(evt) {
    /* evt.detail is true if the filter has been activated. */
    if (evt.detail) {
        document.body.setAttribute('data-conflicts', evt.target.getName());
+        evt.target.classList.toggle('highlight', true);
    } else {
        document.body.removeAttribute('data-conflicts');
    }