Note: these values reflect the state of the issue at the time it was migrated and might not reflect the current state.
Show more details
assignee=Noneclosed_at=<Date2014-11-26.19:58:42.436>created_at=<Date2014-11-25.14:30:57.143>labels= ['type-feature', 'library']
title='readline does not offer partial saves'updated_at=<Date2014-11-26.21:03:20.317>user='https://bugs.python.org/bru'
(A) and (B) load the history, composed of (z) lines
you work on both, writing (a) lines in (A) and (b) lines in (b)
you close (A), the history file now has (z)+(a)
you close (B), the history file now has (z)+(b)
Therefore (A) history (the (a) lines) is lost. Offering "append_history_file" would be a nice way to fix this problem: having (z)+(a)+(b) in the end would be easy.
This is exactly what the attached patch does. With it are tests, doc and an example. I've not updated Misc/NEWS yet though (no issue #).