More compatible error formatting
This commit is contained in:
parent
41b40c07b0
commit
d693023ebd
@ -133,8 +133,12 @@ function callbacks.intercept_tex_error(mode, errortype)
|
|||||||
return 3
|
return 3
|
||||||
end
|
end
|
||||||
texio.write'.'
|
texio.write'.'
|
||||||
|
if mode == 0 then return 0 end
|
||||||
tex.showcontext()
|
tex.showcontext()
|
||||||
if mode ~= 3 then return mode end
|
if mode ~= 3 then
|
||||||
|
texio.write('logfile', tex.gethelptext() .. '\n')
|
||||||
|
return mode
|
||||||
|
end
|
||||||
repeat
|
repeat
|
||||||
texio.write_nl'? '
|
texio.write_nl'? '
|
||||||
local line = io.read()
|
local line = io.read()
|
||||||
|
Loading…
Reference in New Issue
Block a user