> First, I am new to the list, I looked around but couldn't find
> anything. Is there any way to search the archives short of downloading
> all of them and grepping?
Not yet. I would like to find the time to implement a search feature,
but I have no idea when that might be.
> Second, I am looking for an easy way to globally replace the note text
> font. [...]
> Changing the default at the document settings level does not seem to
> change everything
The preference settings will globally change the font used in new notes,
but don't change the typography in notes that already exist.
Received on Fri Dec 3 14:39:48 2004
This archive was generated by hypermail 2.1.8 : Wed Dec 14 2005 - 10:45:20 EST