diff options
Diffstat (limited to 'Build/source/utils/asymptote/pen.h')
-rw-r--r-- | Build/source/utils/asymptote/pen.h | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/Build/source/utils/asymptote/pen.h b/Build/source/utils/asymptote/pen.h index 6f4e6701fbe..164698b8b68 100644 --- a/Build/source/utils/asymptote/pen.h +++ b/Build/source/utils/asymptote/pen.h @@ -15,6 +15,9 @@ namespace camp { +static const double tex2ps=72.0/72.27; +static const double ps2tex=1.0/tex2ps; + static const string DEFPAT="<default>"; static const string DEFLATEXFONT="\\usefont{\\ASYencoding}{\\ASYfamily}{\\ASYseries}{\\ASYshape}"; static const string DEFCONTEXTFONT="modern"; @@ -399,11 +402,11 @@ public: // Work around misalignment in ConTeXt switchtobodyfont if font is not found. if(texengine == "context") buf << "\\switchtobodyfont[" - << DEFCONTEXTFONT << "," << size() + << DEFCONTEXTFONT << "," << size()*ps2tex << "pt]\\removeunwantedspaces%" << newl; else buf << "\\font\\ASYfont=" << DEFTEXFONT - << " at " << size() << "pt\\ASYfont"; + << " at " << size()*ps2tex << "pt\\ASYfont"; return buf.str(); } } |