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-extent.el | |
| parent | 8eccb1871f63583d3235b8e619629adfad40e2f9 (diff) | |
Fixes so that proof-strict-read-only can be toggled within a session (via restart).
Diffstat (limited to 'generic/span-extent.el')
| -rw-r--r-- | generic/span-extent.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/span-extent.el b/generic/span-extent.el index 597d262a..a84f91c9 100644 --- a/generic/span-extent.el +++ b/generic/span-extent.el @@ -51,6 +51,7 @@ "Give a warning message when SPAN is changed." ;; FIXME: implement this in XEmacs, perhaps with after-change-functions ;; + (set-span-property span 'read-only nil) ) (defsubst span-property (span name) |