Add useful environments

This commit is contained in:
Pierre HUBERT 2023-02-06 10:14:50 +01:00
parent 87f942e440
commit 88472ba02f

View File

@ -174,6 +174,7 @@ fn tex_export(tree: &TreeNode) -> String {
.unwrap(); .unwrap();
} }
out.push_str("\\begin{schemaprops}\n");
for child in children { for child in children {
tex_export_inner( tex_export_inner(
child, child,
@ -184,6 +185,7 @@ fn tex_export(tree: &TreeNode) -> String {
.unwrap_or(false), .unwrap_or(false),
); );
} }
out.push_str("\\end{schemaprops}\n");
} }
_ => tex_export_inner( _ => tex_export_inner(
&ObjectChild { &ObjectChild {