Opened 13 years ago
Last modified 12 years ago
#364 accepted task
Unify proof-query-identifier and pg-identifier-near-point-query (cleanup)
Reported by: | David Aspinall | Owned by: | David Aspinall |
---|---|---|---|
Priority: | trivial | Milestone: | PG-Emacs-4.3 |
Component: | 2:pg-emacs | Keywords: | |
Cc: |
Description
These functions are almost the same, except that the latter adds a temporary span in the script buffer which has a hover with the info in it. If we keep track of whether the string has come from the buffer or not, we could unify the two.
Change History (3)
comment:1 Changed 13 years ago by
Status: | new → accepted |
---|
comment:2 Changed 13 years ago by
Milestone: | PG-Emacs-4.1 → PG-Emacs-4.2 |
---|---|
Type: | enhancement → task |
comment:3 Changed 12 years ago by
Milestone: | PG-Emacs-4.2 → PG-Emacs-4.3 |
---|
Note: See
TracTickets for help on using
tickets.