class DocIterator;
class Inset;
+/**
+ * FIXME: Change Row object to operate only on integers and not doubles.
+ *
+ * This use of double is only useful to distribute the extra
+ * horizontal space between separators in justified text. If we do
+ * integer arithmetic, then it is possible to have two groups of
+ * separators, with size s or s+1. Then strings can be drawn without
+ * cutting at separators in justfied text, as it is done in
+ * non-justified text. This will improve performance.
+ */
+
+
/**
* An on-screen row of text. A paragraph is broken into a RowList for
* display. Each Row contains a tokenized description of the contents
: type(t), pos(p), endpos(p + 1), inset(0),
extra(0), font(f), change(ch), final(false) {}
- // returns total width of element, including separator overhead
- double width() const { return dim.wid + extra; };
- // returns position in pixels (from the left) of position
- // \param i in the row element
- double pos2x(pos_type const i) const;
+ // Return total width of element, including separator overhead
+ double full_width() const { return dim.wid + extra * countSeparators(); };
+ // Return the number of separator in the element (only STRING type)
+ int countSeparators() const;
+ /** Return position in pixels (from the left) of position
+ * \param i in the row element.
+ */
+ double pos2x(pos_type const i) const;
/** Return character position that is the closest to
* pixel position \param x. The value \param x is
- * rounded to the actual pixel position. If \param
- * short is true, the pixel value is rounded by
- * default.
+ * adjusted to the actual pixel position.
*/
- pos_type x2pos(double &x, bool low = false) const;
+ pos_type x2pos(int &x) const;
+ /** Break the element if possible, so that its width is less
+ * than \param w. Returns true on success. When \param force
+ * is true, the string is cut at any place, other wise it
+ * respects the row breaking rules of characters.
+ */
+ bool breakAt(int w, bool force);
+
+ // Returns the position on left side of the element.
+ pos_type left_pos() const;
+ // Returns the position on right side of the element.
+ pos_type right_pos() const;
// The kind of row element
Type type;
Dimension & dimension() { return dim_; }
///
int height() const { return dim_.height(); }
- ///
+ /// The width of the row, including the left margin, but not the right one.
int width() const { return dim_.wid; }
///
int ascent() const { return dim_.asc; }
///
int descent() const { return dim_.des; }
+ // Return the number of separators in the row
+ int countSeparators() const;
+ // Set the extra spacing for every separator in STRING elements
+ void setSeparatorExtraWidth(double w);
+
///
void add(pos_type pos, Inset const * ins, Dimension const & dim,
Font const & f, Change const & ch);
///
bool empty() const { return elements_.empty(); }
///
+ Element & front() { return elements_.front(); }
+ ///
+ Element const & front() const { return elements_.front(); }
+ ///
Element & back() { return elements_.back(); }
///
Element const & back() const { return elements_.back(); }
/**
* if row width is too large, remove all elements after last
* separator and update endpos if necessary. If all that
- * rename is a large word, cut it to \param width.
+ * remains is a large word, cut it to \param width.
* \param body_pos minimum amount of text to keep.
* \param width maximum width of the row
*/
- void shorten_if_needed(pos_type const body_pos, int const width);
+ void shortenIfNeeded(pos_type const body_pos, int const width);
/**
* If last element of the row is a string, compute its width
double separator;
/// width of hfills in the label
double label_hfill;
- /// the x position of the row (left margin)
- double x;
+ /// the left margin position of the row
+ int left_margin;
/// the right margin of the row
int right_margin;
///