From 4f0ad92ab36aa4f87bc4a16cb5f7733bbef41428 Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Tue, 29 Sep 2009 17:43:18 +0200 Subject: [PATCH 1/1] Tweak the sizes of the frames in transformations a bit. Because we added an extra frame before, with its own offset, the frames used to put the transformation and conditions next to each other became a bit too big. --- Utils/Lambda.tex | 2 +- pret-trans.lua | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/Utils/Lambda.tex b/Utils/Lambda.tex index ad11419..70c583d 100644 --- a/Utils/Lambda.tex +++ b/Utils/Lambda.tex @@ -21,7 +21,7 @@ draw b; % 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] +\defineframedtext[wideboxed][background=box,frame=off,width=\textwidth,offset=.02\textwidth] % Install the lambda calculus pretty-printer, as defined in pret-lam.lua. \installprettytype [LAM] [LAM] diff --git a/pret-trans.lua b/pret-trans.lua index a96002f..1d2eb95 100644 --- a/pret-trans.lua +++ b/pret-trans.lua @@ -13,15 +13,15 @@ local vis = buffers.newvisualizer("trans") local commands = {} -- A command to create a horizontal rule. -commands.rule = "\\blackrule[height=0.5pt,depth=0pt,width=.45\\textwidth]" +commands.rule = "\\blackrule[height=0.5pt,depth=0pt,width=.40\\textwidth]" -- Pretty printer to use for the stuff before and after the line commands.before_pret = "lam" commands.after_pret = "lam" -- Frame commands to use for the left (before + line + after) and right -- (conditions) parts. Should include an opening {, which will be closed -- automatically. -commands.leftframe = "\\framed[offset=0mm,location=middle,strut=no,align=right,frame=off,width=.5\\textwidth]{\\sans" -commands.rightframe = "\\framed[offset=0mm,location=middle,strut=no,align=right,frame=off,width=.5\\textwidth]{" +commands.leftframe = "\\framed[offset=0mm,location=middle,strut=no,align=right,frame=off,width=.48\\textwidth]{\\sans" +commands.rightframe = "\\framed[offset=0mm,location=middle,strut=no,align=right,frame=off,width=.48\\textwidth]{" -- A table to keep the lines in this buffer, so we can process them all at -- once at the end. -- 2.30.2