[issue4965] Can doc index of html version be separately scrollable?

[Georg Brandl]

Georg Brandl added the comment:

Very nice, thanks for porting this.  One minor nit: when I close the sidebar, then scroll and then reopen it, it does not immediately update the sidebar position, only when scrolling again.

----------

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue4965>
_______________________________________