Opened 16 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 16 years ago by
comment:2 Changed 15 years ago by
Status: | new → accepted |
---|
Thanks for reporting. Known issue but it's handy to have the ticket.
comment:3 Changed 15 years ago by
Resolution: | → fixed |
---|---|
Status: | accepted → closed |
This has been fixed in CVS now (since about May this year, actually).
Note: See
TracTickets for help on using
tickets.
Missed the wiki superscript formatting, I meant I get
^AFxs^AA
where^A
is a control character.