From fae9a2a46ee5def106e5afb8e3facc6120191012 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 14 Sep 2009 22:08:31 +0000
Subject: proof-span-give-warning: no message if inhibit-read-only is set

---
 generic/proof-script.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'generic/proof-script.el')

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."
-- 
cgit v1.2.3