Julien Palard <[email protected]> added the comment:
Yes, got it too : 512d7101098b971837cbb406942215244f636547, they literally
removed the searchbox:
$ git show 512d7101098b971837cbb406942215244f636547 | grep searchbox
-{%- macro searchbox() %}
-{# modified from sphinx/themes/basic/searchbox.html #}
- {{ searchbox() }}
- '<input type="text" value="" id="searchbox" style="width: 50%">',
- '<input type="submit" id="searchbox-submit" value="Filter"></p>'
- var query = new RegExp($('#searchbox').val(), 'i');
- $('#searchbox').keyup(dofilter);
- $('#searchbox-submit').click(dofilter);
----------
_______________________________________
Python tracker <[email protected]>
<https://bugs.python.org/issue34733>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe:
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com