mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-15 07:16:48 +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)
101 lines
1.0 KiB
HTML
101 lines
1.0 KiB
HTML
# Reference prefixes for theorem environments
|
|
|
|
Format 64
|
|
|
|
ModifyStyle Theorem
|
|
RefPrefix thm
|
|
End
|
|
|
|
ModifyStyle Corollary
|
|
RefPrefix cor
|
|
End
|
|
|
|
ModifyStyle Lemma
|
|
RefPrefix lem
|
|
End
|
|
|
|
ModifyStyle Proposition
|
|
RefPrefix prop
|
|
End
|
|
|
|
ModifyStyle Conjecture
|
|
RefPrefix conj
|
|
End
|
|
|
|
ModifyStyle Definition
|
|
RefPrefix def
|
|
End
|
|
|
|
ModifyStyle Example
|
|
RefPrefix exa
|
|
End
|
|
|
|
ModifyStyle Problem
|
|
RefPrefix prob
|
|
End
|
|
|
|
ModifyStyle Exercise
|
|
RefPrefix exer
|
|
End
|
|
|
|
ModifyStyle Solution
|
|
RefPrefix solu
|
|
End
|
|
|
|
ModifyStyle Remark
|
|
RefPrefix rem
|
|
End
|
|
|
|
ModifyStyle Claim
|
|
RefPrefix claim
|
|
End
|
|
|
|
ModifyStyle Fact
|
|
RefPrefix fact
|
|
End
|
|
|
|
ModifyStyle Criterion
|
|
RefPrefix cri
|
|
End
|
|
|
|
ModifyStyle Algorithm
|
|
RefPrefix alg
|
|
End
|
|
|
|
ModifyStyle Axiom
|
|
RefPrefix axm
|
|
End
|
|
|
|
ModifyStyle Condition
|
|
RefPrefix cond
|
|
End
|
|
|
|
ModifyStyle Note
|
|
RefPrefix note
|
|
End
|
|
|
|
ModifyStyle Notation
|
|
RefPrefix nota
|
|
End
|
|
|
|
ModifyStyle Summary
|
|
RefPrefix sum
|
|
End
|
|
|
|
ModifyStyle Acknowledgement
|
|
RefPrefix ack
|
|
End
|
|
|
|
ModifyStyle Conclusion
|
|
RefPrefix conc
|
|
End
|
|
|
|
ModifyStyle Assumption
|
|
RefPrefix assu
|
|
End
|
|
|
|
|
|
ModifyStyle Question
|
|
RefPrefix que
|
|
End
|