diff options
| author | David Aspinall | 2003-05-24 11:10:45 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-05-24 11:10:45 +0000 |
| commit | 338c53d61904457bed0a34c50650cbd24fce1dec (patch) | |
| tree | 97b65433c48540b89c90da390a146eb84eab8f2a | |
| parent | 37192357bfd5e245335a822fedbeb9fd5d30540c (diff) | |
Add pg-show-hints
| -rw-r--r-- | generic/proof-config.el | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index d221288e..43ed5098 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -123,6 +123,11 @@ support depends on whether your proof assistant supports it." :set 'proof-set-value :group 'proof-user-options) +(defcustom pg-show-hints t + "*Whether to display keyboard hints in the minibuffer." + :type 'boolean + :group 'proof-user-options) + (defcustom proof-output-fontify-enable t "*Whether to fontify output from the proof assistant. If non-nil, output from the proof assistant will be highlighted |