Font font_;
};
+class LaTeXFeatures;
+
///
class FontList
{
///
void decreasePosAfterPos(pos_type pos);
+ /// Returns the height of the highest font in range
+ Font_size highestInRange(
+ pos_type startpos,
+ pos_type endpos,
+ Font_size 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;
+
private:
///
List list_;