Opened 15 years ago
Closed 13 years ago
#279 closed defect (fixed)
Proof visibility controls broken
Reported by: | David Aspinall | Owned by: | David Aspinall |
---|---|---|---|
Priority: | major | Milestone: | PG-Emacs-4.1 |
Component: | 2:pg-emacs | Keywords: | |
Cc: |
Description
With additional spans in the buffer the individual visibility control for proofs has become impossible to use. This may be possible to fix by adding some custom buttons or raising priority of overlays.
Change History (3)
comment:1 Changed 15 years ago by
Milestone: | PG-Emacs-4.0 → PG-Emacs-4.1 |
---|
comment:2 Changed 14 years ago by
Status: | new → accepted |
---|
comment:3 Changed 13 years ago by
Resolution: | → fixed |
---|---|
Status: | accepted → closed |
Note: See
TracTickets for help on using
tickets.
Visibility functionality has been restored for GNU Emacs, removing additional redisplays. A better repair of visibility is postponed. We might consider using "static" mechanisms based on hide/show or outline, instead.