[plt-dev] JFYI editor performance note

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Fri Apr 17 18:54:10 EDT 2009

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.

Posted on the dev mailing list.