From 86de6c069d01f236312c678d0f46e02abab46b01 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 3 Sep 2001 21:38:56 +0000 Subject: Use pg-set-span-helphightlights for unhighlighting. --- generic/proof-depends.el | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) (limited to 'generic') diff --git a/generic/proof-depends.el b/generic/proof-depends.el index 9be21c7d..67a1f586 100644 --- a/generic/proof-depends.el +++ b/generic/proof-depends.el @@ -8,8 +8,7 @@ ;; ;; $Id$ ;; -;; This file is based on Fiona McNeill's MSc project on -;; analysing dependencies within proofs. +;; Based on Fiona McNeill's MSc project on analysing dependencies within proofs. ;; Code rewritten by David Aspinall. ;; @@ -185,18 +184,20 @@ If LIST is empty, return a disabled menu item with NAME." (let ((span (cadar nmspans))) (set-span-property span 'face 'proof-highlight-dependent-face) (set-span-property span 'mouse-highlight nil) - (set-span-property span 'help-echo helpmsg)) + (set-span-property span 'help-echo helpmsg) + (set-span-property span 'balloon-help helpmsg)) (setq nmspans (cdr nmspans))))) (defun proof-dep-unhighlight () "Returned all highlighted spans in file to the proof-locked-face highlighting." (interactive) - ;; FIXME: not quite right! Will highlight spans in queue as locked too. + ;; FIXME: not quite right! Will highlight spans in queue as locked too, + ;; and covers too many spans. (save-excursion (let ((span (span-at (point-min) 'type))) (while span + (pg-set-span-helphighlights span 'nohighlight) (set-span-property span 'face 'proof-locked-face) - (set-span-property span 'help-echo nil) (setq span (next-span span 'type)))))) -- cgit v1.2.3