Add shortcuts to some Theorem argumentsnts (as requested in #8809)

This commit is contained in:
Juergen Spitzmueller 2013-08-23 11:29:08 +02:00
parent c5d0e818e6
commit fb225b26f1
5 changed files with 5 additions and 5 deletions

View File

@ -54,7 +54,7 @@ Style Theorem
LatexName thm LatexName thm
NextNoIndent 1 NextNoIndent 1
Argument 1 Argument 1
LabelString "Alternative Theorem String" LabelString "Alternative Theorem String|S"
Tooltip "Alternative theorem string" Tooltip "Alternative theorem string"
EndArgument EndArgument
LabelSep xx LabelSep xx

View File

@ -28,7 +28,7 @@ Style Theorem
LatexName thm LatexName thm
NextNoIndent 1 NextNoIndent 1
Argument 1 Argument 1
LabelString "Alternative Theorem String" LabelString "Alternative Theorem String|S"
Tooltip "Alternative theorem string" Tooltip "Alternative theorem string"
EndArgument EndArgument
LabelSep xx LabelSep xx

View File

@ -30,7 +30,7 @@ Style Theorem
LatexName thm LatexName thm
NextNoIndent 1 NextNoIndent 1
Argument 1 Argument 1
LabelString "Alternative Theorem String" LabelString "Alternative Theorem String|S"
Tooltip "Alternative theorem string" Tooltip "Alternative theorem string"
EndArgument EndArgument
LabelSep xx LabelSep xx

View File

@ -29,7 +29,7 @@ Style Theorem*
LabelString "Theorem." LabelString "Theorem."
NextNoIndent 1 NextNoIndent 1
Argument 1 Argument 1
LabelString "Alternative Theorem String" LabelString "Alternative Theorem String|S"
Tooltip "Alternative theorem string" Tooltip "Alternative theorem string"
EndArgument EndArgument
LabelSep xx LabelSep xx

View File

@ -28,7 +28,7 @@ Style Theorem
LatexName thm LatexName thm
NextNoIndent 1 NextNoIndent 1
Argument 1 Argument 1
LabelString "Alternative Theorem String" LabelString "Alternative Theorem String|S"
Tooltip "Alternative theorem string" Tooltip "Alternative theorem string"
EndArgument EndArgument
LabelSep xx LabelSep xx