At Fri, 17 Apr 2009 13:48:57 -0700, John Clements wrote:
> 2) Pasting text from one buffer into another is a particular problem,  
> often taking many seconds.

I think I've fixed this part.

The default on the `overwrite-styles?' argument of `read-from-file'
(which is also used for pasting from the clipboard) was backward
compared the old implementation (because it was documented wrong),
causing lots of unnecessary style notifications and size recalculations
on each paste.

_________________________________________________
  For list-related administrative tasks:
  http://list.cs.brown.edu/mailman/listinfo/plt-dev

Reply via email to