Opened 15 years ago
Closed 12 years ago
#272 closed enhancement (wontfix)
Port identifier completion code from PG Eclipse.
| Reported by: | David Aspinall | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | minor | Milestone: | PG-Emacs-4.2 |
| Component: | 2:pg-emacs | Keywords: | |
| Cc: |
Description
This would be very useful for Isabelle, which already supports the required PGIP commands to query available identifiers. Additionally, names of processed files are passed back to PG which could trigger table updating (perhaps in a lazy fashion).
Change History (3)
comment:1 Changed 14 years ago by
| Status: | new → accepted |
|---|
comment:2 Changed 13 years ago by
| Milestone: | PG-Emacs-4.1 → PG-Emacs-4.2 |
|---|
comment:3 Changed 12 years ago by
| Resolution: | → wontfix |
|---|---|
| Status: | accepted → closed |
Note: See
TracTickets for help on using
tickets.
Discarding unless someone else picks up. Let's leave the newer interfaces to enjoy this as an advantage.