changeset:   97658:09cd7d57b080
branch:      3.5
parent:      97638:9f8c59e61594
user:        Terry Jan Reedy <tjreedy@udel.edu>
date:        Thu Sep 03 21:26:12 2015 -0400
files:       Lib/idlelib/PyShell.py
description:
Issue #21192: Change 'RUN' back to 'RESTART' when running editor file.


diff -r 9f8c59e61594 -r 09cd7d57b080 Lib/idlelib/PyShell.py
--- a/Lib/idlelib/PyShell.py	Thu Sep 03 10:15:03 2015 -0700
+++ b/Lib/idlelib/PyShell.py	Thu Sep 03 21:26:12 2015 -0400
@@ -487,7 +487,7 @@
         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")