Re: [dev][surf] [PATCH] Added default font size setting.

From: Christoph Lohmann <20h_AT_r-36.net>
Date: Thu, 14 Mar 2013 06:35:30 +0100

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