Message268961
This seems like something that should be fixed in Readline, rather than Python. Judging by the rl_clear_history() documentation, it sounds like this is private data. Maybe we need a version of rl_free_undo_list() that works for old history items, or a Readline library wrapper for free_history_entry(). |
|
Date |
User |
Action |
Args |
2016-06-21 03:50:02 | martin.panter | set | recipients:
+ martin.panter, vstinner, stefanholek |
2016-06-21 03:50:02 | martin.panter | set | messageid: <1466481002.37.0.156735112052.issue12186@psf.upfronthosting.co.za> |
2016-06-21 03:50:02 | martin.panter | link | issue12186 messages |
2016-06-21 03:50:02 | martin.panter | create | |
|