Re: [dev][surf] [PATCH] Added default font size setting.
Greetings.
On Thu, 14 Mar 2013 06:35:30 +0100 Alexander Sedov <alex0player_AT_gmail.com> wrote:
> Added font size option, because I think it's pretty common and useful.
> Full-featured font options are probably not worth doing, though.
Thanks for sending the patch. It’s applied in a modified way.
Sincerely,
Christoph Lohmann
Received on Thu Mar 14 2013 - 06:35:30 CET
This archive was generated by hypermail 2.3.0
: Thu Mar 14 2013 - 06:48:06 CET