[issue19489] move quick search box above TOC
Zachary Ware
report at bugs.python.org
Wed Aug 3 14:05:48 EDT 2016
Zachary Ware added the comment:
This LGTM.
If it's simple enough, I'd like to see a shot at putting the search box in the top bar, but it's not necessary :)
I'll commit this in the near future unless somebody beats me to it.
----------
stage: needs patch -> commit review
_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue19489>
_______________________________________
More information about the Python-bugs-list
mailing list