From: Matthijs Kooijman Date: Fri, 6 Nov 2009 10:58:25 +0000 (+0100) Subject: Automatically strip leading whitespace from all typing environments. X-Git-Tag: final-thesis~168 X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=42a5dbd086e55750ef22c8c989f2a7ec474815c5;p=matthijs%2Fmaster-project%2Freport.git Automatically strip leading whitespace from all typing environments. This is a new feature in ConTeXt, that replaces my custom code in the pretty printers. --- diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex index 2d82716..8879ba9 100644 --- a/Chapters/Normalization.tex +++ b/Chapters/Normalization.tex @@ -7,9 +7,9 @@ % space at the start of the frame. \define[1]\example{ \framed[offset=1mm,align=right,strut=no,background=box,frame=off]{ - \setuptyping[option=LAM,style=sans,before=,after=] + \setuptyping[option=LAM,style=sans,before=,after=,strip=auto] \typebuffer[#1] - \setuptyping[option=none,style=\tttf] + \setuptyping[option=none,style=\tttf,strip=auto] } } diff --git a/Utils/Lambda.tex b/Utils/Lambda.tex index 4d9de33..12aea73 100644 --- a/Utils/Lambda.tex +++ b/Utils/Lambda.tex @@ -60,9 +60,9 @@ draw b; % Install the lambda calculus pretty-printer, as defined in pret-lam.lua. \installprettytype [LAM] [LAM] % Define \startlambda \stoplambda -\definetyping[lambda][option=LAM,style=sans,before=\startboxed,after=\stopboxed] +\definetyping[lambda][option=LAM,style=sans,before=\startboxed,after=\stopboxed,strip=auto] % Define \startunboxedlambda \stopunboxedlambda -\definetyping[unboxedlambda][option=LAM,style=sans] +\definetyping[unboxedlambda][option=LAM,style=sans,strip=auto] % Define \lam{} (since \lambda is taken) \definetype[lam][option=LAM,style=sans] @@ -70,12 +70,12 @@ draw b; % Install the transformation pretty-printer, as defined in pret-trans.lua. \installprettytype [TRANS] [TRANS] % Define \starttrans \stoptrans -\definetyping[trans][option=TRANS,style=normal,before=\startboxed,after=\stopboxed] +\definetyping[trans][option=TRANS,style=normal,before=\startboxed,after=\stopboxed,strip=auto] % Install the haskell pretty-printer, as defined in pret-haskell.lua. \installprettytype [HASKELL] [HASKELL] % Define \starthaskell \stophaskell -\definetyping[haskell][option=HASKELL,before=\startboxed,after=\stopboxed] +\definetyping[haskell][option=HASKELL,before=\startboxed,after=\stopboxed,strip=auto] % Define \hs \definetype[hs][option=HASKELL,style=mono]