In Paragraph::changeCase, correctly track the font of the changed characters (fix crash)

Fixes: #7943
This commit is contained in:
Juergen Spitzmueller 2014-03-24 09:15:00 +01:00 committed by Richard Heck
parent 30f2c2c4e3
commit 0b2d89eaea

View File

@ -3670,7 +3670,9 @@ void Paragraph::changeCase(BufferParams const & bparams, pos_type pos,
// process sequences of modified characters; in change
// tracking mode, this approach results in much better
// usability than changing case on a char-by-char basis
docstring changes;
// We also need to track the current font, since font
// changes within sequences can occur.
vector<pair<char_type, Font> > changes;
bool const trackChanges = bparams.trackChanges;
@ -3704,7 +3706,7 @@ void Paragraph::changeCase(BufferParams const & bparams, pos_type pos,
}
if (oldChar != newChar) {
changes += newChar;
changes.push_back(make_pair(newChar, getFontSettings(bparams, pos)));
if (pos != right - 1)
continue;
// step behind the changing area
@ -3713,9 +3715,8 @@ void Paragraph::changeCase(BufferParams const & bparams, pos_type pos,
int erasePos = pos - changes.size();
for (size_t i = 0; i < changes.size(); i++) {
insertChar(pos, changes[i],
getFontSettings(bparams,
erasePos),
insertChar(pos, changes[i].first,
changes[i].second,
trackChanges);
if (!eraseChar(erasePos, trackChanges)) {
++erasePos;