space_inserted = true;
}
} else if (specialchars.find(ch) != specialchars.end()) {
- par.insertInset(pos, new InsetSpecialChar(specialchars.find(ch)->second),
+ if (par.insertInset(pos, new InsetSpecialChar(specialchars.find(ch)->second),
font, bparams.track_changes ?
Change(Change::INSERTED)
- : Change(Change::UNCHANGED));
- ++pos;
+ : Change(Change::UNCHANGED)))
+ ++pos;
space_inserted = false;
} else if (!isPrintable(ch)) {
// Ignore (other) unprintables