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)
-{
- // FIXME: Optimize!!!
- for (pos_type pos = startpos; pos != endpos; ++pos) {
- Font f = get(pos);
- f.setMisspelled(misspelled);
- set(pos, f);
- }
-}
-
-
FontSize FontList::highestInRange(pos_type startpos, pos_type endpos,
FontSize def_size) const
{