Here would be a useful feature. Before automatically deleting an out of
date metadocument, Plucker could check if there are any bookmarks (or
annotations, if these are going to be in the metadocument, which isn't
perhaps such a bad idea if this feature is implemented) in it, and if so,
put up a warning asking whether to delete and continue, or exit the
document.
In a separate utility, we can then provide a way to export data out of the
metadocument. The utility could be just on the desktop.
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
