- LyXFont::FONT_SIZE highestFontInRange(size_type startpos,
- size_type endpos) const;
+ LyXFont::FONT_SIZE highestFontInRange(lyx::pos_type startpos,
+ lyx::pos_type endpos,
+ LyXFont::FONT_SIZE const def_size) const;
+ ///
+ void insertChar(lyx::pos_type pos, value_type c);