From: Matthijs Kooijman Date: Fri, 6 Nov 2009 15:24:41 +0000 (+0100) Subject: Enable indent stripping for \typebufferlam and \typebufferhs. X-Git-Tag: final-thesis~166 X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=f60e17f818e16c9c2dd91dbbf2ecc25b802326cf;p=matthijs%2Fmaster-project%2Freport.git Enable indent stripping for \typebufferlam and \typebufferhs. --- diff --git a/Utils/Lambda.tex b/Utils/Lambda.tex index 12aea73..41977e0 100644 --- a/Utils/Lambda.tex +++ b/Utils/Lambda.tex @@ -84,12 +84,12 @@ draw b; \define[1]\typebufferlam{ % We can't use \startlambda here defined by definetyping[lambda] above when % typing buffers, so instead we'll redfine the options here. - \setuptyping[option=LAM,style=sans,before=,after=] + \setuptyping[option=LAM,style=sans,before=,after=,strip=auto] \startboxed \typebuffer[#1] \stopboxed % Reset the typing options - \setuptyping[option=none,style=\tttf] + \setuptyping[option=none,style=\tttf,strip=auto] } % Type the given buffer with the haskell typing style. @@ -97,12 +97,12 @@ draw b; \define[1]\typebufferhs{ % We can't use \startlambda here defined by definetyping[lambda] above when % typing buffers, so instead we'll redfine the options here. - \setuptyping[option=HASKELL,style=mono] + \setuptyping[option=HASKELL,style=mono,strip=auto] \startboxed \typebuffer[#1] \stopboxed % Reset the typing options - \setuptyping[option=none,style=\tttf] + \setuptyping[option=none,style=\tttf,strip=auto] } % Display a useMPgraphic in a pretty box