Scrolling in the library is very slow (especially with an aa-font) because
for every line scrolled the whole display is redrawn. A hopefully simple
solution is to shift the display up/down, set the clipping appropriately,
and don't bother redrawing rows that don't intersect the clipping
rectangle. Any thoughts, objections, alternatives?
Alex
--
Dr. Alexander R. Pruss || e-mail: [EMAIL PROTECTED]
Philosophy Department || online papers and home page:
Georgetown University || www.georgetown.edu/faculty/ap85
Washington, DC 20057 ||
U.S.A. ||
-----------------------------------------------------------------------------
"Philosophiam discimus non ut tantum sciamus, sed ut boni efficiamur."
- Paul of Worczyn (1424)
_______________________________________________
plucker-dev mailing list
[EMAIL PROTECTED]
http://lists.rubberchicken.org/mailman/listinfo/plucker-dev
