Redo handling of changed/deleted chunks to be more reliable
commitca71f24a7c591c05b996093ecd11dbb58aeaaeca
authorOwen W. Taylor <otaylor@fishsoup.net>
Mon, 10 Dec 2007 15:37:24 +0000 (10 10:37 -0500)
committerOwen W. Taylor <otaylor@fishsoup.net>
Mon, 10 Dec 2007 15:37:24 +0000 (10 10:37 -0500)
tree62157984d29e49e7235cb354332636ca6fcda7e9
parent09bfddb27c72c236902e8bdf79ad00221f8a6b30
Redo handling of changed/deleted chunks to be more reliable
 - Add __freeze_changes()/__thaw_changes() and a set of changed
   chunks stored in the buffer rather than accumulating changed
   chunks in local variables.
 - Keep a count of uses of each chunk to reliably detect when a
   chunk has been deleted from the buffer.
(Fixes http://www.reinteract.org/trac/ticket/2, Ulrik Sverdrup)
lib/reinteract/shell_buffer.py