lex.next(true);
docstring const mlabel = _(lex.getString());
lex.next(true);
- docstring const mname = from_utf8(lex.getString());
+ docstring const mname = lex.getDocString();
add(MenuItem(MenuItem::Submenu, mlabel, mname,
optional));
optional = false;
break;
case md_menu: {
lex.next(true);
- docstring const name = from_utf8(lex.getString());
+ docstring const name = lex.getDocString();
if (hasMenu(name)) {
getMenu(name).read(lex);
} else {
docstring const s = bformat(_("Unknown token: "
"%1$s %2$s\n"),
from_utf8(token),
- from_utf8(lex.getString()));
+ lex.getDocString());
errorList.push_back(ErrorItem(_("Document header error"),
s, -1, 0, 0));
}
par.insertInset(par.size(), inset, font, change);
else {
lex.eatLine();
- docstring line = from_utf8(lex.getString());
+ docstring line = lex.getDocString();
errorList.push_back(ErrorItem(_("Unknown Inset"), line,
par.id(), 0, par.size()));
}
lex.eatLine();
errorList.push_back(ErrorItem(_("Unknown token"),
bformat(_("Unknown token: %1$s %2$s\n"), from_utf8(token),
- from_utf8(lex.getString())),
+ lex.getDocString()),
par.id(), 0, par.size()));
}
}