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/proof-menu.el | |
| parent | 310c24324d2d4ca07ee5cc9984abbe72d2725bcc (diff) | |
pg-identifier-near-point-query: make hover span have a high priority
and self-delete.
Diffstat (limited to 'generic/proof-menu.el')
0 files changed, 0 insertions, 0 deletions