From: Terry Jan Reedy <tjreedy@udel.edu>
Date: Thu, 3 Sep 2015 02:07:44 +0000 (-0400)
Subject: Issue #21192: Change 'RUN' back to 'RESTART' when running editor file.
X-Git-Tag: v3.5.1rc1~427^2~37^2
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=ac5004f7ced7b0d4e410af2e005dd7a400bf26ac;p=thirdparty%2FPython%2Fcpython.git

Issue #21192: Change 'RUN' back to 'RESTART' when running editor file.
---

diff --git a/Lib/idlelib/PyShell.py b/Lib/idlelib/PyShell.py
index 3869d45eafad..5854cf91a404 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")