From 306f695617414575614aad2a3922c97abccb9740 Mon Sep 17 00:00:00 2001
From: Pierre Hubert <pierre.git@communiquons.org>
Date: Wed, 1 Mar 2023 09:55:21 +0100
Subject: [PATCH] Additional environment for Tex export

---
 src/main.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/main.rs b/src/main.rs
index 0c81c3b..0dc0f0f 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -236,6 +236,7 @@ fn tex_export(tree: &TreeNode) -> String {
                 .unwrap();
             }
 
+            out.push_str("\\begin{schemabody}\n");
             out.push_str("\\begin{schemaprops}\n");
             for child in children {
                 tex_export_inner(
@@ -252,6 +253,7 @@ fn tex_export(tree: &TreeNode) -> String {
             out.push_str("\\begin{jsonsample}\n");
             out.push_str(&format!("\\usebox{{{box_name}}}\n"));
             out.push_str("\\end{jsonsample}\n");
+            out.push_str("\\end{schemabody}\n");
         }
         _ => tex_export_inner(
             &ObjectChild {