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.
Regards.
--
Henri Doreau
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.
Best regards,
Lorenzo