diff options
Diffstat (limited to 'tex/context/interface/keys-it.xml')
| -rw-r--r-- | tex/context/interface/keys-it.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tex/context/interface/keys-it.xml b/tex/context/interface/keys-it.xml index a558e4fb1..77d96aa2d 100644 --- a/tex/context/interface/keys-it.xml +++ b/tex/context/interface/keys-it.xml @@ -275,7 +275,6 @@ <cd:variable name='marginedge' value='bordomargine'/> <cd:variable name='margintitle' value='titoloinmargine'/> <cd:variable name='marking' value='marcatura'/> - <cd:variable name='mask' value='mask'/> <cd:variable name='mathalignment' value='mathalignment'/> <cd:variable name='mathcases' value='mathcases'/> <cd:variable name='mathmatrix' value='mathmatrix'/> @@ -764,6 +763,7 @@ <cd:constant name='margintext' value='testomargine'/> <cd:constant name='marking' value='marcatura'/> <cd:constant name='marstyle' value='stilemarcatura'/> + <cd:constant name='mask' value='mask'/> <cd:constant name='max' value='max'/> <cd:constant name='maxdepth' value='maxdepth'/> <cd:constant name='maxheight' value='altezzamax'/> |