break;
}
- if (token == "\\the_end") {
- lex.printError("\\the_end read in inset! Error in document!");
+ if (token == "\\end_document") {
+ lex.printError("\\end_document read in inset! Error in document!");
return;
}
if (cur == text_.cursor)
return;
text_.setSelection();
- bool flag = (text_.toggle_cursor.par() != text_.toggle_end_cursor.par() ||
- text_.toggle_cursor.pos() != text_.toggle_end_cursor.pos());
- if (flag) {
- updateLocal(bv, SELECTION, false);
- }
+ updateLocal(bv, SELECTION, false);
}