commit 34f0aedabc7ff0af353dd669e571f443834e063e
Author: Juergen Spitzmueller <[email protected]>
Date: Thu Oct 27 18:11:28 2016 +0200
Handle | verbatim in index insets.
---
lib/layouts/stdinsets.inc | 1 +
1 files changed, 1 insertions(+), 0 deletions(-)
diff --git a/lib/layouts/stdinsets.inc b/lib/layouts/stdinsets.inc
index fb74215..af5bc16 100644
--- a/lib/layouts/stdinsets.inc
+++ b/lib/layouts/stdinsets.inc
@@ -354,6 +354,7 @@ InsetLayout Index
CustomPars false
ForcePlain true
ContentAsLabel true
+ PassThruChars @|!
End
InsetLayout Box