From a69245201977abce4dfa8fdbddc21eaff3953d20 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 21 Sep 2009 11:11:45 +0000
Subject: pg-identifier-near-point-query: make hover span have a high priority
 and self-delete.

---
 generic/pg-user.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/pg-user.el b/generic/pg-user.el
index 4eb0dda7..15daa709 100644
--- a/generic/pg-user.el
+++ b/generic/pg-user.el
@@ -991,7 +991,9 @@ The function `substitute-command-keys' is called on the argument."
 	 (lexical-let ((s start) (e end))
 	   (lambda (x)
 	     (let ((idspan (span-make s e)))
-	       ;; TODO: clean these up!
+	       (span-set-property idspan 'priority 90) ; highest
+	       (span-set-property idspan 'modification-hooks
+				  (list 'pg-delete-self-modification-hook))
 	       (span-set-property idspan 'help-echo
 				  (pg-last-output-displayform)))))))))
 
-- 
cgit v1.2.3