Can doc index of html version be separately scrollable? #49215
Description
| BPO | 4965 |
|---|---|
| Nosy | @birkenfeld, @terryjreedy, @orsenthil, @ned-deily, @ezio-melotti, @serhiy-storchaka |
| Superseder | |
| Files |
Note: these values reflect the state of the issue at the time it was migrated and might not reflect the current state.
Show more details
GitHub fields:
assignee = 'https://github.com/ezio-melotti'
closed_at = <Date 2013-11-02.14:45:39.764>
created_at = <Date 2009-01-16.23:30:32.460>
labels = ['easy', 'type-feature', 'docs']
title = 'Can doc index of html version be separately scrollable?'
updated_at = <Date 2013-11-02.14:45:39.763>
user = 'https://github.com/terryjreedy'bugs.python.org fields:
activity = <Date 2013-11-02.14:45:39.763>
actor = 'ezio.melotti'
assignee = 'ezio.melotti'
closed = True
closed_date = <Date 2013-11-02.14:45:39.764>
closer = 'ezio.melotti'
components = ['Documentation']
creation = <Date 2009-01-16.23:30:32.460>
creator = 'terry.reedy'
dependencies = []
files = ['27887', '32072', '32098', '32128']
hgrepos = []
issue_num = 4965
keywords = ['patch', 'easy']
message_count = 24.0
messages = ['79986', '80437', '81302', '81306', '89966', '89971', '174843', '175230', '199609', '199650', '199651', '199659', '199660', '199719', '199779', '199780', '199825', '199826', '199836', '199947', '199956', '199971', '201489', '201974']
nosy_count = 7.0
nosy_names = ['georg.brandl', 'terry.reedy', 'orsenthil', 'ned.deily', 'ezio.melotti', 'python-dev', 'serhiy.storchaka']
pr_nums = []
priority = 'normal'
resolution = 'fixed'
stage = 'resolved'
status = 'closed'
superseder = '4711'
type = 'enhancement'
url = 'https://bugs.python.org/issue4965'
versions = ['Python 2.7', 'Python 3.3', 'Python 3.4']