ソースコードの管理場所
修订版 | d12e69b12019d49d0242898fc531fb12d329da75 (tree) |
---|---|
时间 | 2016-03-02 13:07:08 |
作者 | Kazuki Maeda <kmaeda@kmae...> |
Commiter | Kazuki Maeda |
ltj-inputbuf.lua: add a close paren.
@@ -19,7 +19,7 @@ local ltjc_is_japanese_char_curlist = ltjc.is_japanese_char_curlist | ||
19 | 19 | --- Instead of "%", we use U+FFFFF for suppressing spaces. |
20 | 20 | --DEBUG require"socket" |
21 | 21 | local time_line = 0 |
22 | -local start_time_measure, stop_time_measure | |
22 | +local start_time_measure, stop_time_measure | |
23 | 23 | = ltjb.start_time_measure, ltjb.stop_time_measure |
24 | 24 | local function add_comment(buffer) |
25 | 25 | start_time_measure('inputbuf') |
@@ -33,7 +33,7 @@ local function add_comment(buffer) | ||
33 | 33 | if c>=0x80 then |
34 | 34 | local ct = getcatcode(c) |
35 | 35 | local te = tex.endlinechar |
36 | - local ctl = (te ~= -1) and (getcatcode(te)==5) and (getcatcode(getcount('ltjlineendcomment')==14) | |
36 | + local ctl = (te ~= -1) and (getcatcode(te)==5) and (getcatcode(getcount('ltjlineendcomment'))==14) | |
37 | 37 | -- Is the catcode of endline character is 5 (end-of-line)? |
38 | 38 | -- Is the catcode of \ltjlineendcomment (new comment char) is 14 (comment)? |
39 | 39 | if ((ct==11) or (ct==12)) and ctl then |