///
bool empty() const { return list_.empty(); }
///
- void clear() { return list_.clear(); }
+ void clear() { list_.clear(); }
///
void erase(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);
///
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;