diff options
author | Robert Alessi <alessi@robertalessi.net> | 2023-05-21 11:35:45 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2023-05-21 11:35:45 +0200 |
commit | 4bbe70f21cec5cdf6331bd2bcfd654c031389243 (patch) | |
tree | cee6e4cce092c1f544b21d5aa330b6fb346e50fd /arabluatex.lua | |
parent | e8aa4f2844f6348cccb4cf88e7a26dfb528bd255 (diff) | |
download | arabluatex-4bbe70f21cec5cdf6331bd2bcfd654c031389243.tar.gz |
let critical notes be inserted in lines of poetry with ekdosis
Diffstat (limited to 'arabluatex.lua')
-rw-r--r-- | arabluatex.lua | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/arabluatex.lua b/arabluatex.lua index bce9e0f..ec318b7 100644 --- a/arabluatex.lua +++ b/arabluatex.lua | |||
@@ -821,16 +821,16 @@ local function processarbtoutf(str) | |||
821 | end) | 821 | end) |
822 | return string.format("%s{%s}", tag, body) | 822 | return string.format("%s{%s}", tag, body) |
823 | end) | 823 | end) |
824 | str = string.gsub(str, "(\\bayt)%s?(%b{})(%b[])(%b{})", function(tag, argi, argii, argiii) | 824 | str = string.gsub(str, "(\\bayt)%s?(%+?)(%b{})(%b[])(%b{})", function(tag, plus, argi, argii, argiii) |
825 | argi = string.sub(argi, 2, -2) | 825 | argi = string.sub(argi, 2, -2) |
826 | argii = string.sub(argii, 2, -2) | 826 | argii = string.sub(argii, 2, -2) |
827 | argiii = string.sub(argiii, 2, -2) | 827 | argiii = string.sub(argiii, 2, -2) |
828 | return string.format("%s*{\\arb{%s}}[\\arb{%s}]{\\arb{%s}}", tag, argi, argii, argiii) | 828 | return string.format("%s%s*{\\arb{%s}}[\\arb{%s}]{\\arb{%s}}", tag, argi, argii, argiii) |
829 | end) | 829 | end) |
830 | str = string.gsub(str, "(\\bayt)%s?(%b{})(%b{})", function(tag, argi, argii) | 830 | str = string.gsub(str, "(\\bayt)%s?(%+?)(%b{})(%b{})", function(tag, plus, argi, argii) |
831 | argi = string.sub(argi, 2, -2) | 831 | argi = string.sub(argi, 2, -2) |
832 | argii = string.sub(argii, 2, -2) | 832 | argii = string.sub(argii, 2, -2) |
833 | return string.format("%s*{\\arb{%s}}{\\arb{%s}}", tag, argi, argii) | 833 | return string.format("%s%s*{\\arb{%s}}{\\arb{%s}}", tag, plus, argi, argii) |
834 | end) | 834 | end) |
835 | str = string.gsub(str, "(\\prname)%s?(%b{})", function(tag, body) | 835 | str = string.gsub(str, "(\\prname)%s?(%b{})", function(tag, body) |
836 | body = string.sub(body, 2, -2) | 836 | body = string.sub(body, 2, -2) |