}
-Font & FontList::get(pos_type pos)
+Font const & FontList::get(pos_type pos)
{
iterator end = list_.end();
iterator it = fontIterator(pos);
if (it != end && it->pos() == pos)
return it->font_;
- static Font dummy;
+
+ static Font const dummy;
return dummy;
}
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!
- Font f = fontIterator(startpos)->font();
- f.setMisspelled(misspelled);
- setRange(startpos, endpos, f);
-}
-
-
FontSize FontList::highestInRange(pos_type startpos, pos_type endpos,
FontSize def_size) const
{