lyx_mirror/lib/layouts/theorems-starred.inc
Jean-Marc Lasgouttes b92ceba9a1 Honor trailing spaces in LabelString and friends
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)
2017-09-02 16:08:56 +02:00

292 lines
6.6 KiB
PHP

# Original Author : David L. Johnson <dlj0@lehigh.edu>
# Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
# modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
# Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
# Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
# The starred environnements defined are :
# - Theorem
# - Corollary
# - Lemma
# - Proposition
# - Conjecture
# - Definition
# - Example
# - Problem
# - Exercise
# - Solution
# - Remark
# - Claim
# - Proof
Format 64
OutlinerName thm "Definitions & Theorems"
Style Theorem*
Category Reasoning
LatexType Environment
Margin First_Dynamic
LatexName thm*
LabelType Static
LabelString "Theorem."
NextNoIndent 1
ResetArgs 1
AddToToc thm
IsTocCaption 1
Argument 1
LabelString "Additional Theorem Text"
Tooltip "Additional text appended to the theorem header"
IsTocCaption 1
EndArgument
LabelSep xx
ParIndent MMM
ParSkip 0.4
ItemSep 0.2
TopSep 0.7
BottomSep 0.7
ParSep 0.3
Align Block
AlignPossible Left
Font
Shape Italic
Size Normal
EndFont
LabelFont
Shape Up
Series Bold
EndFont
Preamble
\theoremstyle{plain}
\newtheorem*{thm*}{\protect\theoremname}
EndPreamble
LangPreamble
\providecommand{\theoremname}{_(Theorem)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
EndBabelPreamble
Requires amsthm
End
Style Corollary*
CopyStyle Theorem*
LatexName cor*
LabelString "Corollary."
Preamble
\theoremstyle{plain}
\newtheorem*{cor*}{\protect\corollaryname}
EndPreamble
LangPreamble
\providecommand{\corollaryname}{_(Corollary)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
EndBabelPreamble
End
Style Lemma*
CopyStyle Theorem*
LatexName lem*
LabelString "Lemma."
Preamble
\theoremstyle{plain}
\newtheorem*{lem*}{\protect\lemmaname}
EndPreamble
LangPreamble
\providecommand{\lemmaname}{_(Lemma)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
EndBabelPreamble
End
Style Proposition*
CopyStyle Theorem*
LatexName prop*
LabelString "Proposition."
Preamble
\theoremstyle{plain}
\newtheorem*{prop*}{\protect\propositionname}
EndPreamble
LangPreamble
\providecommand{\propositionname}{_(Proposition)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
EndBabelPreamble
End
Style Conjecture*
CopyStyle Theorem*
LatexName conjecture*
LabelString "Conjecture."
Preamble
\theoremstyle{plain}
\newtheorem*{conjecture*}{\protect\conjecturename}
EndPreamble
LangPreamble
\providecommand{\conjecturename}{_(Conjecture)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
EndBabelPreamble
End
Style Fact*
CopyStyle Theorem*
LatexName fact*
LabelString "Fact."
Preamble
\theoremstyle{plain}
\newtheorem*{fact*}{\protect\factname}
EndPreamble
LangPreamble
\providecommand{\factname}{_(Fact)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
EndBabelPreamble
End
Style Definition*
CopyStyle Theorem*
LatexName defn*
#LabelType Static
LabelString "Definition."
Font
Shape Up
EndFont
LabelFont
Shape Up
Series Bold
EndFont
Preamble
\theoremstyle{definition}
\newtheorem*{defn*}{\protect\definitionname}
EndPreamble
LangPreamble
\providecommand{\definitionname}{_(Definition)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
EndBabelPreamble
End
Style Example*
CopyStyle Definition*
LatexName example*
LabelString "Example."
Preamble
\theoremstyle{definition}
\newtheorem*{example*}{\protect\examplename}
EndPreamble
LangPreamble
\providecommand{\examplename}{_(Example)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
EndBabelPreamble
End
Style Problem*
CopyStyle Definition*
LatexName problem*
LabelString "Problem."
Preamble
\theoremstyle{definition}
\newtheorem*{problem*}{\protect\problemname}
EndPreamble
LangPreamble
\providecommand{\problemname}{_(Problem)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
EndBabelPreamble
End
Style Exercise*
CopyStyle Definition*
LatexName xca*
LabelString "Exercise."
Preamble
\theoremstyle{definition}
\newtheorem*{xca*}{\protect\exercisename}
EndPreamble
LangPreamble
\providecommand{\exercisename}{_(Exercise)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
EndBabelPreamble
End
Style Solution*
CopyStyle Definition*
LatexName sol*
LabelString "Solution."
Preamble
\theoremstyle{definition}
\newtheorem*{sol*}{\protect\solutionname}
EndPreamble
LangPreamble
\providecommand{\solutionname}{_(Solution)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
EndBabelPreamble
End
Style Remark*
CopyStyle Theorem*
LatexName rem*
LabelString "Remark."
Font
Shape Up
Size Normal
EndFont
LabelFont
Series Medium
Shape Italic
EndFont
Preamble
\theoremstyle{remark}
\newtheorem*{rem*}{\protect\remarkname}
EndPreamble
LangPreamble
\providecommand{\remarkname}{_(Remark)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
EndBabelPreamble
End
Style Claim*
CopyStyle Remark*
LatexName claim*
LabelString "Claim."
Preamble
\theoremstyle{remark}
\newtheorem*{claim*}{\protect\claimname}
EndPreamble
LangPreamble
\providecommand{\claimname}{_(Claim)}
EndLangPreamble
BabelPreamble
\addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
EndBabelPreamble
End