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 David Aspinall

Status: newaccepted

comment:2 Changed 13 years ago by David Aspinall

Milestone: PG-Emacs-4.1PG-Emacs-4.2
Type: enhancementtask

comment:3 Changed 12 years ago by David Aspinall

Milestone: PG-Emacs-4.2PG-Emacs-4.3
Note: See TracTickets for help on using tickets.