On Wed, 11 Jun 2003, Rafael Barbera wrote:
> I have tested with others long documents (like the Palm OS API reference
> ;-), and the results are very good. In this long documents (well formated
> ones), the great amount of data that fits in one screen also make that you
> can feel how Plucker is "looking for the spot", taking between half and one
> second between page downs.
This is relevant to my request that PyPlucker should allow one to pipe
files read through a specified command, or better yet through a
sequence of specified pipes. Then, to fix this problem, one could
pipe the files through:
sed "s/<[bB][rR]>/<p>/g"
(I think the rest of the distiller doesn't mind just a <p> instead of
<p>...</p>.)
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
