diff options
Diffstat (limited to 'Master/texmf/asymptote/plain_pens.asy')
| -rw-r--r-- | Master/texmf/asymptote/plain_pens.asy | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Master/texmf/asymptote/plain_pens.asy b/Master/texmf/asymptote/plain_pens.asy index 09993d44da8..fd2dfadde68 100644 --- a/Master/texmf/asymptote/plain_pens.asy +++ b/Master/texmf/asymptote/plain_pens.asy @@ -195,9 +195,10 @@ pen font(string name, string options="") pen font(string name, real size, string options="") { + string s=(string) (size/pt)+"pt"; if(settings.tex == "context") - return fontsize(size)+font(name+","+(string) size+"pt",options); - return fontsize(size)+font(name+" at "+(string) size+"pt"); + return fontsize(size)+font(name+","+s,options); + return fontsize(size)+font(name+" at "+s); } pen font(string encoding, string family, string series, string shape) |