Jürgen Spitzmüller wrote:
Bo Peng wrote:
So shall I commit?
The patch looks reasonable to me.
It might be that this is the sledgehammer, and that there's a more fine
grained solution than updating everything on buffer switch. OTOH I don't know
why we shouldn't do that.
This is costly, but probably not practically problematic. Buffer switch
is relatively rare.
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
