extra(0), font(f), change(ch), final(false) {}
// Return total width of element, including separator overhead
- double full_width() const { return dim.wid + extra * countSeparators(); };
+ double full_width() const { return dim.wid + extra * countSeparators(); }
// Return the number of separator in the element (only STRING type)
int countSeparators() const;
// Returns the position on right side of the element.
pos_type right_pos() const;
+ //
+ bool isRTL() const { return font.isVisibleRightToLeft(); }
+ // This is true for virtual elements.
+ // Note that we do not use the type here. The two definitions
+ // should be equivalent
+ bool isVirtual() const { return pos == endpos; }
+
// The kind of row element
Type type;
// position of the element in the paragraph