diff options
| author | Ned Batchelder <nedbat@gmail.com> | 2014-10-20 18:35:26 -0400 |
|---|---|---|
| committer | Ned Batchelder <nedbat@gmail.com> | 2014-10-20 18:35:26 -0400 |
| commit | 2fda349bba5e55240e4f8b2cedf7ee29d60207b2 (patch) | |
| tree | 51a7eda6cf8d9e61adcb3ca791f9917065125085 /coverage/htmlfiles/index.html | |
| parent | cd015c45c278aca757263746ed2e64c46d578ddd (diff) | |
| parent | ad4c7f3a5194f6966454d534f02e6b02633fa370 (diff) | |
| download | python-coveragepy-git-2fda349bba5e55240e4f8b2cedf7ee29d60207b2.tar.gz | |
Merged in dannya/coverage.py_2 (pull request #34)
Rework of my pull request #18:
Diffstat (limited to 'coverage/htmlfiles/index.html')
| -rw-r--r-- | coverage/htmlfiles/index.html | 15 |
1 files changed, 13 insertions, 2 deletions
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'> |