diff options
author | Marius <mariausol@gmail.com> | 2011-08-19 17:20:14 +0300 |
---|---|---|
committer | Marius <mariausol@gmail.com> | 2011-08-19 17:20:14 +0300 |
commit | f4c1535ba67d2ee1d5c4ea60a825bb994b6d27c7 (patch) | |
tree | 2856c19842b4574165c9c42703b5ac340b1e3c23 /tex/context/base/java-ini.lua | |
parent | a2a3f1ffee783395eaf3c642dd3b6f6107568589 (diff) | |
download | context-f4c1535ba67d2ee1d5c4ea60a825bb994b6d27c7.tar.gz |
beta 2011.08.19 15:44
Diffstat (limited to 'tex/context/base/java-ini.lua')
-rw-r--r-- | tex/context/base/java-ini.lua | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tex/context/base/java-ini.lua b/tex/context/base/java-ini.lua index 6f629cec0..8ffabab05 100644 --- a/tex/context/base/java-ini.lua +++ b/tex/context/base/java-ini.lua @@ -32,6 +32,9 @@ local codes, preambles, functions = javascripts.codes, javascripts.preambles, ja local preambled = { } local function storefunction(s,preamble) + if trace_javascript then + report_javascripts("found: function '%s'",s) + end functions[s] = preamble end |