mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-14 23:12:31 +00:00
b92ceba9a1
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.
(cherry picked from commit 5c54557350)
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
|