diff options
| author | Jakub Narebski <jnareb@gmail.com> | 2012-01-31 01:20:54 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2012-02-01 12:52:50 -0800 |
| commit | a1e1b2d77b9fc5866d12bf984214b15f1dccf4a8 (patch) | |
| tree | 563ef0b8c276ddc79de99f09c3036d43600aba74 /gitweb/static/js/javascript-detection.js | |
| parent | gitweb: place links to parent directories in page header (diff) | |
| download | git-a1e1b2d77b9fc5866d12bf984214b15f1dccf4a8.tar.gz git-a1e1b2d77b9fc5866d12bf984214b15f1dccf4a8.zip | |
gitweb: improve usability of projects search form
Refactor generating project search form into git_project_search_form().
Make text field wider and add on mouse over explanation (via "title"
attribute), add an option to use regular expressions, and replace
'Search:' label with [Search] button.
Also add "List all projects" link to make it easier to go back from search
result to list of all projects (note that an empty search term is
disallowed).
Signed-off-by: Jakub Narebski <jnareb@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'gitweb/static/js/javascript-detection.js')
0 files changed, 0 insertions, 0 deletions