Opened 16 years ago
Last modified 12 years ago
#169 assigned enhancement
Complete buffer history enhancement
| Reported by: | Proof General Developer | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | major | Milestone: | PG-Emacs-4.3 |
| Component: | 2:pg-emacs | Keywords: | |
| Cc: |
Description
The buffer history addition is not quite ready, so pulled from 3.7. The ring management needs some logic fixes, and the interface should be made compatible with XEmacs and enhanced to allow dynamic switch on/off and obey saved option.
Change History (6)
comment:1 Changed 16 years ago by
| Status: | new → assigned |
|---|
comment:2 Changed 16 years ago by
| Milestone: | PG-Emacs-3.7.1 → PG-Emacs-3.7.2 |
|---|
comment:3 Changed 16 years ago by
| Milestone: | PG-Emacs-3.7.2 → PG-Emacs-4.0 |
|---|
comment:4 Changed 15 years ago by
| Milestone: | PG-Emacs-4.0 → PG-Emacs-4.1 |
|---|
comment:5 Changed 13 years ago by
| Milestone: | PG-Emacs-4.1 → PG-Emacs-4.2 |
|---|
comment:6 Changed 12 years ago by
| Milestone: | PG-Emacs-4.2 → PG-Emacs-4.3 |
|---|
Note: See
TracTickets for help on using
tickets.
Moving this back again. The history recording needs improvement, and placement of buttons in the buffer needs to be coordinated with functions for writing text.