[New-bugs-announce] [issue21192] Idle: Print filename when running a file from editor

[Terry J. Reedy]

New submission from Terry J. Reedy:

Upon restarting the user process, Idle prints a separator bar in the shell:
====================================== RESTART=====================....
When restart is due to running a file with F5, print "RUN filename" instead of "RESTART". Idea from Adnan Umer, pydev list. For Shell / Restart Shell Cntl+F6, maybe change to "RESTART Shell" (my additional idea).

----------
messages: 215846
nosy: terry.reedy
priority: normal
severity: normal
stage: needs patch
status: open
title: Idle: Print filename when running a file from editor
type: enhancement

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