Opened 15 years ago
Closed 13 years ago
#275 closed task (wontfix)
Overhaul script management command sending
| Reported by: | David Aspinall | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | major | Milestone: | PG-Emacs-4.2 |
| Component: | 2:pg-emacs | Keywords: | |
| Cc: |
Description
Script management command sending should be generalised to:
- allow several commands to be queued at once (ideally, allowing Coq's old protocol of reporting back the number that succeeded)
- simplify undo calculation mechanisms
Change History (2)
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 |
|---|---|
| Resolution: | → wontfix |
| Status: | accepted → closed |
| Type: | enhancement → task |
Note: See
TracTickets for help on using
tickets.
