diff options
author | Hans Hagen <pragma@wxs.nl> | 2012-07-27 16:41:00 +0200 |
---|---|---|
committer | Hans Hagen <pragma@wxs.nl> | 2012-07-27 16:41:00 +0200 |
commit | 2a3ad7522fdc055a3c0027d830b30d097017ec2c (patch) | |
tree | 5e641dc82453b73ef858cb2f98fc324a4153d278 /tex/context/base/lang-lab.lua | |
parent | 07f9052e9f88459a4ee947f6c01d9de1119b8355 (diff) | |
download | context-2a3ad7522fdc055a3c0027d830b30d097017ec2c.tar.gz |
beta 2012.07.27 16:41
Diffstat (limited to 'tex/context/base/lang-lab.lua')
-rw-r--r-- | tex/context/base/lang-lab.lua | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tex/context/base/lang-lab.lua b/tex/context/base/lang-lab.lua index 893e1554d..8d48a4988 100644 --- a/tex/context/base/lang-lab.lua +++ b/tex/context/base/lang-lab.lua @@ -68,6 +68,8 @@ local prtcatcodes = catcodes.numbers.prtcatcodes -- todo: use different method local trace_labels = false trackers.register("languages.labels", function(v) trace_labels = v end) local report_labels = logs.reporter("languages","labels") +-- trace_labels = true + languages.labels = languages.labels or { } local labels = languages.labels |