diff options
author | Karl Berry <karl@freefriends.org> | 2009-07-15 00:43:13 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2009-07-15 00:43:13 +0000 |
commit | 181c66eec8ef64814280c5d11c6e4f92edc6c12d (patch) | |
tree | 52b0378314b83173765ad3bd3f9c1a2f7119686f /Master/texmf/asymptote/plain_pens.asy | |
parent | e355922861e2bc91176c058d563d477444c2dfd9 (diff) |
asymptote 1.81 install
git-svn-id: svn://tug.org/texlive/trunk@14263 c570f23f-e606-0410-a88d-b1316a301751
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) |