Add 'symbols' link to pydoc's html menu bar. #62587
Description
| BPO | 18387 |
|---|---|
| Nosy | @ronaldoussoren, @ncoghlan, @zware, @CuriousLearner, @csabella |
| PRs | |
| 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 = None
closed_at = None
created_at = <Date 2013-07-06.17:28:15.593>
labels = ['3.8', 'type-feature', 'library']
title = "Add 'symbols' link to pydoc's html menu bar."
updated_at = <Date 2019-05-09.21:10:38.179>
user = 'https://bugs.python.org/ronadam'bugs.python.org fields:
activity = <Date 2019-05-09.21:10:38.179>
actor = 'CuriousLearner'
assignee = 'none'
closed = False
closed_date = None
closer = None
components = ['Library (Lib)']
creation = <Date 2013-07-06.17:28:15.593>
creator = 'ron_adam'
dependencies = []
files = ['30931']
hgrepos = []
issue_num = 18387
keywords = ['patch']
message_count = 12.0
messages = ['192471', '192552', '193063', '193073', '193074', '193115', '193122', '193123', '200506', '200539', '313040', '341743']
nosy_count = 6.0
nosy_names = ['ronaldoussoren', 'ncoghlan', 'ron_adam', 'zach.ware', 'CuriousLearner', 'cheryl.sabella']
pr_nums = ['13225']
priority = 'normal'
resolution = None
stage = 'patch review'
status = 'open'
superseder = None
type = 'enhancement'
url = 'https://bugs.python.org/issue18387'
versions = ['Python 3.8']