diff options
author | Stefan Monnier <monnier@iro.umontreal.ca> | 2014-06-06 17:25:29 +0000 |
---|---|---|
committer | Stefan Monnier <monnier@iro.umontreal.ca> | 2014-06-06 17:25:29 +0000 |
commit | 9b0462a9bb6a34df97515f7a64d4639a7960de0f (patch) | |
tree | e038528f4cc0299728cea8350cb729fb32e43e5d /generic/pg-user.el | |
parent | b9c06ced8e899854d06314b52d0182e123775afc (diff) |
Don't mess with overlay priorities.
Diffstat (limited to 'generic/pg-user.el')
-rw-r--r-- | generic/pg-user.el | 6 |
1 files changed, 3 insertions, 3 deletions
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'.") |