From 9b0462a9bb6a34df97515f7a64d4639a7960de0f Mon Sep 17 00:00:00 2001 From: Stefan Monnier Date: Fri, 6 Jun 2014 17:25:29 +0000 Subject: Don't mess with overlay priorities. --- generic/pg-user.el | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'generic/pg-user.el') diff --git a/generic/pg-user.el b/generic/pg-user.el index 10e27da9..57319ca7 100644 --- a/generic/pg-user.el +++ b/generic/pg-user.el @@ -875,9 +875,9 @@ a popup with the information in it." (lambda (x) (save-excursion (let ((idspan (span-make s e))) - (span-set-property idspan 'priority 90) ; highest - (span-set-property idspan 'help-echo - (pg-last-output-displayform)))))))))) + ;; (span-set-property idspan 'priority 90) ; highest + (span-set-property idspan 'help-echo + (pg-last-output-displayform)))))))))) (defvar proof-query-identifier-history nil "History for `proof-query-identifier'.") -- cgit v1.2.3