From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Wed, 10 Jun 2009 11:36:26 +0000 (+0200)
Subject: Let pret-lam escape _ characters.
X-Git-Tag: final-thesis~329
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=commitdiff_plain;h=207cddf520024052b4da9040aa3a9636f30924db

Let pret-lam escape _ characters.
---

diff --git a/pret-lam.lua b/pret-lam.lua
index 15fcf9a..94dd810 100644
--- a/pret-lam.lua
+++ b/pret-lam.lua
@@ -19,6 +19,7 @@ buffers.visualizers.lam.colors = {
 
 buffers.visualizers.lam.tokens = {
     [' '] = {repr = '\\obs '},
+    ['_'] = {repr = '\\_'},
     ['->'] = {repr = '\\rightarrow'},
     ['case'] = {style = 'bold'},
     ['of'] = {style = 'bold'},