diff options
Diffstat (limited to 'tex/context/base/data-tex.lua')
-rw-r--r-- | tex/context/base/data-tex.lua | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/tex/context/base/data-tex.lua b/tex/context/base/data-tex.lua index 2105f29f4..6cb361699 100644 --- a/tex/context/base/data-tex.lua +++ b/tex/context/base/data-tex.lua @@ -7,7 +7,6 @@ if not modules then modules = { } end modules ['data-tex'] = { } local char = string.char -local insert, remove = table.insert, table.remove local trace_locating = false trackers.register("resolvers.locating", function(v) trace_locating = v end) @@ -52,10 +51,6 @@ appendgroup(textlineactions,"after" ) -- user local ctrl_d = char( 4) -- unix local ctrl_z = char(26) -- windows -resolvers.inputstack = resolvers.inputstack or { } - -local inputstack = resolvers.inputstack - function helpers.textopener(tag,filename,filehandle,coding) local lines local t_filehandle = type(filehandle) @@ -97,7 +92,6 @@ function helpers.textopener(tag,filename,filehandle,coding) lines[noflines] = nil end logs.show_open(filename) - insert(inputstack,filename) return { filename = filename, noflines = noflines, @@ -107,7 +101,6 @@ function helpers.textopener(tag,filename,filehandle,coding) report_tex("%s closer, '%s' closed",tag,filename) end logs.show_close(filename) - remove(inputstack) t = nil end, reader = function(self) |