Word tapping, bookmark, textifying all end up uncompressing the record even
if it has already been uncompressed. On an ARM unit with the ARM syszlib it
takes only a fraction of a second more, but on other units it no doubt takes
longer, and it is a touch annoying on the ARM unit (makes the word tapping
not work as nicely as it could). I'm going to check, either in uncompress.c
or document.c, whether the current record is already uncompressed.
Alex
--
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)
_______________________________________________
plucker-dev mailing list
[EMAIL PROTECTED]
http://lists.rubberchicken.org/mailman/listinfo/plucker-dev
