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: <[email protected]> |
| 2020-01-03 21:24:18 | terry.reedy | link | issue6143 messages |
| 2020-01-03 21:24:17 | terry.reedy | create | |
|