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