diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2003-06-05 10:45:12 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2003-06-05 10:45:12 +0000 |
commit | 9c77766565cc9c29289ecf1c7d6c964d6af388ce (patch) | |
tree | 6f63514fd2f153520142b29b72819d413502c551 /plastic | |
parent | a9c79785fd0870121e3ab6de9b8963435c5c6548 (diff) |
Make find-and-forget robust for proverproc regions
Diffstat (limited to 'plastic')
-rw-r--r-- | plastic/plastic.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/plastic/plastic.el b/plastic/plastic.el index 463ab4ec..c334cf53 100644 --- a/plastic/plastic.el +++ b/plastic/plastic.el @@ -244,6 +244,7 @@ Given is the first SPAN which needs to be undone." ;; so that Undo can be implemented via the tmp_cmd route.) (let (string (spans 0)) (while span + ;; FIXME da: should probably ignore comments/proverproc here? (setq string (span-property span 'cmd)) (plastic-preprocessing) ;; dynamic scope, on string |