本当に久しぶりのPlots.jlのGRバックエンドのアトリビュートを紹介するだけのこのシリーズ。 今回はdpiとsizeです。 sizeはともかくこのdpiはほぼpngファイルしか関係のないアトリビュートです。 sizeアトリビュート sizeアトリビュートはグラフ全体の大きさ…