Commit ac5004f7 authored by Terry Jan Reedy's avatar Terry Jan Reedy

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

parent 1c405520
...@@ -487,7 +487,7 @@ class ModifiedInterpreter(InteractiveInterpreter): ...@@ -487,7 +487,7 @@ class ModifiedInterpreter(InteractiveInterpreter):
console.stop_readline() console.stop_readline()
# annotate restart in shell window and mark it # annotate restart in shell window and mark it
console.text.delete("iomark", "end-1c") 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) * '=' halfbar = ((int(console.width) -len(tag) - 4) // 2) * '='
console.write("\n{0} {1} {0}".format(halfbar, tag)) console.write("\n{0} {1} {0}".format(halfbar, tag))
console.text.mark_set("restart", "end-1c") console.text.mark_set("restart", "end-1c")
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment