DescriptionRename Grob::pure_height() to pure_y_extent() to avoid ambiguity with pure_height() callbacks in many grob-interface classes.
This is preparatory to deriving the interface classes from Grob.
Patch Set 1 #
MessagesTotal messages: 2
|