}
-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
{