3 function emit_buffer() {
\r
19 if (length(buffer) > 0) gsub("^ *", "");
\r
22 /\\begin_inset Newline newline$/ {
\r
23 if (NR > 1) emit_buffer();
\r
27 buffer = buffer "\\";
\r
32 gsub("\\\\.*$", "");
\r
40 if (length(buffer) > 0) emit_buffer();
\r