- /// is this an expandible space (rubber length)?
- bool isStretchableSpace() const;
-
- // should this inset be handled like a normal charater
+ /// does this inset try to use all available space (like \\hfill does)?
+ bool isHfill() const;
+ /// should this inset be handled like a normal character?