Fixup 216a6fb348: close <mtext> when quitting text mode

This fixes malformed documents on UserGuide export.

Related to bug #13069.
This commit is contained in:
Jean-Marc Lasgouttes 2024-07-23 22:02:50 +02:00
parent a268fe096a
commit 1385f0fddd

View File

@ -547,6 +547,7 @@ SetMode::SetMode(MathMLStream & ms, bool text)
SetMode::~SetMode()
{
ms_.beforeTag();
ms_.text_level_ = old_text_level_;
}