///
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;