Nevermind my icon request. I put the annotation create option in the bookmark dropdown menu instead. It makes sense since soon bookmarks will simply be a special kind of annotation (one with ANNOTATION_HIDDEN and ANNOTATION_BOOKMARK set).

--
Alexander R. Pruss
Associate Professor
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

Reply via email to