diff options
| author | Terry Jan Reedy <tjreedy@udel.edu> | 2015-09-03 02:07:31 (GMT) |
|---|---|---|
| committer | Terry Jan Reedy <tjreedy@udel.edu> | 2015-09-03 02:07:31 (GMT) |
| commit | b50d3b2cd322d757852aa783c69127a44906212d (patch) | |
| tree | 8d48fb3f4f25ef0ade4582fb3a52d548b0b943d3 /Lib/idlelib/PyShell.py | |
| parent | a4ce943902ab43207a91870b3fe86c8df25049cf (diff) | |
| download | cpython-b50d3b2cd322d757852aa783c69127a44906212d.zip cpython-b50d3b2cd322d757852aa783c69127a44906212d.tar.gz cpython-b50d3b2cd322d757852aa783c69127a44906212d.tar.bz2 | |
Issue #21192: Change 'RUN' back to 'RESTART' when running editor file.
Diffstat (limited to 'Lib/idlelib/PyShell.py')
| -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 6c2ff5b..23337f8 100755 --- a/Lib/idlelib/PyShell.py +++ b/Lib/idlelib/PyShell.py @@ -500,7 +500,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") |