IDLE Shell: Refine restart line #82222
Description
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 2020-10-16.22:59:33.312>
created_at = <Date 2019-09-05.18:52:14.481>
labels = ['3.8', 'expert-IDLE', 'type-bug', '3.7', '3.9']
title = 'IDLE Shell: Refine restart line'
updated_at = <Date 2020-10-16.22:59:33.311>
user = 'https://github.com/terryjreedy'bugs.python.org fields:
activity = <Date 2020-10-16.22:59:33.311>
actor = 'terry.reedy'
assignee = 'terry.reedy'
closed = True
closed_date = <Date 2020-10-16.22:59:33.312>
closer = 'terry.reedy'
components = ['IDLE']
creation = <Date 2019-09-05.18:52:14.481>
creator = 'terry.reedy'
dependencies = []
files = []
hgrepos = []
issue_num = 38041
keywords = ['patch']
message_count = 6.0
messages = ['351218', '351264', '351266', '351267', '378779', '378781']
nosy_count = 3.0
nosy_names = ['terry.reedy', 'miss-islington', 'iritkatriel']
pr_nums = ['15709', '15719', '15720']
priority = 'normal'
resolution = 'fixed'
stage = 'resolved'
status = 'closed'
superseder = None
type = 'behavior'
url = 'https://bugs.python.org/issue38041'
versions = ['Python 3.7', 'Python 3.8', 'Python 3.9']