+2005-07-15 Georg Baum <Georg.Baum@post.rwth-aachen.de>
+
+ * text.C (parse_environment): handle context of unknown environments
+ correctly (fixes bug 1910)
+ * text.C (parse_environment): output the end of known environments
+ (one line disappeared from yesterdays patch)
+
2005-07-13 Georg Baum <Georg.Baum@post.rwth-aachen.de>
* math.C (is_math_env): Don't hardcode known math environments anymore
else if (name == "tabbing") {
// We need to remember that we have to handle '\=' specially
handle_ert(os, "\\begin{" + name + "}", parent_context);
- parse_text_snippet(p, os, FLAG_END | FLAG_TABBING, outer, parent_context);
+ // FIXME: Try whether parse_text instead of parse_text_snippet
+ // works. Then no manual layout checking would be needed.
+ parent_context.check_end_layout(os);
+ parse_text_snippet(p, os, FLAG_END | FLAG_TABBING, outer,
+ parent_context);
+ parent_context.need_layout = true;
handle_ert(os, "\\end{" + name + "}", parent_context);
}
if (contents == verbatim)
handle_ert(os, p.verbatimEnvironment(name),
parent_context);
- else
+ else {
+ // FIXME: Try whether parse_text instead of
+ // parse_text_snippet works. Then no manual layout
+ // checking would be needed.
+ parent_context.check_end_layout(os);
parse_text_snippet(p, os, FLAG_END, outer,
parent_context);
+ parent_context.need_layout = true;
+ }
+ handle_ert(os, "\\end{" + name + "}", parent_context);
}
else {
handle_ert(os, "\\begin{" + name + "}", parent_context);
+ // FIXME: Try whether parse_text instead of parse_text_snippet
+ // works. Then no manual layout checking would be needed.
+ parent_context.check_end_layout(os);
parse_text_snippet(p, os, FLAG_END, outer, parent_context);
+ parent_context.need_layout = true;
handle_ert(os, "\\end{" + name + "}", parent_context);
}