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 | afc7a3856f9e85d1516822c80deeab0fed41532a (patch) | |
| tree | fa365d556e31cb8a1a0783f945c8b9936679522d /coverage/htmlfiles | |
| parent | 9240e30ecb028faba4577c3d9e8055638f55db53 (diff) | |
| download | python-coveragepy-git-afc7a3856f9e85d1516822c80deeab0fed41532a.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 ef4867a8..90802c81 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> |