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

[Ezio Melotti]

Ezio Melotti added the comment:

I'm going to close this as fixed then.
If other people report problems I can always apply the patch and/or try to figure out something else.

----------
resolution:  -> fixed
stage: commit review -> committed/rejected
status: open -> closed

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