bool const end = found && list_[i].pos() == pos;
if (!begin && !end) {
- // The general case: The block is splitted into 3 blocks
+ // The general case: The block is split into 3 blocks
list_.insert(list_.begin() + i,
FontTable(pos - 1, list_[i].font()));
list_.insert(list_.begin() + i + 1,
}
-void FontList::setMisspelled(pos_type startpos, pos_type endpos,
- bool misspelled)
-{
- if (list_.empty())
- return;
-
- List::iterator end_it = fontIterator(endpos);
- List::iterator const end = list_.end();
- if (end_it != end)
- ++end_it;
-
- List::iterator cit = fontIterator(startpos);
- for (; cit != end_it; ++cit)
- cit->font_.setMisspelled(misspelled);
-}
-
-
FontSize FontList::highestInRange(pos_type startpos, pos_type endpos,
FontSize def_size) const
{