José Matos wrote:
On Thursday 07 June 2007 15:12:47 Richard Heck wrote:
Comments? OK?
I was expecting other feedback. Since the patch is trivial and no one objected
you have my OK. :-)
Me too. ;-)
Bo Peng wrote:
The issue here is that middle-click of external material pastes where
the cursor WAS, not where one clicks.
Really? If so, it is a bug that should be fixed. The patch looks OK to
me.
OK. Committed.
Richard
--
==================================================================
Richard G Heck, Jr
Professor of Philosophy
Brown University
http://frege.brown.edu/heck/
==================================================================
Get my public key from http://sks.keyserver.penguin.de
Hash: 0x1DE91F1E66FFBDEC
Learn how to sign your email using Thunderbird and GnuPG at:
http://dudu.dyn.2-h.org/nist/gpg-enigmail-howto
