projects
/
matthijs
/
master-project
/
report.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add labels to all chapters.
[matthijs/master-project/report.git]
/
pret-trans.lua
diff --git
a/pret-trans.lua
b/pret-trans.lua
index 6ad51b74574768036e04200f2be9b0734f60a1b2..a96002f1cb894ca9db119d60a0e9dc98464511c4 100644
(file)
--- a/
pret-trans.lua
+++ b/
pret-trans.lua
@@
-63,6
+63,9
@@
end
-- Capture all lines, without generating any output
function vis.begin_of_display()
lines = {}
-- Capture all lines, without generating any output
function vis.begin_of_display()
lines = {}
+ -- Let all the lambda pretty printing in this buffer use shared subscript
+ -- detection
+ buffers.visualizers.handlers.lam.begin_of_block()
end
function vis.begin_of_line(n)
-- Don't generate output here
end
function vis.begin_of_line(n)
-- Don't generate output here
@@
-165,6
+168,7
@@
function vis.end_of_display()
-- Clean up
lines = {}
-- Clean up
lines = {}
+ buffers.visualizers.handlers.lam.end_of_block()
end
-- vim: set sw=4 sts=4 expandtab ai:
end
-- vim: set sw=4 sts=4 expandtab ai: