]> granicus.if.org Git - python/commitdiff
Issue #21192: Change 'RUN' back to 'RESTART' when running editor file.
authorTerry Jan Reedy <tjreedy@udel.edu>
Thu, 3 Sep 2015 02:07:31 +0000 (22:07 -0400)
committerTerry Jan Reedy <tjreedy@udel.edu>
Thu, 3 Sep 2015 02:07:31 +0000 (22:07 -0400)
Lib/idlelib/PyShell.py

index 6c2ff5b42885f861099301a9c5b600298fa8061c..23337f8ed546dd88f373a367e1566cd90b700a57 100755 (executable)
@@ -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")