[issue35851] Make search result in online docs keep their position when search finishes

2019-02-05 Thread Karthikeyan Singaravelan
Karthikeyan Singaravelan added the comment: This is fixed upstream and will be available as Sphinx is upgraded. Closing it now. Thanks @roelschroeven for the report. Upstream PR : https://github.com/sphinx-doc/sphinx/pull/6018 -- resolution: -> third party stage: -> resolved status

[issue35851] Make search result in online docs keep their position when search finishes

2019-02-04 Thread Roel Schroeven
Roel Schroeven added the comment: Issue opened on the Sphinx bug tracker: https://github.com/sphinx-doc/sphinx/issues/6016 -- ___ Python tracker ___ _

[issue35851] Make search result in online docs keep their position when search finishes

2019-02-03 Thread Julien Palard
Julien Palard added the comment: Hi Roel, I like the idea, but as xtreak told, it's a sphinx issue we cannot easy fix on our side, better fix it sphinx side. Would you please repoen it on the sphinx bug tracker at https://github.com/sphinx-doc/sphinx/issues? --

[issue35851] Make search result in online docs keep their position when search finishes

2019-01-29 Thread Karthikeyan Singaravelan
Karthikeyan Singaravelan added the comment: I have minimum experience with CSS but this seems to be a Sphinx level enhancement that needs to be made. The text is set after search completion at [0]. The element [1] to which the text is added has no fixed height and is empty at the beginning s

[issue35851] Make search result in online docs keep their position when search finishes

2019-01-29 Thread Roel Schroeven
New submission from Roel Schroeven : Search in the online documentation shows results while the search continues in the background, which is very nice. Only problem is: when the search finishes, a line with the text "Search finished, found x page(s) matching the search query." appears which p