UNDO-DONE! shouldn't enable undo if it is disabled.
authorChris Hanson <org/chris-hanson/cph>
Sun, 24 Jan 1993 07:06:43 +0000 (07:06 +0000)
committerChris Hanson <org/chris-hanson/cph>
Sun, 24 Jan 1993 07:06:43 +0000 (07:06 +0000)
commit5f576f0d677f159f61bfd635e9be4fcba357446e
tree037cda3483289d724c1452c4e7b8b914c6c72502
parent197133b69ee0f3fe5ea8986e0f3afcbcf329a1f1
UNDO-DONE! shouldn't enable undo if it is disabled.
v7/src/edwin/undo.scm