Opened 14 years ago

Closed 13 years ago

#350 closed task (duplicate)

Report Emacs bug (was: Unicode tokens "Reveal Control/Symbol Tokens" reveals hidden text in script buffer)

Reported by: David Aspinall Owned by: David Aspinall
Priority: minor Milestone: PG-Emacs-4.2
Component: 2:pg-emacs Keywords: emacsbug
Cc:

Description

Test case: process a buffer, hide some proofs/comments containing Unicode tokens (should see ellipsis character). Enable "Reveal Tokens" and the text shown is nonsense, you see the tokens from the invisible region in order!

This is arguably a bug inside Emacs and needs reporting upstream. Overlay invisibility properties should override text property ones (Elisp manual says "Currently, all overlays take priority over text properties"). The Unicode tokens mode sets invisible property to nil, but there is an overlay overlapping the region with non-nil invisibility properties.

Seen on Emacs 23.1.1, Linux.

Change History (4)

comment:1 Changed 14 years ago by David Aspinall

Status: new → accepted

comment:2 Changed 13 years ago by David Aspinall

Milestone: PG-Emacs-4.1 → PG-Emacs-4.2
Summary: Unicode tokens "Reveal Control/Symbol Tokens" reveals hidden text in script buffer → Report Emacs bug (was: Unicode tokens "Reveal Control/Symbol Tokens" reveals hidden text in script buffer)
Type: defect → task

comment:3 Changed 13 years ago by David Aspinall

Keywords: emacsbug added

comment:4 Changed 13 years ago by David Aspinall

Resolution: → duplicate
Status: accepted → closed

See #317.

Note: See TracTickets for help on using tickets.