diff options
Diffstat (limited to 'Build/source/utils/asymptote/base/plain_arrows.asy')
-rw-r--r-- | Build/source/utils/asymptote/base/plain_arrows.asy | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/Build/source/utils/asymptote/base/plain_arrows.asy b/Build/source/utils/asymptote/base/plain_arrows.asy index d7d79217dd4..96a33dd5a44 100644 --- a/Build/source/utils/asymptote/base/plain_arrows.asy +++ b/Build/source/utils/asymptote/base/plain_arrows.asy @@ -629,3 +629,21 @@ frame[] fit(string prefix="", picture[] pictures, string format="", return fit2(pictures,all); } + +// Pad a picture to a specified size +frame pad(picture pic=currentpicture, real xsize=pic.xsize, + real ysize=pic.ysize, filltype filltype=NoFill) +{ + picture P; + size(P,xsize,ysize,IgnoreAspect); + draw(P,(0,0),invisible+thin()); + draw(P,(xsize,ysize),invisible+thin()); + add(P,pic.fit(xsize,ysize),(xsize,ysize)/2); + frame f=P.fit(); + if(filltype != NoFill) { + frame F; + filltype.fill(F,box(min(f),max(f)),invisible); + prepend(f,F); + } + return f; +} |