diff options
| author | David Aspinall | 1998-10-29 15:35:41 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-29 15:35:41 +0000 |
| commit | df1798ff9c879212b718b4f026b439a0beb7eeda (patch) | |
| tree | 60892af9a055dc36a1eb41af20fa648d32fcd523 /generic/proof-config.el | |
| parent | 5a431d21f2f349091292706ce67ab653fef31a25 (diff) | |
Added prefixes in custom defgroups.
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 5b422776..1d501da1 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -91,7 +91,8 @@ If ignore, point is never moved after toolbar movement commands." (defgroup proof-faces nil "Faces used by Proof General." - :group 'proof) + :group 'proof + :prefix "proof-") (defface proof-queue-face @@ -180,7 +181,8 @@ Could come either from proof assistant or Proof General itself." (defgroup prover-config nil "Configuration of Proof General for the prover in use." - :group 'proof-internal) + :group 'proof-internal + :prefix "proof-") ;; The variables in the "prover-config" (NB: not "proof config"!!) ;; customize group are those which are intended to be set by the @@ -307,7 +309,8 @@ This variable should be set before requiring proof.el" (defgroup proof-script nil "Proof General configuration of scripting buffer mode." - :group 'prover-config) + :group 'prover-config + :prefix "proof-") (defcustom proof-terminal-char nil @@ -435,7 +438,8 @@ This is used to handle nested goals allowed by some provers." (defgroup proof-shell nil "Settings for output from the proof assistant in the proof shell." - :group 'prover-config) + :group 'prover-config + :prefix "proof-") ;; |