[docs] [issue35851] Make search result in online docs keep their position when search finishes
Roel Schroeven
report at bugs.python.org
Mon Feb 4 05:23:14 EST 2019
Roel Schroeven <roel at roelschroeven.net> added the comment:
Issue opened on the Sphinx bug tracker: https://github.com/sphinx-doc/sphinx/issues/6016
----------
_______________________________________
Python tracker <report at bugs.python.org>
<https://bugs.python.org/issue35851>
_______________________________________
More information about the docs
mailing list