diff options
Diffstat (limited to 'tex/context/interface/keys-de.xml')
-rw-r--r-- | tex/context/interface/keys-de.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tex/context/interface/keys-de.xml b/tex/context/interface/keys-de.xml index fefab4d55..3e67c7286 100644 --- a/tex/context/interface/keys-de.xml +++ b/tex/context/interface/keys-de.xml @@ -275,6 +275,7 @@ <cd:variable name='marginedge' value='marginalkante'/> <cd:variable name='margintitle' value='marginaltitel'/> <cd:variable name='marking' value='beschriftung'/> + <cd:variable name='mask' value='mask'/> <cd:variable name='mathalignment' value='mathalignment'/> <cd:variable name='mathcases' value='mathcases'/> <cd:variable name='mathmatrix' value='mathmatrix'/> @@ -987,6 +988,7 @@ <cd:constant name='textstate' value='textstatus'/> <cd:constant name='textstyle' value='textstil'/> <cd:constant name='textwidth' value='textbreite'/> + <cd:constant name='threshold' value='threshold'/> <cd:constant name='title' value='titel'/> <cd:constant name='titlecolor' value='titelfarbe'/> <cd:constant name='titlecommand' value='titlecommand'/> |