mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-09 18:31:04 +00:00
5c54557350
Remove the trimming operation on LabelString, LabelStringAppendix, EndLabelString and LabelCounter. This trimming meant that quotes strings were not preserved, which is wrong. To preserve layouts, the Layout format has been updated to 64, so that layout2layout can remove extra spaces on existing strings, which ensures that behavior is unchanged for old layouts (courtesy of rgheck). It is now possible to re-add spaces in label strings where it makes sense. Fixes bug #10723.
84 lines
624 B
HTML
84 lines
624 B
HTML
# Sets the order of the main theorem environments
|
|
# Author: Richard Heck
|
|
|
|
Format 64
|
|
|
|
#Get the order right
|
|
Style Theorem
|
|
End
|
|
|
|
Style Theorem*
|
|
End
|
|
|
|
Style Corollary
|
|
End
|
|
|
|
Style Corollary*
|
|
End
|
|
|
|
Style Lemma
|
|
End
|
|
|
|
Style Lemma*
|
|
End
|
|
|
|
Style Proposition
|
|
End
|
|
|
|
Style Proposition*
|
|
End
|
|
|
|
Style Conjecture
|
|
End
|
|
|
|
Style Conjecture*
|
|
End
|
|
|
|
Style Definition
|
|
End
|
|
|
|
Style Definition*
|
|
End
|
|
|
|
Style Example
|
|
End
|
|
|
|
Style Example*
|
|
End
|
|
|
|
Style Problem
|
|
End
|
|
|
|
Style Problem*
|
|
End
|
|
|
|
Style Exercise
|
|
End
|
|
|
|
Style Exercise*
|
|
End
|
|
|
|
Style Solution
|
|
End
|
|
|
|
Style Solution*
|
|
End
|
|
|
|
Style Remark
|
|
End
|
|
|
|
Style Remark*
|
|
End
|
|
|
|
Style Claim
|
|
End
|
|
|
|
Style Claim*
|
|
End
|
|
|
|
Style Case
|
|
End
|
|
|
|
Style Proof
|
|
End
|