diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-07-30 11:57:12 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-07-30 11:57:12 +0000 |
commit | 624fd955e0a5807c2980674f635109e66efdc40f (patch) | |
tree | 370c65ff6da047862928249940c3aaa5d1bf88cf /generic/proof-menu.el | |
parent | c4c8e228283ac7ab1d6d1973d4735cb0afb94ed3 (diff) |
Use descriptions of help items to set menu tooltips (resolve trac #218)
Diffstat (limited to 'generic/proof-menu.el')
-rw-r--r-- | generic/proof-menu.el | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 2cb4b60a..55c8e5a7 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -713,7 +713,7 @@ KEY is the optional key binding." (if grp (replace-in-string nm (concat (downcase grp) ":") "") nm) "-" " ")))) -(defun proof-menu-entry-for-setting (symbol setting type) +(defun proof-menu-entry-for-setting (symbol setting type descr) (let ((entry-name (proof-menu-entry-name symbol)) (pasym (proof-ass-symv symbol))) (cond @@ -721,15 +721,16 @@ KEY is the optional key binding." (vector entry-name (proof-deftoggle-fn pasym) :style 'toggle - :selected pasym)) + :selected pasym + :help descr)) ((eq type 'integer) (vector entry-name (proof-defintset-fn pasym) - t)) + :help descr)) ((eq type 'string) (vector entry-name (proof-defstringset-fn pasym) - t))))) + :help descr))))) (defun proof-settings-vars () "Return a list of proof assistant setting variables." @@ -758,7 +759,7 @@ KEY is the optional key binding." ;;;###autoload (defun proof-defpacustom-fn (name val args) "As for macro `defpacustom' but evaluating arguments." - (let (newargs setting evalform type) + (let (newargs setting evalform type descr) (while args (cond ((eq (car args) :setting) @@ -785,6 +786,7 @@ KEY is the optional key binding." (setq newargs (cons (car args) newargs)))) (setq args (cdr args))) (setq newargs (reverse newargs)) + (setq descr (car-safe newargs)) ;; PG 3.5 patch 22.4.03: allow empty :setting, :eval, ;; because it's handy to put stuff on settings menu but ;; inspect the settings elsewhere in code. @@ -828,7 +830,7 @@ KEY is the optional key binding." (proof-assistant-invisible-command-ifposs (proof-assistant-settings-cmd (quote ,name))))))) (setq proof-assistant-settings - (cons (list name setting (eval type)) + (cons (list name setting (eval type) descr) (assq-delete-all name proof-assistant-settings))))) ;;;###autoload |