+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()) {
+ right_margin_sel = isMarginSelected(false, beg, end);
+ left_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;
+}
+
+
+void Row::dump(char const * s) const