On Wed, May 11, 2005 at 04:28:02PM +0100, Angus Leeming wrote: > Hmmmm. Rather than process all pending draw events fully, is it sufficient > to process the last draw event and discard the earlier ones? Ie, we should > be computing the metrics() on each page-down, but we should draw() only if
Since we're doing full redraws, sure. john >