Font font_;
};
-
-class matchFT
-{
-public:
- /// used by lower_bound and upper_bound
- int operator()(FontTable const & a, FontTable const & b) const {
- return a.pos() < b.pos();
- }
-};
+class LaTeXFeatures;
///
class FontList
///
void set(pos_type pos, Font const & font);
///
+ void setRange(
+ pos_type startpos,
+ pos_type endpos,
+ Font const & font);
+ ///
void increasePosAfterPos(pos_type pos);
///
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_;