iucr.layout: use Item_Environment for a style as proposed by Jürgen

[lyx.git] / lib / layouts / theorems-starred.inc

diff --git a/lib/layouts/theorems-starred.inc b/lib/layouts/theorems-starred.inc
index e6d7d5aeb4edb2b572e39746d1f8125950962ce2..c379a2f47b104d19c56c79da47fe785e4ae927c8 100644 (file)
--- a/lib/layouts/theorems-starred.inc
+++ b/lib/layouts/theorems-starred.inc
@@ -18,17 +18,21 @@
 # - Claim
 # - Proof
 
-Format 34
+Format 54
 
 Style Theorem*
-       Category              Theorem
+       Category              Reasoning
        LatexType             Environment
        Margin                First_Dynamic
        LatexName             thm*
        LabelType             Static
        LabelString           "Theorem."
        NextNoIndent          1
-       OptionalArgs          1
+       ResetArgs             1
+       Argument 1
+               LabelString    "Additional Theorem Text"
+               Tooltip        "Additional text appended to the theorem header"
+       EndArgument
        LabelSep              xx
        ParIndent             MMM
        ParSkip               0.4