commit f0f7acac03d8eb44304392c3509baecaa0f21f5b
Author: Juergen Spitzmueller <[email protected]>
Date: Tue Aug 12 11:53:08 2025 +0200
Fix PrettyFormat definitions of "by type" theorems (#13212)
---
lib/layouts/theorems-counters-bytype.inc | 26 +++++++++++------------
lib/layouts/theorems-counters-extended-bytype.inc | 20 ++++++++---------
2 files changed, 23 insertions(+), 23 deletions(-)
diff --git a/lib/layouts/theorems-counters-bytype.inc
b/lib/layouts/theorems-counters-bytype.inc
index b7714369be..f237c699ce 100644
--- a/lib/layouts/theorems-counters-bytype.inc
+++ b/lib/layouts/theorems-counters-bytype.inc
@@ -4,60 +4,60 @@ Format 110
Counter theorem
GuiName Theorem
LaTeXName thm
- PrettyFormat "Theorem|Theorems \arabic{theorem}"
+ PrettyFormat "Theorem|Theorems ##"
End
Counter corollary
GuiName Corollary
LaTeXName cor
- PrettyFormat "Corollary|Corollaries \arabic{theorem}"
+ PrettyFormat "Corollary|Corollaries ##"
End
Counter lemma
GuiName Lemma
LaTeXName lem
- PrettyFormat "Lemma|Lemmas \arabic{theorem}"
+ PrettyFormat "Lemma|Lemmas ##"
End
Counter proposition
GuiName Proposition
LaTeXName prop
- PrettyFormat "Proposition|Propositions \arabic{theorem}"
+ PrettyFormat "Proposition|Propositions ##"
End
Counter conjecture
GuiName Conjecture
- PrettyFormat "Conjecture|Conjectures \arabic{theorem}"
+ PrettyFormat "Conjecture|Conjectures ##"
End
Counter fact
GuiName Fact
- PrettyFormat "Fact|Facts \arabic{theorem}"
+ PrettyFormat "Fact|Facts ##"
End
Counter definition
GuiName Definition
LaTeXName defn
- PrettyFormat "Definition|Definitions \arabic{theorem}"
+ PrettyFormat "Definition|Definitions ##"
End
Counter example
GuiName Example
- PrettyFormat "Example|Examples \arabic{theorem}"
+ PrettyFormat "Example|Examples ##"
End
Counter problem
GuiName Problem
- PrettyFormat "Problem|Problems \arabic{theorem}"
+ PrettyFormat "Problem|Problems ##"
End
Counter exercise
GuiName Exercise
LaTeXName xca
- PrettyFormat "Exercise|Exercises \arabic{theorem}"
+ PrettyFormat "Exercise|Exercises ##"
End
Counter solution
GuiName Solution
LaTeXName sol
- PrettyFormat "Solution|Solutions \arabic{theorem}"
+ PrettyFormat "Solution|Solutions ##"
End
Counter remark
GuiName Remark
LaTeXName rem
- PrettyFormat "Remark|Remarks \arabic{theorem}"
+ PrettyFormat "Remark|Remarks ##"
End
Counter claim
GuiName Claim
- PrettyFormat "Claim|Claims \arabic{theorem}"
+ PrettyFormat "Claim|Claims ##"
End
diff --git a/lib/layouts/theorems-counters-extended-bytype.inc
b/lib/layouts/theorems-counters-extended-bytype.inc
index 6f2f377497..8aedea72ae 100644
--- a/lib/layouts/theorems-counters-extended-bytype.inc
+++ b/lib/layouts/theorems-counters-extended-bytype.inc
@@ -3,43 +3,43 @@
Format 110
Counter criterion
GuiName Criterion
- PrettyFormat "Criterion|Criteria \arabic{theorem}"
+ PrettyFormat "Criterion|Criteria ##"
End
Counter algorithm
GuiName Algorithm
LaTeXName lyxalgorithm
- PrettyFormat "Algorithm|Algorithms \arabic{theorem}"
+ PrettyFormat "Algorithm|Algorithms ##"
End
Counter axiom
GuiName Axiom
LaTeXName ax
- PrettyFormat "Axiom|Axioms \arabic{theorem}"
+ PrettyFormat "Axiom|Axioms ##"
End
Counter condition
GuiName Condition
- PrettyFormat "Condition|Conditions \arabic{theorem}"
+ PrettyFormat "Condition|Conditions ##"
End
Counter note
GuiName Note
- PrettyFormat "Note|Notes \arabic{theorem}"
+ PrettyFormat "Note|Notes ##"
End
Counter notation
GuiName Notation
- PrettyFormat "Notation|Notations \arabic{theorem}"
+ PrettyFormat "Notation|Notations ##"
End
Counter summary
GuiName Summary
- PrettyFormat "Summary|Summaries \arabic{theorem}"
+ PrettyFormat "Summary|Summaries ##"
End
Counter conclusion
GuiName Conclusion
- PrettyFormat "Conclusion|Conclusions \arabic{theorem}"
+ PrettyFormat "Conclusion|Conclusions ##"
End
Counter assumption
GuiName Assumption
- PrettyFormat "Assumption|Assumptions \arabic{theorem}"
+ PrettyFormat "Assumption|Assumptions ##"
End
Counter question
GuiName Question
- PrettyFormat "Question|Questions \arabic{theorem}"
+ PrettyFormat "Question|Questions ##"
End
--
lyx-cvs mailing list
[email protected]
https://lists.lyx.org/mailman/listinfo/lyx-cvs
