On Mon, 08 Apr 2013 19:54:52 +0100, Michael Drake wrote: > The core handling of Ctrl-V is the only supported way of pasting. > > When you select "Paste" in a menu, the front end should be implementing it > by passing Ctrl-V to the core.
Oh yes, I didn't realise KEY_PASTE = ASCII 22 = Ctrl-V (until I looked it up) I still think the double-pasting would be the frontend interpreting it directly as a KEY_PASTE *and* passing the original key press as well. Chris