From ba27dfb753703acfda3d7165ab2c0a334515c310 Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Tue, 25 Aug 2009 17:36:19 +0200
Subject: [PATCH] Make pret-lam work for \type{} as well.

---
 pret-lam.lua | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/pret-lam.lua b/pret-lam.lua
index eb7d353..aff6988 100644
--- a/pret-lam.lua
+++ b/pret-lam.lua
@@ -107,6 +107,10 @@ function vis.begin_of_display()
     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
-- 
2.30.2