From 86b4353fe9d779a83f0b39b98f44bac7d2e154be Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 9 Sep 2009 00:43:52 +0000
Subject: proof-shell-quiet-errors: move to user opts custom group

---
 generic/proof-config.el   | 7 -------
 generic/proof-useropts.el | 6 ++++++
 2 files changed, 6 insertions(+), 7 deletions(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 41a5b5e9..4f6d8ece 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -1063,15 +1063,8 @@ The function is passed the span and the command as arguments."
   :type 'function
   :group 'proof-shell)
 
-(defcustom proof-shell-quiet-errors nil
-  "If non-nil, be quiet about errors from the prover.
-Normally error messages cause a beep.  Set this to nil to prevent that."
-  :type 'boolean
-  :group 'proof-shell)
-
 ;; (defcustom  proof-shell-adjust-line-width-cmd nil
 
-
 ;;
 ;; 5b. Regexp variables for matching output from proof process.
 ;;
diff --git a/generic/proof-useropts.el b/generic/proof-useropts.el
index a48c81ab..bb3c87cb 100644
--- a/generic/proof-useropts.el
+++ b/generic/proof-useropts.el
@@ -88,6 +88,12 @@ terminator somewhere nearby.  Electric!"
   :type 'boolean
   :group 'proof-user-options)
 
+(defcustom proof-shell-quiet-errors nil
+  "If non-nil, be quiet about errors from the prover.
+Normally error messages cause a beep.  Set this to t to prevent that."
+  :type 'boolean
+  :group 'proof-user-options)
+
 ;; FIXME: next one could be integer value for catchup delay
 (defcustom proof-trace-output-slow-catchup t
   "*If non-nil, try to redisplay less often during frequent trace output.
-- 
cgit v1.2.3