diff options
| author | David Aspinall | 2009-09-21 11:11:45 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-21 11:11:45 +0000 |
| commit | a69245201977abce4dfa8fdbddc21eaff3953d20 (patch) | |
| tree | ac434fbe3e8ce8ae803e0c274fe9c145ed3852fd /generic | |
| parent | 310c24324d2d4ca07ee5cc9984abbe72d2725bcc (diff) | |
pg-identifier-near-point-query: make hover span have a high priority
and self-delete.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/pg-user.el | 4 |
1 files changed, 3 insertions, 1 deletions
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))))))))) |