diff options
| author | Ned Batchelder <ned@nedbatchelder.com> | 2014-10-25 10:29:53 -0400 |
|---|---|---|
| committer | Ned Batchelder <ned@nedbatchelder.com> | 2014-10-25 10:29:53 -0400 |
| commit | af073c55208a2ae1fc488adec167f55ef28f9d15 (patch) | |
| tree | dd406b1e32899fc47c04735b4199e820136f044c /coverage/htmlfiles | |
| parent | 9b3fda7414f0a28ce0d40b9d1647ececb579a628 (diff) | |
| download | python-coveragepy-af073c55208a2ae1fc488adec167f55ef28f9d15.tar.gz | |
Use a subtler indicator of filtering
Diffstat (limited to 'coverage/htmlfiles')
| -rw-r--r-- | coverage/htmlfiles/index.html | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/coverage/htmlfiles/index.html b/coverage/htmlfiles/index.html index ef4867a..90802c8 100644 --- a/coverage/htmlfiles/index.html +++ b/coverage/htmlfiles/index.html @@ -27,8 +27,7 @@ <img id='keyboard_icon' src='keybd_closed.png' alt='Show keyboard shortcuts' /> <form id="filter_container"> - <label for="filter">Filter</label> - <input id="filter" type="text" value="" /> + <input id="filter" type="text" value="" placeholder="filter..." /> </form> </div> </div> |