The Coq mailing list

[Ezra Cooper <e.e.k.cooper AT sms.ed.ac.uk>]

Eugene Kirpichov wrote:
> Probably I am a bit atypical since I prefer vim :)
> Actually, I had already installed emacs and started to install Proof
> General when Eric Jaeger told me that it I can drag and drop that text
> into the editor window, where it becomes copyable. So, the problem is
> solved, but thanks anyway :)

Also, as I just discovered, you can middle-click to paste text from the 
other panes. This goes for text that is selected within those panes as 
well as that which was copied (using the Copy command).

The fact that the Paste command does not paste such text is somewhat 
bizarre. It does work, after all, for text copied from within the file 
tabs. Why should the other panes copy to a different clipboard?

Ezra


--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.