[issue38041] IDLE Shell: Redesign minimum restart line

Change by Terry J. Reedy : -- keywords: +patch pull_requests: +15364 stage: test needed -> patch review pull_request: https://github.com/python/cpython/pull/15709 ___ Python tracker __

[issue38041] IDLE Shell: Redesign minimum restart line

New submission from Terry J. Reedy : Currently, Shell prints restart lines as =...= RESTART filename =...= where filename is 'Shell' or the full pathname. The code is tag = 'RESTART: ' + (filename if filename else 'Shell') halfbar = ((int(console.width) -len(tag) - 4) // 2) *