+ int descent() const { return descent_; }
+ /// current debugging only
+ void dump(const char * = "") const;
+
+private:
+ /// first pos covered by this row
+ pos_type pos_;
+ /// one behind last pos covered by this row
+ pos_type end_;
+ ///
+ int ascent_;
+ ///
+ int descent_;
+ ///
+ int width_;
+};
+
+
+class RowMetrics {
+public:
+ RowMetrics();
+ /// width of a separator (i.e. space)
+ double separator;
+ /// width of hfills in the body
+ double hfill;
+ /// width of hfills in the label
+ double label_hfill;
+ /// the x position of the row
+ double x;