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 | |
| parent | 5a431d21f2f349091292706ce67ab653fef31a25 (diff) | |
Added prefixes in custom defgroups.
| -rw-r--r-- | generic/proof-config.el | 12 | ||||
| -rw-r--r-- | generic/proof-site.el | 6 |
2 files changed, 12 insertions, 6 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-") ;; diff --git a/generic/proof-site.el b/generic/proof-site.el index c11a76c0..0b4eb909 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -21,7 +21,8 @@ (defgroup proof nil "Customization of Proof General." :group 'external - :group 'processes) + :group 'processes + :prefix "proof-") ;; This customization group gathers together @@ -31,7 +32,8 @@ ;; user-level customization, so this group does ;; not belong to 'proof (or any other group). (defgroup proof-internal nil - "Customization of Proof General internals.") + "Customization of Proof General internals." + :prefix "proof-") ;; Master table of supported assistants. |