aboutsummaryrefslogtreecommitdiff
path: root/ekdosis.dtx
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2019-08-24 09:59:49 +0200
committerRobert Alessi <alessi@robertalessi.net>2019-08-24 09:59:49 +0200
commit559696e3f6ee84a63a5cbf43fb32a9b5538db7e4 (patch)
tree6ebc855cab0d2aa7d5d39cf36e608cf4f960ed66 /ekdosis.dtx
parentdc33efa80a5b69a3d98f3f5b53020f63a0c1df3f (diff)
downloadekdosis-559696e3f6ee84a63a5cbf43fb32a9b5538db7e4.tar.gz
started rewriting \lem
Diffstat (limited to 'ekdosis.dtx')
-rw-r--r--ekdosis.dtx29
1 files changed, 28 insertions, 1 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx
index 7fab0d8..bf0a63c 100644
--- a/ekdosis.dtx
+++ b/ekdosis.dtx
@@ -512,7 +512,34 @@ idno={}, msName={}, origDate={}][3]{%
512 \ekd@isinappfalse} 512 \ekd@isinappfalse}
513\edef\ekdsep{: } 513\edef\ekdsep{: }
514\NewDocumentCommand{\SetSeparator}{m}{\edef\ekdsep{#1}} 514\NewDocumentCommand{\SetSeparator}{m}{\edef\ekdsep{#1}}
515\newkeycommand+[\|]{\lem}[wit, alt, pre, post, prewit, postwit, 515\define@cmdkeys[ekd]{lemrdg}[ekdlr@]{wit, alt, pre, post, prewit,
516 postwit}
517\define@cmdkey[ekd]{lem}[ekdl@]{sep}[\ekdsep]{#1}
518\define@boolkeys[ekd]{lem}[ekdl@]{nolem, nosep}[true]
519\NewDocumentCommand{\lem}{O{} m}{%
520 #2%
521 \setkeys[ekd]{lemrdg,lem}{#1}%
522 \ifekdl@nolem\append@ln@app{}\else%
523 %
524 \edef\lem@app{%
525 \ifdefined\ekdlr@alt
526 \ifdefined\ekdlr@pre\ekdlr@pre\else\fi
527 \ekdlr@alt
528 \ifdefined\ekdlr@post\ekdlr@post\else\fi
529 \else
530 \ifdefined\ekdlr@pre\ekdlr@pre\else\fi
531 #2
532 \ifdefined\ekdlr@post\ekdlr@post\else\fi
533 \fi
534 \ifdefined\ekdlr@prewit\ekdlr@prewit\else\fi
535 \ifdefined\ekdlr@wit\ekdlr@wit\else\fi
536 \ifdefined\ekdlr@postwit\ekdlr@postwit\else\fi
537 %\ekdl@sep
538 }
539 \append@ln@app{\lem@app}
540 \fi%
541}
542\newkeycommand+[\|]{\lemout}[wit, alt, pre, post, prewit, postwit,
516sep={\ekdsep}, choice nosep={false,,true}, 543sep={\ekdsep}, choice nosep={false,,true},
517choice nolem={false,,true}][1]{% 544choice nolem={false,,true}][1]{%
518 #1% 545 #1%