diff options
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 97ffbf8d..7472743b 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -131,7 +131,8 @@ scripting buffer may have an active queue span.") (defun proof-span-give-warning (&rest args) "Give a warning message. Optional argument ARGS is ignored." - (message "You should not edit here!")) + (unless inhibit-read-only + (message "You should not edit here!"))) (defun proof-span-read-only (span &optional always) "Make SPAN read-only, following variable `proof-strict-read-only' or ALWAYS." |