From 25396d32e4583b4c7a657d4643122e5cd8604925 Mon Sep 17 00:00:00 2001
From: Oliver Hamlet <oliver.hamlet@gmail.com>
Date: Tue, 19 May 2015 15:48:47 +0100
Subject: [PATCH] Fix conflict filtered plugins not highlighted.

Fixes #420.
---
 resources/report/js/events.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/resources/report/js/events.js b/resources/report/js/events.js
index f8a22e01..37627641 100644
--- a/resources/report/js/events.js
+++ b/resources/report/js/events.js
@@ -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');
     }