diff options
Diffstat (limited to 'Build/source/utils/asymptote/base/plain_pens.asy')
-rw-r--r-- | Build/source/utils/asymptote/base/plain_pens.asy | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Build/source/utils/asymptote/base/plain_pens.asy b/Build/source/utils/asymptote/base/plain_pens.asy index 5b0bdbd5879..fcf9d31e638 100644 --- a/Build/source/utils/asymptote/base/plain_pens.asy +++ b/Build/source/utils/asymptote/base/plain_pens.asy @@ -17,8 +17,8 @@ void defaultpen(real w) {defaultpen(linewidth(w));} pen operator +(pen p, real w) {return p+linewidth(w);} pen operator +(real w, pen p) {return linewidth(w)+p;} -pen Dotted=dotted+1.0; -pen Dotted(pen p=currentpen) {return dotted+2*linewidth(p);} +pen Dotted(pen p=currentpen) {return linetype(new real[] {0,3})+2*linewidth(p);} +pen Dotted=Dotted(); restricted pen squarecap=linecap(0); restricted pen roundcap=linecap(1); @@ -129,7 +129,7 @@ pen palegrey=palegray; pen lightgrey=lightgray; pen mediumgrey=mediumgray; pen grey=gray; -pen heavygrey=gray; +pen heavygrey=heavygray; pen deepgrey=deepgray; pen darkgrey=darkgray; |