[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 <https://bugs.python.org/issue35

[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." app

[issue34006] Windows HTML Help (chm) has fixed line length

2018-06-29 Thread Roel Schroeven
New submission from Roel Schroeven : Since 3.7 (and possibly 3.6.6) the .chm Windows help file uses fixed line lenghts, instead of properly adapting to the window width. Please revert to the old behavior. See screenshot: the empty space on the right is just silly. -- components