From 117e935923de81d878be58f742ea60549c0886ef Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Thu, 1 Oct 2009 12:39:02 +0200 Subject: [PATCH] Use width=fit for startboxed and remove startwideboxed. Using width=fit makes the correct for transformations as well, so there is no more need for a seperate full textwidth framedtext context. --- Utils/Lambda.tex | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/Utils/Lambda.tex b/Utils/Lambda.tex index 6df9857..8854cca 100644 --- a/Utils/Lambda.tex +++ b/Utils/Lambda.tex @@ -36,11 +36,7 @@ draw b; \defineoverlay[box][\useMPgraphic{box}] % Define \{start,stop}boxed with a nice metapost box around it. -\defineframedtext[boxed][background=box,frame=off] -% A boxed variant with the width forced to page width. This is used in -% \startrans, since the content somehow doesn't scale the box around it -% properly. -\defineframedtext[wideboxed][background=box,frame=off,width=\textwidth,offset=.02\textwidth] +\defineframedtext[boxed][width=fit,background=box,frame=off] % Install the lambda calculus pretty-printer, as defined in pret-lam.lua. \installprettytype [LAM] [LAM] @@ -53,7 +49,7 @@ 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=\startwideboxed,after=\stopwideboxed] +\definetyping[trans][option=TRANS,style=normal,before=\startboxed,after=\stopboxed] % Install the haskell pretty-printer, as defined in pret-haskell.lua. \installprettytype [HASKELL] [HASKELL] -- 2.30.2