From 49348614cc9f1b1eb49d542922da49108e17e34c Mon Sep 17 00:00:00 2001
From: Oliver Hamlet <oliver.hamlet@gmail.com>
Date: Sun, 9 Nov 2014 20:52:21 +0000
Subject: [PATCH] Fixed incorrect checkbox behaviour.

Paper checkboxes use the 'change' event to show when they've been
changed, 'click' happens too early.
---
 resources/report/js/script.js | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/resources/report/js/script.js b/resources/report/js/script.js
index 047ea07c..dfa42d4b 100644
--- a/resources/report/js/script.js
+++ b/resources/report/js/script.js
@@ -1190,14 +1190,14 @@ function setupEventHandlers() {
     }
 
     /*Set up handlers for filters.*/
-    document.getElementById('hideVersionNumbers').addEventListener('click', toggleDisplayCSS, false);
-    document.getElementById('hideCRCs').addEventListener('click', toggleDisplayCSS, false);
-    document.getElementById('hideBashTags').addEventListener('click', toggleDisplayCSS, false);
-    document.getElementById('hideNotes').addEventListener('click', applyFilters, false);
-    document.getElementById('hideDoNotCleanMessages').addEventListener('click', applyFilters, false);
-    document.getElementById('hideInactivePluginMessages').addEventListener('click', applyFilters, false);
-    document.getElementById('hideAllPluginMessages').addEventListener('click', applyFilters, false);
-    document.getElementById('hideMessagelessPlugins').addEventListener('click', applyFilters, false);
+    document.getElementById('hideVersionNumbers').addEventListener('change', toggleDisplayCSS, false);
+    document.getElementById('hideCRCs').addEventListener('change', toggleDisplayCSS, false);
+    document.getElementById('hideBashTags').addEventListener('change', toggleDisplayCSS, false);
+    document.getElementById('hideNotes').addEventListener('change', applyFilters, false);
+    document.getElementById('hideDoNotCleanMessages').addEventListener('change', applyFilters, false);
+    document.getElementById('hideInactivePluginMessages').addEventListener('change', applyFilters, false);
+    document.getElementById('hideAllPluginMessages').addEventListener('change', applyFilters, false);
+    document.getElementById('hideMessagelessPlugins').addEventListener('change', applyFilters, false);
 
     /* Set up handlers for buttons. */
     document.getElementById('redatePluginsButton').addEventListener('click', redatePlugins, false);