aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2021-04-06 09:38:33 +0200
committerRobert Alessi <alessi@robertalessi.net>2021-04-06 09:38:33 +0200
commitbcdf40e8f0bd033bdd6413037fa7d4dd4a63e1b3 (patch)
tree831fd788fe70fa38552370a6a3cc541f1e5a1fe5
parente5d27c17c5920c6b8f78eff920f5f25c7a1b8a66 (diff)
downloadekdosis-bcdf40e8f0bd033bdd6413037fa7d4dd4a63e1b3.tar.gz
remove_note() -> remove_from_app()
-rw-r--r--ekdosis.dtx12
1 files changed, 8 insertions, 4 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx
index 3e2e6ed..ad01873 100644
--- a/ekdosis.dtx
+++ b/ekdosis.dtx
@@ -11208,8 +11208,12 @@ function ekdosis.getprevnotelab()
11208 return prev_notelab 11208 return prev_notelab
11209end 11209end
11210 11210
11211local function remove_note(str) 11211local cmdstorm = lpeg.P(lpeg.P("note")
11212 str = gsub(str, dblbkslash * lpeg.P("note") * cmdargs, "") 11212 + lpeg.P("linelabel")
11213 + lpeg.P("index"))
11214
11215local function remove_from_app(str)
11216 str = gsub(str, dblbkslash * cmdstorm * cmdargs, "")
11213 return str 11217 return str
11214end 11218end
11215 11219
@@ -11223,7 +11227,7 @@ function ekdosis.mdvappend(str, teitype)
11223 "\\linelabel{" .. current_lnlab .. "-e}" 11227 "\\linelabel{" .. current_lnlab .. "-e}"
11224 .. 11228 ..
11225 "\\csname append@app\\endcsname{" 11229 "\\csname append@app\\endcsname{"
11226 .. remove_note(str) .. "}" 11230 .. remove_from_app(str) .. "}"
11227 else 11231 else
11228 return "\\linelabel{" .. current_lnlab .. "-b}\\wordboundary{}" 11232 return "\\linelabel{" .. current_lnlab .. "-b}\\wordboundary{}"
11229 .. 11233 ..
@@ -11232,7 +11236,7 @@ function ekdosis.mdvappend(str, teitype)
11232 "\\linelabel{" .. current_lnlab .. "-e}" 11236 "\\linelabel{" .. current_lnlab .. "-e}"
11233 .. 11237 ..
11234 "\\csname append@app\\endcsname" .. "[" .. teitype .. "]{" 11238 "\\csname append@app\\endcsname" .. "[" .. teitype .. "]{"
11235 .. remove_note(str) .. "}" 11239 .. remove_from_app(str) .. "}"
11236 end 11240 end
11237end 11241end
11238 11242