Greetings. On Thu, 14 Mar 2013 06:35:30 +0100 Alexander Sedov <[email protected]> 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
