diff options
author | Terry Jan Reedy <tjreedy@udel.edu> | 2015-09-03 02:08:21 (GMT) |
---|---|---|
committer | Terry Jan Reedy <tjreedy@udel.edu> | 2015-09-03 02:08:21 (GMT) |
commit | 0fa5ef72b731c6884f58c0aa38f648b57004c4db (patch) | |
tree | 90d1b20424eb1a8c32eadbe2bcc8d801e607300c | |
parent | be923ac948635e1a93d55398648f8d03996d3ebd (diff) | |
parent | 379583e762c6ac8b4f2e86220ce0bfa8d54c6919 (diff) | |
download | cpython-0fa5ef72b731c6884f58c0aa38f648b57004c4db.zip cpython-0fa5ef72b731c6884f58c0aa38f648b57004c4db.tar.gz cpython-0fa5ef72b731c6884f58c0aa38f648b57004c4db.tar.bz2 |
Merge with 3.5
-rwxr-xr-x | Lib/idlelib/PyShell.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Lib/idlelib/PyShell.py b/Lib/idlelib/PyShell.py index 3869d45..5854cf9 100755 --- a/Lib/idlelib/PyShell.py +++ b/Lib/idlelib/PyShell.py @@ -487,7 +487,7 @@ class ModifiedInterpreter(InteractiveInterpreter): console.stop_readline() # annotate restart in shell window and mark it console.text.delete("iomark", "end-1c") - tag = 'RUN ' + filename if filename else 'RESTART Shell' + tag = 'RESTART: ' + (filename if filename else 'Shell') halfbar = ((int(console.width) -len(tag) - 4) // 2) * '=' console.write("\n{0} {1} {0}".format(halfbar, tag)) console.text.mark_set("restart", "end-1c") |