From: Terry Jan Reedy Date: Thu, 3 Sep 2015 02:07:31 +0000 (-0400) Subject: Issue #21192: Change 'RUN' back to 'RESTART' when running editor file. X-Git-Tag: v2.7.11rc1~186 X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=b50d3b2cd322d757852aa783c69127a44906212d;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 6c2ff5b42885..23337f8ed546 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")