change legend font when plotting
I would like to ask are there any ways to change the font of the legend? I searched the document and only found the option "legend_font_family", which can be sans-serif, serif or other name. However, I don't want to use the default font defined in system.
legend handling is done in the .matplotlib method of Graphics objects; you can see the source code at http://hg.sagemath.org/sage-main/file/c239be1054e0/sage/plot/plot.py#l2009 To use a different font, I guess you'll have to see how matplot lib gets its font.