From c24c5b0ce6aa1b2cc90529fefec248dadd32125d Mon Sep 17 00:00:00 2001
From: Danny Allen <danny.allen@pennantplc.co.uk>
Date: Thu, 15 May 2014 12:29:17 +0100
Subject: Rework of my pull request #18: * Implement "go to next" buttons in
 pyfile UI * Improve filter on main UI to persist over page reloads * Hide
 totals table footer if hiding any rows, as values will be inaccurate *
 Implement live filtering of index table rows * Upgrade to jQuery 1.11.1

---
 coverage/htmlfiles/index.html | 15 +++++++++++++--
 1 file changed, 13 insertions(+), 2 deletions(-)

(limited to 'coverage/htmlfiles/index.html')

diff --git a/coverage/htmlfiles/index.html b/coverage/htmlfiles/index.html
index c831823d..7fee1736 100644
--- a/coverage/htmlfiles/index.html
+++ b/coverage/htmlfiles/index.html
@@ -8,6 +8,7 @@
         <link rel='stylesheet' href='{{ extra_css }}' type='text/css'>
     {% endif %}
     <script type='text/javascript' src='jquery.min.js'></script>
+    <script type='text/javascript' src='jquery.debounce.min.js'></script>
     <script type='text/javascript' src='jquery.tablesorter.min.js'></script>
     <script type='text/javascript' src='jquery.hotkeys.js'></script>
     <script type='text/javascript' src='coverage_html.js'></script>
@@ -22,12 +23,18 @@
         <h1>{{ title|escape }}:
             <span class='pc_cov'>{{totals.pc_covered_str}}%</span>
         </h1>
-        <img id='keyboard_icon' src='keybd_closed.png'>
+
+        <img id='keyboard_icon' src='keybd_closed.png' />
+
+        <form id="filter_container">
+            <label for="filter">Filter</label>
+            <input id="filter" type="text" value="" />
+        </form>
     </div>
 </div>
 
 <div class='help_panel'>
-    <img id='panel_icon' src='keybd_open.png'>
+    <img id='panel_icon' src='keybd_open.png' />
     <p class='legend'>Hot-keys on this page</p>
     <div>
     <p class='keyhelp'>
@@ -90,6 +97,10 @@
             {% endfor %}
         </tbody>
     </table>
+
+    <p id="no_rows">
+        No items found using the specified filter.
+    </p>
 </div>
 
 <div id='footer'>
-- 
cgit v1.2.1