Tune the undo insert/delete recorders to make sure that no time is
authorChris Hanson <org/chris-hanson/cph>
Sat, 4 Apr 1992 13:05:16 +0000 (13:05 +0000)
committerChris Hanson <org/chris-hanson/cph>
Sat, 4 Apr 1992 13:05:16 +0000 (13:05 +0000)
commit09f073372a028e6d4e6571cefe1f6c71167e8a65
tree2aedda97ba5403251faca576e2fd16132d049fc2
parente10303106a1aead20f358d6ae5f9a4df25dacae6
Tune the undo insert/delete recorders to make sure that no time is
wasted.  These are called very often and must be fast.
v7/src/edwin/undo.scm