On Mon, 19 Apr 2004, Wesley Mason wrote:
> That'd just be silly since it's still in the prc. Why not give an
> option of multiple mono fonts to choose from? Also, if I use your
> method, it only works if I turn off the 'pre' tag so it won't use the
> mono font. And if someone doesn't have a mono font selected for that
> pluck, the whole thing turns into a mess.
Not at all. PalmFontConv lets you specify what font is used for rendering
mono text, what font is used for rendering bold, what font is used for
rendering italic, etc. If you just put in a mono font, the other fonts
will default to defaults.
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
