> I don't think I understand this suggestion, David. The HTML specifies
> the various fonts; I'm not sure what overriding it on the command line
> would add.
I am suggesting we store the default font that Plucker *DISPLAYS*
the content in, not the font that the original HTML presented at gather
time.
> Are you suggesting this just for text files? In that case, I think it
> would be better to keep them as they are, and allow the user to adjust
> the UI in the viewer (via the preferences) to select an appropriate
> font.
My goal was to set it at pluck time, to set a default font, which
can be overridden via Preferences. If no font is specified at pluck time,
the generic Standard font is used.
/d
