From 338c53d61904457bed0a34c50650cbd24fce1dec Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 24 May 2003 11:10:45 +0000
Subject: Add pg-show-hints

---
 generic/proof-config.el | 5 +++++
 1 file changed, 5 insertions(+)

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
-- 
cgit v1.2.3