diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2018-05-06 18:22:26 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2018-05-06 18:22:26 +0200 |
| commit | df6151bda30990882694de21eaf59258fd436214 (patch) | |
| tree | c10bcdf79432b20fd2a124a4ef5825b33c05784d /arabluatex.lua | |
| parent | 7a20d3edfc67dc7654f39b6db3011d4e72050ab5 (diff) | |
| download | arabluatex-df6151bda30990882694de21eaf59258fd436214.tar.gz | |
optional arguments of environments nested inside Arabic environments may now contain curly braces
Diffstat (limited to 'arabluatex.lua')
| -rw-r--r-- | arabluatex.lua | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/arabluatex.lua b/arabluatex.lua index f0c03c6..5e88b96 100644 --- a/arabluatex.lua +++ b/arabluatex.lua | |||
| @@ -29,7 +29,7 @@ require("arabluatex_trans") | |||
| 29 | 29 | ||
| 30 | local function protectarb(str) | 30 | local function protectarb(str) |
| 31 | str = string.gsub(str, "(\\arb.?)(%[.-%])(%b{})", "\\@arb%2%3") | 31 | str = string.gsub(str, "(\\arb.?)(%[.-%])(%b{})", "\\@arb%2%3") |
| 32 | str = string.gsub(str, "(\\begin.?)(%b{})(%b[])", "\\@begin%3%2") | 32 | str = string.gsub(str, "(\\begin.?)(%b{})(%b[])", "\\@@begin{%2%3}") |
| 33 | str = string.gsub(str, "(\\begin.?)(%b{})", "\\@begin%2") | 33 | str = string.gsub(str, "(\\begin.?)(%b{})", "\\@begin%2") |
| 34 | str = string.gsub(str, "(\\end.?)(%b{})", "\\@end%2") | 34 | str = string.gsub(str, "(\\end.?)(%b{})", "\\@end%2") |
| 35 | str = string.gsub(str, "\\par", "\\p@r{}") | 35 | str = string.gsub(str, "\\par", "\\p@r{}") |
| @@ -39,7 +39,7 @@ end | |||
| 39 | 39 | ||
| 40 | local function unprotectarb(str) | 40 | local function unprotectarb(str) |
| 41 | str = string.gsub(str, "(\\@arb)(%[.-%])(%b{})", "\\arb%2%3") | 41 | str = string.gsub(str, "(\\@arb)(%[.-%])(%b{})", "\\arb%2%3") |
| 42 | str = string.gsub(str, "(\\@begin)(%b[])(%b{})", "\\begin%3%2") | 42 | str = string.gsub(str, "(\\@@begin){(%b{})(%b[])}", "\\begin%2%3") |
| 43 | str = string.gsub(str, "(\\@begin)(%b{})", "\\begin%2") | 43 | str = string.gsub(str, "(\\@begin)(%b{})", "\\begin%2") |
| 44 | str = string.gsub(str, "(\\@end)(%b{})", "\\end%2") | 44 | str = string.gsub(str, "(\\@end)(%b{})", "\\end%2") |
| 45 | str = string.gsub(str, "\\p@r{}", "\\par") | 45 | str = string.gsub(str, "\\p@r{}", "\\par") |