Message359256
#17632 was instead closed as a duplicate of this issue.
The (editor) Run menu now has a custom run item. 'Clear shell before restart' could be added as an alternative to 'no restart'. But this would be a separate issue. |
|
Date |
User |
Action |
Args |
2020-01-03 21:24:18 | terry.reedy | set | recipients:
+ terry.reedy, rhettinger, roger.serwy, THRlWiTi, Todd.Rovito, Alex |
2020-01-03 21:24:18 | terry.reedy | set | messageid: <1578086658.46.0.332269819135.issue6143@roundup.psfhosted.org> |
2020-01-03 21:24:18 | terry.reedy | link | issue6143 messages |
2020-01-03 21:24:17 | terry.reedy | create | |
|