diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-07-16 22:37:36 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-07-16 22:37:36 +0000 |
| commit | 62f8e1034d6aedf92632ef07508d08e2ba13c7a0 (patch) | |
| tree | d8a989b2dff40f40e6ef908f32e92bba53ddce25 /isar/isabelle-system.el | |
| parent | 4b9ba82f7daeaa727c8ced663cdc081f7b0bd310 (diff) | |
Remove use of :help for menu tooltips- GNU Emacs only.
Diffstat (limited to 'isar/isabelle-system.el')
| -rw-r--r-- | isar/isabelle-system.el | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/isar/isabelle-system.el b/isar/isabelle-system.el index 5e23e402..538d18e9 100644 --- a/isar/isabelle-system.el +++ b/isar/isabelle-system.el @@ -291,14 +291,12 @@ for you, you should disable this behaviour." (isabelle-choose-logic nil) :active (not (proof-shell-live-buffer)) :style radio - :selected (not isabelle-chosen-logic) - :help "Switch to default logic"]) + :selected (not isabelle-chosen-logic)]) (mapcar (lambda (l) (vector l (list 'isabelle-choose-logic l) :active '(not (proof-shell-live-buffer)) :style 'radio - :selected (list 'equal 'isabelle-chosen-logic l) - :help (format "Switch to %s logic" l))) + :selected (list 'equal 'isabelle-chosen-logic l))) isabelle-logics-available))))) (unless noninteractive |