These are chat archives for jheinen/GR.jl

18th
Aug 2017
Josef Heinen
@jheinen
Aug 18 2017 09:21
@zjroth : the documentation explains the pure GR part (setcharheight) whereas _gr_point_mult is specific to the Plots gr() backend. The idea was to use a font sizing that leads to reasonable results for both wide and long window formats (landscape vs. portrait). We probably have to find a more convenient solution ...