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 ------- 1 file changed, 7 deletions(-) (limited to 'generic/proof-config.el') 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. ;; -- cgit v1.2.3