Opened 10 years ago

Closed 9 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 10 years ago by David Aspinall

Status: newaccepted

comment:2 Changed 10 years ago by David Aspinall

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

comment:3 Changed 10 years ago by David Aspinall

Keywords: emacsbug added

comment:4 Changed 9 years ago by David Aspinall

Resolution: duplicate
Status: acceptedclosed

See #317.

Note: See TracTickets for help on using tickets.