These are chat archives for jheinen/GR.jl

22nd
Aug 2017
zjroth
@zjroth
Aug 22 2017 15:24
Thanks, @jheinen. I ended up modifying the 1.5 to 1.25, which usually gives me the exact font size I was requesting in Plots (on my current system, at least). That'll do for now.