diff options
author | Robert Alessi <alessi@robertalessi.net> | 2018-08-22 14:31:59 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2018-08-22 14:31:59 +0200 |
commit | 15f869e0263de7e1a9c2629ce5fcd6f0bc9ef544 (patch) | |
tree | c43f4a922b8d87205a9eae9522b414ad4a463a17 | |
parent | 1b93280683c67010b9bed0327f2b978f2edbf329 (diff) | |
download | arabluatex-15f869e0263de7e1a9c2629ce5fcd6f0bc9ef544.tar.gz |
tidy up
-rw-r--r-- | arabluatex.lua | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/arabluatex.lua b/arabluatex.lua index 64d3fbc..9e58ede 100644 --- a/arabluatex.lua +++ b/arabluatex.lua | |||
@@ -703,16 +703,16 @@ local function processarbtoutf(str) | |||
703 | end) | 703 | end) |
704 | str = string.gsub(str, "(\\begin%s?{arab})", "\\par\\bgroup\\arbpardir\\arb{") | 704 | str = string.gsub(str, "(\\begin%s?{arab})", "\\par\\bgroup\\arbpardir\\arb{") |
705 | str = string.gsub(str, "\\end%s?{arab}", "}\\egroup\\par") | 705 | str = string.gsub(str, "\\end%s?{arab}", "}\\egroup\\par") |
706 | -- This does not work, while the following two do. Look into this later. | ||
707 | -- str = gsub(str, lpeg.Cs("\\arb") * spcenc * bsqbrackets^-1 * bcbraces, function(tag, opt, body) | ||
708 | -- body = string.sub(body, 2, -2) | ||
709 | -- return string.format("%s%s\\@al@pr@ob%s\\@al@pr@cb", tag, opt, body) | ||
710 | -- end) | ||
711 | str = string.gsub(str, "(\\abjad)%s?(%b{})", function(tag, body) | 706 | str = string.gsub(str, "(\\abjad)%s?(%b{})", function(tag, body) |
712 | body = string.sub(body, 2, -2) | 707 | body = string.sub(body, 2, -2) |
713 | body = abjadify(body) | 708 | body = abjadify(body) |
714 | return string.format("\\aemph{\\arb[novoc]{%s}}", body) | 709 | return string.format("\\aemph{\\arb[novoc]{%s}}", body) |
715 | end) | 710 | end) |
711 | -- This does not work, while the following two do. Look into this later. | ||
712 | -- str = gsub(str, lpeg.Cs("\\arb") * spcenc * bsqbrackets^-1 * bcbraces, function(tag, opt, body) | ||
713 | -- body = string.sub(body, 2, -2) | ||
714 | -- return string.format("%s%s\\@al@pr@ob%s\\@al@pr@cb", tag, opt, body) | ||
715 | -- end) | ||
716 | str = string.gsub(str, "(\\arb%s?)(%b[])(%b{})", function(tag, opt, body) | 716 | str = string.gsub(str, "(\\arb%s?)(%b[])(%b{})", function(tag, opt, body) |
717 | body = string.sub(body, 2, -2) | 717 | body = string.sub(body, 2, -2) |
718 | return string.format("%s%s\\@al@pr@ob%s\\@al@pr@cb", tag, opt, body) | 718 | return string.format("%s%s\\@al@pr@ob%s\\@al@pr@cb", tag, opt, body) |