IDLE: Let users add to font selection #75958
Description
| BPO | 31777 |
|---|---|
| Nosy | @terryjreedy |
| Superseder |
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/terryjreedy'
closed_at = <Date 2019-01-18.03:01:39.967>
created_at = <Date 2017-10-12.22:07:23.053>
labels = ['expert-IDLE', 'type-feature', '3.7']
title = 'IDLE: Let users add to font selection'
updated_at = <Date 2019-01-18.03:01:39.966>
user = 'https://github.com/terryjreedy'bugs.python.org fields:
activity = <Date 2019-01-18.03:01:39.966>
actor = 'terry.reedy'
assignee = 'terry.reedy'
closed = True
closed_date = <Date 2019-01-18.03:01:39.967>
closer = 'terry.reedy'
components = ['IDLE']
creation = <Date 2017-10-12.22:07:23.053>
creator = 'terry.reedy'
dependencies = []
files = []
hgrepos = []
issue_num = 31777
keywords = []
message_count = 2.0
messages = ['304292', '333936']
nosy_count = 1.0
nosy_names = ['terry.reedy']
pr_nums = []
priority = 'normal'
resolution = 'duplicate'
stage = 'resolved'
status = 'closed'
superseder = '31860'
type = 'enhancement'
url = 'https://bugs.python.org/issue31777'
versions = ['Python 3.6', 'Python 3.7']