Update layout formats

[features.git] / lib / layouts / theorems-case.inc

diff --git a/lib/layouts/theorems-case.inc b/lib/layouts/theorems-case.inc
index 73c195d4bcad41e935034e7ef6de5a8a3467de43..829b409bd5e20c51eab20d023cc5ab21a7817eaf 100644 (file)
--- a/lib/layouts/theorems-case.inc
+++ b/lib/layouts/theorems-case.inc
@@ -6,7 +6,7 @@
 # Define Case as an enumeration environment
 # with its own counters
 
-Format 67
+Format 80
 
 Counter casei
         LabelString "Case \arabic{casei}."
@@ -26,7 +26,6 @@ End
 
 Style Case
   Category              Reasoning
-
   Margin                Static
   LatexType             Item_Environment
   LatexName             casenv
@@ -49,6 +48,16 @@ Style Case
   HTMLItem              li
   HTMLLabel             NONE
   RefPrefix             enu
+  Argument listpreamble:1
+    LabelString    "List preamble"
+    MenuString     "List Preamble"
+    Tooltip        "LaTeX code to be inserted before the first item"
+    PassThru       1
+    Font
+      Family typewriter
+      Color latex
+    EndFont
+  EndArgument
   Argument item:1
     LabelString   "Custom Item|s"
     Tooltip       "A customized item string"