+ /// Set the height of the row (without space above/below paragraph)
+ void setRowHeight(Row & row) const;
+ // Compute the space on top of a paragraph
+ int parTopSpacing(pit_type pit) const;
+ // Compute the space below a a paragraph
+ int parBottomSpacing(pit_type pit) const;
+