diff options
| author | David Aspinall | 1999-09-29 16:18:29 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-29 16:18:29 +0000 |
| commit | 06ff2979b376dcff3c3f7d796ee6fa15d6187296 (patch) | |
| tree | 4b4c77031fa113d46fc6629c4e09a18dc03a1c3b /generic/span-overlay.el | |
| parent | 8eccb1871f63583d3235b8e619629adfad40e2f9 (diff) | |
Fixes so that proof-strict-read-only can be toggled within a session (via restart).
Diffstat (limited to 'generic/span-overlay.el')
| -rw-r--r-- | generic/span-overlay.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/span-overlay.el b/generic/span-overlay.el index 2b969028..7f0bbb34 100644 --- a/generic/span-overlay.el +++ b/generic/span-overlay.el @@ -92,7 +92,7 @@ elements = S0 S1 S2 .... [tl-seq.el]" (defun span-write-warning (span) "Give a warning message when SPAN is changed." (set-span-property span 'modification-hooks '(span-give-warning)) - (set-span-property span 'modification-hooks '(span-give-warning))) + (set-span-property span 'insert-in-front-hooks '(span-give-warning))) (defun int-nil-lt (m n) (cond |