Opened 15 years ago

Closed 15 years ago

#258 closed defect (fixed)

Copying from response buffer also copies colour control chars

Reported by: RafalKolanski Owned by: David Aspinall
Priority: major Milestone: PG-Emacs-4.0
Component: 2:pg-emacs Keywords: copy, paste, color, colour, isabelle
Cc:

Description

In the latest CVS (updated Oct 28th, but problem existed previously):

If I copy something colourful from the response buffer, like say a green "xs", when I paste it into the proof (text) buffer, I'll get something like AFxsAA.

Copying subgoals out of the response buffer and proving them as separate (generalised) lemmas is a common use-case for me.

I'm using Isabelle/HOL.

Change History (3)

comment:1 Changed 15 years ago by RafalKolanski

Missed the wiki superscript formatting, I meant I get ^AFxs^AA where ^A is a control character.

comment:2 Changed 15 years ago by David Aspinall

Status: newaccepted

Thanks for reporting. Known issue but it's handy to have the ticket.

comment:3 Changed 15 years ago by David Aspinall

Resolution: fixed
Status: acceptedclosed

This has been fixed in CVS now (since about May this year, actually).

Note: See TracTickets for help on using tickets.