///
bool empty() const { return list_.empty(); }
///
+ void clear() { list_.clear(); }
+ ///
void erase(pos_type pos);
///
iterator fontIterator(pos_type pos);
///
const_iterator fontIterator(pos_type pos) const;
///
- Font & get(pos_type pos);
+ Font const & get(pos_type pos);
///
void set(pos_type pos, Font const & font);
///
///
void decreasePosAfterPos(pos_type pos);
- /// Returns the height of the highest font in range
- FontSize highestInRange(
- pos_type startpos,
- pos_type endpos,
- FontSize def_size
- ) const;
-
- /// is there a font change in middle of the word?
- bool hasChangeInRange(
- pos_type pos, ///< position in the paragraph.
- int len ///< length of the range to check.
- ) const;
-
///
void validate(LaTeXFeatures & features) const;