Continuing in this case invites disaster. So let's try returning.

diff --git a/src/Text2.cpp b/src/Text2.cpp
index fe2d94e831ae6f2b2540fb5af62d655adf609ae4..67c626801290568d618eee491b6b4df2b3e9c5c3 100644 (file)
--- a/src/Text2.cpp
+++ b/src/Text2.cpp
@@ -263,7 +263,7 @@ void Text::changeDepth(Cursor & cur, DEPTH_CHANGE type)
 
 void Text::setFont(Cursor & cur, Font const & font, bool toggleall)
 {
-       LASSERT(this == cur.text(), /**/);
+       LASSERT(this == cur.text(), return);
        // Set the current_font
        // Determine basis font
        FontInfo layoutfont;