On Mon, 2010-01-11 at 16:11 -0800, Jonathan Ryshpan wrote:
> The font size for printing is much too large for my taste, and there
> doesn't seem to be any convenient way to change it. A bug was filed on
> this in 2005:
> https://bugzilla.gnome.org/show_bug.cgi?id=30
> which is marked
The font size for printing is much too large for my taste, and there
doesn't seem to be any convenient way to change it. A bug was filed on
this in 2005:
https://bugzilla.gnome.org/show_bug.cgi?id=30
which is marked closed, In fact changing the font for display also
changes the font
