}
-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: move misspelled state out of font!?
- for (pos_type p = startpos; p <= endpos; ++p) {
- Font f = fontIterator(p)->font();
- if (f.isMisspelled() != misspelled) {
- f.setMisspelled(misspelled);
- set(p, f);
- }
- }
-}
-
-
FontSize FontList::highestInRange(pos_type startpos, pos_type endpos,
FontSize def_size) const
{