aboutsummaryrefslogtreecommitdiff
path: root/arabluatex.lua
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2023-05-21 11:35:45 +0200
committerRobert Alessi <alessi@robertalessi.net>2023-05-21 11:35:45 +0200
commit4bbe70f21cec5cdf6331bd2bcfd654c031389243 (patch)
treecee6e4cce092c1f544b21d5aa330b6fb346e50fd /arabluatex.lua
parente8aa4f2844f6348cccb4cf88e7a26dfb528bd255 (diff)
downloadarabluatex-4bbe70f21cec5cdf6331bd2bcfd654c031389243.tar.gz
let critical notes be inserted in lines of poetry with ekdosis
Diffstat (limited to 'arabluatex.lua')
-rw-r--r--arabluatex.lua8
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)