I'm going to make skins a compile time option, default off. Nobody is using
the option right now as far as I know. The original plan was for user font
support, but we have a better mechanism in place now. It can still be used
to produce minimal versions of Plucker and add-on skins with new icon looks,
etc., if anybody is interested.
I am strongly tempted to think we should remove autoscroll-by-page and
autoscroll-backwards support. Is anybody autoscrolling backwards? (It'd be
slow since my bottom line cache won't help then.) Is anybody autoscrolling
a page at a time? (Unlikely since the slowest autoscroll speed would still
be too fast for reading a whole page.)
Mike, should this be removed?
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
