diff options
Diffstat (limited to 'graphics/asymptote/base/plain_pens.asy')
-rw-r--r-- | graphics/asymptote/base/plain_pens.asy | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/graphics/asymptote/base/plain_pens.asy b/graphics/asymptote/base/plain_pens.asy index 2e3a4449a3..2f47855a9f 100644 --- a/graphics/asymptote/base/plain_pens.asy +++ b/graphics/asymptote/base/plain_pens.asy @@ -1,4 +1,4 @@ -real labelmargin=0.3; +real labelmargin=0.28; real dotfactor=6; pen solid=linetype(new real[]); @@ -173,7 +173,7 @@ pen fontsize(real size) real labelmargin(pen p=currentpen) { - return labelmargin*fontsize(p); + return labelmargin*fontsize(p)+0.5*linewidth(p); } void write(file file=stdout, string s="", pen[] p) |