To optimize word lookup responsiveness (how quickly the highlight shows up
on screen), one wants to minimize the amount of re-rendering that is done in
response to a tap. Here's a patch that does that. Comments are welcome!
--
Dr. Alexander R. Pruss
Department of Philosophy
Georgetown University
Washington, DC 20057-1133 U.S.A.
e-mail: [EMAIL PROTECTED]
online papers and home page: www.georgetown.edu/faculty/ap85
--------------------------------------------------------------------------
"Philosophiam discimus non ut tantum sciamus, sed ut boni efficiamur."
- Paul of Worczyn (1424)
optLookupDiff
Description: Binary data
