From: Matthijs Kooijman Date: Mon, 2 Nov 2009 10:54:52 +0000 (+0100) Subject: Allow transformations to be indented. X-Git-Tag: final-thesis~184 X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=72a9e027667346a15478adc8109c26a4ffd17f5e;p=matthijs%2Fmaster-project%2Freport.git Allow transformations to be indented. --- diff --git a/pret-trans.lua b/pret-trans.lua index 212c835..062eceb 100644 --- a/pret-trans.lua +++ b/pret-trans.lua @@ -26,6 +26,9 @@ commands.rightframe = "\\framed[offset=0mm,location=middle,strut=no,align=right, -- A table to keep the lines in this buffer, so we can process them all at -- once at the end. local lines +-- A counter to keep track of the mininum amount of indentation found in each +-- display. +local min_indent -- Some helper functions local function ltrim(s) @@ -66,11 +69,20 @@ function vis.begin_of_display() -- Let all the lambda pretty printing in this buffer use shared subscript -- detection buffers.visualizers.handlers.lam.begin_of_block() + min_indent = nil end function vis.begin_of_line(n) -- Don't generate output here end function vis.flush_line(str, nested) + -- Keep track of the minimum indent level of all lines. Note that we don't + -- look at empty lines, of course. + indent = utf.len(utf.match(str, "^%s*")) + -- Find the lowest indent (but don't count empty lines) + if (not min_indent or indent < min_indent) then + min_indent = indent + end + table.insert(lines, str) -- Don't generate output here end @@ -85,6 +97,12 @@ end -- We do the actual work here. Process all the lines in the buffer and -- generate output for them. function vis.end_of_display() + -- Strip indent that is present on every line + min_indent = min_indent or 0 + for i = 1,#lines do + lines[i] = utf.sub(lines[i], min_indent + 1) + end + -- Find the horizontal rule, and see how long it is. len = nil for i = 1,#lines do