summaryrefslogtreecommitdiff
path: root/Build/source/utils/asymptote/base/plain_pens.asy
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/utils/asymptote/base/plain_pens.asy')
-rw-r--r--Build/source/utils/asymptote/base/plain_pens.asy5
1 files changed, 3 insertions, 2 deletions
diff --git a/Build/source/utils/asymptote/base/plain_pens.asy b/Build/source/utils/asymptote/base/plain_pens.asy
index 09993d44da8..fd2dfadde68 100644
--- a/Build/source/utils/asymptote/base/plain_pens.asy
+++ b/Build/source/utils/asymptote/base/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)