Additional environment for Tex export

This commit is contained in:
Pierre HUBERT 2023-03-01 09:55:21 +01:00
parent 47f79a9e1d
commit 306f695617

View File

@ -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 {