Remove useless line breaks

This commit is contained in:
Pierre HUBERT 2023-02-07 15:41:59 +01:00
parent bb6854f381
commit 594fe4b1ae

View File

@ -110,7 +110,7 @@ fn graphviz_export(tree: &TreeNode) -> String {
fn tex_escape_str(s: &str) -> String { fn tex_escape_str(s: &str) -> String {
s.replace('_', "\\_") s.replace('_', "\\_")
.trim_start_matches('\n') .trim_matches('\n')
.replace("\n\n", "\n") .replace("\n\n", "\n")
.replace('\n', "\\newline\n") .replace('\n', "\\newline\n")
} }