+bool Row::isMarginSelected(bool left_margin, DocIterator const & beg,
+ DocIterator const & end) const
+{
+ pos_type const sel_pos = left_margin ? sel_beg : sel_end;
+ pos_type const margin_pos = left_margin ? pos_ : end_;
+
+ // Is the chosen margin selected ?
+ if (sel_pos == margin_pos) {
+ if (beg.pos() == end.pos())
+ // This is a special case in which the space between after
+ // pos i-1 and before pos i is selected, i.e. the margins
+ // (see DocIterator::boundary_).
+ return beg.boundary() && !end.boundary();
+ else if (end.pos() == margin_pos)
+ // If the selection ends around the margin, it is only
+ // drawn if the cursor is after the margin.
+ return !end.boundary();
+ else if (beg.pos() == margin_pos)
+ // If the selection begins around the margin, it is
+ // only drawn if the cursor is before the margin.
+ return beg.boundary();
+ else
+ return true;
+ }
+ return false;
+}
+
+
+void Row::setSelectionAndMargins(DocIterator const & beg,
+ DocIterator const & end) const
+{
+ setSelection(beg.pos(), end.pos());
+
+ if (selection()) {
+ end_margin_sel = isMarginSelected(false, beg, end);
+ begin_margin_sel = isMarginSelected(true, beg, end);
+ }
+}
+
+
+void Row::setSelection(pos_type beg, pos_type end) const
+{
+ if (pos_ >= beg && pos_ <= end)
+ sel_beg = pos_;
+ else if (beg > pos_ && beg <= end_)
+ sel_beg = beg;
+ else
+ sel_beg = -1;
+
+ if (end_ >= beg && end_ <= end)
+ sel_end = end_;
+ else if (end < end_ && end >= pos_)
+ sel_end = end;
+ else
+ sel_end = -1;
+}
+
+
+bool Row::selection() const
+{
+ return sel_beg != -1 && sel_end != -1;
+}
+
+
+ostream & operator<<(ostream & os, Row::Element const & e)
+{
+ if (e.font.isVisibleRightToLeft())
+ os << e.endpos << "<<" << e.pos << " ";
+ else
+ os << e.pos << ">>" << e.endpos << " ";
+
+ switch (e.type) {
+ case Row::STRING:
+ os << "STRING: `" << to_utf8(e.str) << "', ";
+ break;
+ case Row::VIRTUAL:
+ os << "VIRTUAL: `" << to_utf8(e.str) << "', ";
+ break;
+ case Row::INSET:
+ os << "INSET: " << to_utf8(e.inset->layoutName()) << ", ";
+ break;
+ case Row::SEPARATOR:
+ os << "SEPARATOR: extra=" << e.extra << ", ";
+ break;
+ case Row::SPACE:
+ os << "SPACE: ";
+ break;
+ }
+ os << "width=" << e.full_width();
+ return os;
+}
+
+
+ostream & operator<<(ostream & os, Row const & row)
+{
+ os << " pos: " << row.pos_ << " end: " << row.end_
+ << " left_margin: " << row.left_margin
+ << " width: " << row.dim_.wid
+ << " right_margin: " << row.right_margin
+ << " ascent: " << row.dim_.asc
+ << " descent: " << row.dim_.des
+ << " separator: " << row.separator
+ << " label_hfill: " << row.label_hfill
+ << " row_boundary: " << row.right_boundary() << "\n";
+ double x = row.left_margin;
+ Row::Elements::const_iterator it = row.elements_.begin();
+ for ( ; it != row.elements_.end() ; ++it) {
+ os << "x=" << x << " => " << *it << endl;
+ x += it->full_width();
+ }
+ return os;
+}
+
+
+bool Row::sameString(Font const & f, Change const & ch) const
+{
+ if (elements_.empty())
+ return false;
+ Element const & elt = elements_.back();
+ return elt.type == STRING && !elt.final
+ && elt.font == f && elt.change == ch;
+}
+
+
+void Row::finalizeLast()
+{
+ if (elements_.empty())
+ return;
+ Element & elt = elements_.back();
+ if (elt.final)
+ return;
+ elt.final = true;
+
+ if (elt.type == STRING) {
+ elt.dim.wid = theFontMetrics(elt.font).width(elt.str);
+ dim_.wid += elt.dim.wid;
+ }
+}
+
+
+void Row::add(pos_type const pos, Inset const * ins, Dimension const & dim,
+ Font const & f, Change const & ch)
+{
+ finalizeLast();
+ Element e(INSET, pos, f, ch);
+ e.inset = ins;
+ e.dim = dim;
+ elements_.push_back(e);
+ dim_.wid += dim.wid;
+}
+
+
+void Row::add(pos_type const pos, char_type const c,
+ Font const & f, Change const & ch)
+{
+ if (!sameString(f, ch)) {
+ finalizeLast();
+ Element e(STRING, pos, f, ch);
+ elements_.push_back(e);
+ }
+ back().str += c;
+ back().endpos = pos + 1;
+}
+
+
+void Row::addVirtual(pos_type const pos, docstring const & s,
+ Font const & f, Change const & ch)