From 88472ba02ff218222687e7a02250c6dbde9d5f5c Mon Sep 17 00:00:00 2001
From: Pierre Hubert <pierre.git@communiquons.org>
Date: Mon, 6 Feb 2023 10:14:50 +0100
Subject: [PATCH] Add useful environments

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

diff --git a/src/main.rs b/src/main.rs
index 9eae5b1..85c79f3 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -174,6 +174,7 @@ fn tex_export(tree: &TreeNode) -> String {
                 .unwrap();
             }
 
+            out.push_str("\\begin{schemaprops}\n");
             for child in children {
                 tex_export_inner(
                     child,
@@ -184,6 +185,7 @@ fn tex_export(tree: &TreeNode) -> String {
                         .unwrap_or(false),
                 );
             }
+            out.push_str("\\end{schemaprops}\n");
         }
         _ => tex_export_inner(
             &ObjectChild {