diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-09 00:43:52 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-09 00:43:52 +0000 |
commit | 86b4353fe9d779a83f0b39b98f44bac7d2e154be (patch) | |
tree | 281ebff4ee38fdf2be502627dda5174a6a041eec /generic | |
parent | 6a835d130f0f5a8fad9c709081ecb344b0d37564 (diff) |
proof-shell-quiet-errors: move to user opts custom group
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-config.el | 7 | ||||
-rw-r--r-- | 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. |