2011/10/25 Henri Doreau <henri.dor...
> It would be very convenient to have options to set the font and the
> size of the labels in graph legends.
> The trivial patch attached is a proposal to do so, I hope that this is
> the correct place to submit it.
Thank you very much for your patch. The preferred way to submit it is
to fork the bitbucket Pycha repository, do your commits in your fork
and then issue a pull request. That way the patch won't get lost and
the authorship information will get into pycha repository history.