diff options
author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2016-04-30 21:47:48 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2016-04-30 21:47:48 +0200 |
commit | 0720a3fd156076fc3092927feb0fa0a85122ec6d (patch) | |
tree | 63d6975747b9b4d4d91f079602a4967f2aef03e6 /scripts/context/lua/mtx-interface.lua | |
parent | 4a649b4a0eff2ba6f292e4891d2749a79b08baf0 (diff) | |
download | context-0720a3fd156076fc3092927feb0fa0a85122ec6d.tar.gz |
2016-04-30 19:04:00
Diffstat (limited to 'scripts/context/lua/mtx-interface.lua')
-rw-r--r-- | scripts/context/lua/mtx-interface.lua | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/context/lua/mtx-interface.lua b/scripts/context/lua/mtx-interface.lua index 6a968d6b1..b82dd5abf 100644 --- a/scripts/context/lua/mtx-interface.lua +++ b/scripts/context/lua/mtx-interface.lua @@ -411,10 +411,13 @@ function scripts.interface.editor(editor,split,forcedinterfaces) -- local collected = { } -- + report("generating files for %a",editor) + report("loading %a",xmlfile) local xmlroot = xml.load(xmlfile) xml.include(xmlroot,"cd:interfacefile","filename",true,function(s) - local fullname = resolvers.findfile(s) + local fullname = resolvers.findfile(s) if fullname and fullname ~= "" then + report("including %a",fullname) return io.loaddata(fullname) end end) |