diff options
author | Hans Hagen <pragma@wxs.nl> | 2010-10-19 23:03:00 +0200 |
---|---|---|
committer | Hans Hagen <pragma@wxs.nl> | 2010-10-19 23:03:00 +0200 |
commit | 33b756529488b2cc6bd6a2786361f8099c023820 (patch) | |
tree | d7431c6525d7d57512e6d120abbcccce1002f28a /tex/context/base/pret-tex.lua | |
parent | ec84960ca720596a893b4e8c3e127f7aab571f10 (diff) | |
download | context-33b756529488b2cc6bd6a2786361f8099c023820.tar.gz |
beta 2010.10.19 23:03
Diffstat (limited to 'tex/context/base/pret-tex.lua')
-rw-r--r-- | tex/context/base/pret-tex.lua | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/tex/context/base/pret-tex.lua b/tex/context/base/pret-tex.lua index 851155122..0baf576c8 100644 --- a/tex/context/base/pret-tex.lua +++ b/tex/context/base/pret-tex.lua @@ -10,11 +10,10 @@ local utf = unicode.utf8 local utfcharacters, utfvalues = string.utfcharacters, string.utfvalues local utfbyte, utffind = utf.byte, utf.find -local rep = string.rep -local texsprint, texwrite = tex.sprint, tex.write -local ctxcatcodes, vrbcatcodes = tex.ctxcatcodes, tex.vrbcatcodes +local texwrite = tex.write local buffers = buffers +local context = context local changestate, finishstate = buffers.changestate, buffers.finishstate @@ -38,6 +37,8 @@ local states = { local chardata = characters.data local is_letter = characters.is_letter +local space = context.obs + function visualizer.flush_line(str,nested) local state, first, i = 0, false, 0 buffers.currentcolors = colors @@ -45,13 +46,15 @@ function visualizer.flush_line(str,nested) i = i + 1 if c == " " then state = finishstate(state) - texsprint(ctxcatcodes,"\\obs") + space() first = false elseif c == "\t" then state = finishstate(state) - texsprint(ctxcatcodes,"\\obs") + space() if buffers.visualizers.enabletab then - texsprint(ctxcatcodes,rep("\\obs ",i%buffers.visualizers.tablength)) + for i=1,i%buffers.visualizers.tablength do + space() + end i = 0 end first = false |