diff options
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'.") |