From 62f8e1034d6aedf92632ef07508d08e2ba13c7a0 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 16 Jul 2008 22:37:36 +0000 Subject: Remove use of :help for menu tooltips- GNU Emacs only. --- isar/isabelle-system.el | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'isar') 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 -- cgit v1.2.3