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 5d107ca40..6464bd44e 100644 --- a/tex/context/interface/keys-de.xml +++ b/tex/context/interface/keys-de.xml @@ -807,6 +807,8 @@ <cd:constant name='marking' value='beschriftung'/> <cd:constant name='marstyle' value='beschrstil'/> <cd:constant name='mask' value='mask'/> + <cd:constant name='mathclass' value='mathclass'/> + <cd:constant name='mathlimits' value='mathlimits'/> <cd:constant name='mathstyle' value='mathstyle'/> <cd:constant name='max' value='max'/> <cd:constant name='maxdepth' value='maxdepth'/> |