equal
deleted
inserted
replaced
8 <form action="${h.build_url(urls.channel_search, channel=channel)}" method="GET"> |
8 <form action="${h.build_url(urls.channel_search, channel=channel)}" method="GET"> |
9 <input type="text" name="q" /> |
9 <input type="text" name="q" /> |
10 <input type="submit" value="Search" /> |
10 <input type="submit" value="Search" /> |
11 |
11 |
12 Results/page: <select name="count"> |
12 Results/page: <select name="count"> |
13 % for cc, cc_label in config.SEARCH_LINE_COUNT_OPTIONS : |
13 ${h.select_options(((cc, cc_label) for cc, cc_label in config.SEARCH_LINE_COUNT_OPTIONS), count)} |
14 <option value="${cc if cc else ''}"${' selected="selected"' if cc == count else ''}>${cc_label}</option> |
|
15 % endfor |
|
16 </select> |
14 </select> |
17 </form> |
15 </form> |
18 |
16 |
19 <div id="search-help"> |
17 <div id="search-help"> |
20 <p>Search powered by <a href="http://hyperestraier.sourceforge.net/">Hyper Estraier</a>:</p> |
18 <p>Search powered by <a href="http://hyperestraier.sourceforge.net/">Hyper Estraier</a>:</p> |