Make pret-lam work for \type{} as well.

diff --git a/pret-lam.lua b/pret-lam.lua
index eb7d3530395529a0b6ce1b934a4aa6ce4b38c467..aff6988d8af774ef8f1e1021f954ed3f34e786d9 100644 (file)
--- a/pret-lam.lua
+++ b/pret-lam.lua
@@ -107,6 +107,10 @@ function vis.begin_of_display()
     bases = {}
 end
 
     bases = {}
 end
 

+-- Make things work for inline typeing (e.g., \type{}) as well.
+vis.begin_of_inline = vis.begin_of_display
+vis.end_of_inline = vis.end_of_display
+

 function vis.flush_line(str,nested)
     local result, state = { }, 0
     local finish, change = buffers.finish_state, buffers.change_state
 function vis.flush_line(str,nested)
     local result, state = { }, 0
     local finish, change = buffers.finish_state, buffers.change_state