Message151310
I tested with 3.2.2 on Win7. Deletes prompt in editor window with both backspace and delete keys, but not prompt in shell. EditorWindow.py is identical in all three branches, at least in this area, so pushed. One nuisance gone. Thanks Roger. |
|
Date |
User |
Action |
Args |
2012-01-16 00:14:49 | terry.reedy | set | recipients:
+ terry.reedy, ezio.melotti, roger.serwy, python-dev, etuardu |
2012-01-16 00:14:49 | terry.reedy | set | messageid: <1326672889.07.0.9914689336.issue13039@psf.upfronthosting.co.za> |
2012-01-16 00:14:48 | terry.reedy | link | issue13039 messages |
2012-01-16 00:14:48 | terry.reedy | create | |
|