]> git.lyx.org Git - lyx.git/blobdiff - src/Row.cpp
Fix bug #12772
[lyx.git] / src / Row.cpp
index 423768f9bd48813b4eace31c3fdf26b5888162aa..c39d63bd20e66025ad4ac9f8e85bfbc9c40f8260 100644 (file)
@@ -27,6 +27,7 @@
 #include "support/lassert.h"
 #include "support/lstrings.h"
 #include "support/lyxlib.h"
+#include "support/textutils.h"
 
 #include <algorithm>
 #include <ostream>
@@ -42,25 +43,17 @@ using frontend::FontMetrics;
 static double const MAX_SPACE_STRETCH = 1.5; //em
 
 
-int Row::Element::countSeparators() const
-{
-       if (type != STRING)
-               return 0;
-       return count(str.begin(), str.end(), ' ');
-}
-
-
 int Row::Element::countExpanders() const
 {
-       if (type != STRING)
+       if (type != STRING || font.fontInfo().family() == TYPEWRITER_FAMILY)
                return 0;
-       return theFontMetrics(font).countExpanders(str);
+       return support::countExpanders(str);
 }
 
 
 int Row::Element::expansionAmount() const
 {
-       if (type != STRING)
+       if (type != STRING || font.fontInfo().family() == TYPEWRITER_FAMILY)
                return 0;
        return countExpanders() * theFontMetrics(font).em();
 }
@@ -68,7 +61,7 @@ int Row::Element::expansionAmount() const
 
 void Row::Element::setExtra(double extra_per_em)
 {
-       if (type != STRING)
+       if (type != STRING || font.fontInfo().family() == TYPEWRITER_FAMILY)
                return;
        extra = extra_per_em * theFontMetrics(font).em();
 }
@@ -114,6 +107,7 @@ pos_type Row::Element::x2pos(int &x) const
                break;
        case INSET:
        case SPACE:
+       case MARGINSPACE:
                // those elements contain only one position. Round to
                // the closest side.
                if (x > (full_width() + 1) / 2) {
@@ -150,8 +144,12 @@ bool Row::Element::splitAt(int const width, int next_width, bool force,
        FontMetrics::Breaks breaks = fm.breakString(str, width, next_width,
                                                 isRTL(), wrap_any | force);
 
-       // if breaking did not really work, give up
-       if (!force && breaks.front().wid > width) {
+       /** if breaking did not really work, give up
+        * case 1: we do not force break and the first element is longer than the limit;
+        * case 2: the first break occurs at the front of the string
+        */
+       if ((!force && breaks.front().nspc_wid > width)
+           || (breaks.size() > 1 && breaks.front().len == 0)) {
                if (dim.wid == 0)
                        dim.wid = fm.width(str);
                return false;
@@ -162,12 +160,6 @@ bool Row::Element::splitAt(int const width, int next_width, bool force,
        bool first = true;
        docstring::size_type i = 0;
        for (FontMetrics::Break const & brk : breaks) {
-               /* For some reason breakString can decide to break before the
-                * first character (normally we use a 0-width nbsp to prevent
-                * that). Skip leading empty elements, they are never wanted.
-                */
-               if (first && brk.len == 0 && breaks.size() > 1)
-                       continue;
                Element e(STRING, pos + i, font, change);
                e.str = str.substr(i, brk.len);
                e.endpos = e.pos + brk.len;
@@ -197,8 +189,20 @@ bool Row::Element::splitAt(int const width, int next_width, bool force,
                // first_e row should be broken after the original element
                first_e.row_flags |= BreakAfter;
        } else {
-               // Restore the after flags of the original element.
+#if 1
+               // remove the BreakAfter that got added above.
                first_e.row_flags &= ~BreakAfter;
+#else
+               // FIXME : the code below looks like a good idea, but I do not
+               //         have a use case yet. The question is what happens
+               //         when breaking at the end of a string with a
+               //         trailing space.
+               // if it turns out that no breaking was necessary, remove the
+               // BreakAfter that got added above.
+               if (first_e.dim.wid <= width)
+                       first_e.row_flags &= ~BreakAfter;
+#endif
+               // Restore the after flags of the original element.
                first_e.row_flags |= row_flags & AfterFlags;
        }
 
@@ -210,14 +214,13 @@ bool Row::Element::splitAt(int const width, int next_width, bool force,
 
 void Row::Element::rtrim()
 {
-       if (type != STRING)
+       if (type != STRING || str.empty() || !isSpace(str.back()))
                return;
        /* This is intended for strings that have been created by splitAt.
-        * They may have trailing spaces, but they are not counted in the
-        * string length (QTextLayout feature, actually). We remove them,
-        * and decrease endpos, since spaces at row break are invisible.
+        * If There is a trailing space, we remove it and decrease endpos,
+        * since spaces at row break are invisible.
         */
-       str = support::rtrim(str);
+       str.pop_back();
        endpos = pos + str.length();
        dim.wid = nspc_wid;
 }
@@ -313,6 +316,9 @@ ostream & operator<<(ostream & os, Row::Element const & e)
                break;
        case Row::SPACE:
                os << "SPACE: ";
+               break;
+       case Row::MARGINSPACE:
+               os << "MARGINSPACE: ";
        }
        os << "width=" << e.full_width() << ", row_flags=" << e.row_flags;
        return os;
@@ -332,7 +338,7 @@ ostream & operator<<(ostream & os, Row::Elements const & elts)
 
 ostream & operator<<(ostream & os, Row const & row)
 {
-       os << " pos: " << row.pos_ << " end: " << row.end_
+       os << " pit: " << row.pit_ << " pos: " << row.pos_ << " end: " << row.end_
           << " left_margin: " << row.left_margin
           << " width: " << row.dim_.wid
           << " right_margin: " << row.right_margin
@@ -340,8 +346,9 @@ ostream & operator<<(ostream & os, Row const & row)
           << " descent: " << row.dim_.des
           << " separator: " << row.separator
           << " label_hfill: " << row.label_hfill
-          << " right_boundary: " << row.right_boundary()
-          << " flushed: " << row.flushed() << "\n";
+          << " end_boundary: " << row.end_boundary()
+          << " flushed: " << row.flushed_
+          << " rtl=" << row.rtl_ << "\n";
        // We cannot use the operator above, unfortunately
        double x = row.left_margin;
        for (Row::Element const & e : row.elements_) {
@@ -381,16 +388,6 @@ int Row::right_x() const
 }
 
 
-int Row::countSeparators() const
-{
-       int n = 0;
-       const_iterator const end = elements_.end();
-       for (const_iterator cit = elements_.begin() ; cit != end ; ++cit)
-               n += cit->countSeparators();
-       return n;
-}
-
-
 bool Row::setExtraWidth(int w)
 {
        if (w < 0)
@@ -456,12 +453,12 @@ void Row::add(pos_type const pos, Inset const * ins, Dimension const & dim,
 
 
 void Row::add(pos_type const pos, char_type const c,
-              Font const & f, Change const & ch, bool can_break)
+              Font const & f, Change const & ch)
 {
        if (!sameString(f, ch)) {
                finalizeLast();
                Element e(STRING, pos, f, ch);
-               e.row_flags = can_break ? CanBreakInside : Inline;
+               e.row_flags = CanBreakInside;
                elements_.push_back(e);
        }
        back().str += c;
@@ -498,6 +495,18 @@ void Row::addSpace(pos_type const pos, int const width,
 }
 
 
+void Row::addMarginSpace(pos_type const pos, int const width,
+                  Font const & f, Change const & ch)
+{
+       finalizeLast();
+       Element e(MARGINSPACE, pos, f, ch);
+       e.dim.wid = width;
+       e.row_flags = NoBreakBefore;
+       elements_.push_back(e);
+       dim_.wid += e.dim.wid;
+}
+
+
 void Row::push_back(Row::Element const & e)
 {
        dim_.wid += e.dim.wid;
@@ -521,7 +530,7 @@ void moveElements(Row::Elements & from, Row::Elements::iterator const & it,
        to.insert(to.end(), it, from.end());
        from.erase(it, from.end());
        if (!from.empty())
-               from.back().row_flags = (from.back().row_flags & ~AfterFlags) | BreakAfter;
+               from.back().row_flags = (from.back().row_flags & ~AfterFlags) | AlwaysBreakAfter;
 }
 
 }
@@ -564,7 +573,7 @@ Row::Elements Row::shortenIfNeeded(int const w, int const next_width)
                Element brk = *cit_brk;
                /* If the current element is an inset that allows breaking row
                 * after itself, and if the row is already short enough after
-                * this inset, then cut right after this element.
+                * this element, then cut right after it.
                 */
                if (wid_brk <= w && brk.row_flags & CanBreakAfter) {
                        end_ = brk.endpos;
@@ -574,6 +583,16 @@ Row::Elements Row::shortenIfNeeded(int const w, int const next_width)
                }
                // assume now that the current element is not there
                wid_brk -= brk.dim.wid;
+               /* If the current element is an inset that allows breaking row
+                * before itself, and if the row is already short enough before
+                * this element, then cut right before it.
+                */
+               if (wid_brk <= w && brk.row_flags & CanBreakBefore && cit_brk != beg) {
+                       end_ = (cit_brk -1)->endpos;
+                       dim_.wid = wid_brk;
+                       moveElements(elements_, cit_brk, tail);
+                       return tail;
+               }
                /* We have found a suitable separable element. This is the common case.
                 * Try to break it cleanly at a length that is both
                 * - less than the available space on the row
@@ -582,12 +601,31 @@ Row::Elements Row::shortenIfNeeded(int const w, int const next_width)
                 */
                if (brk.splitAt(min(w - wid_brk, brk.dim.wid - 2), next_width, false, tail)) {
                        /* if this element originally did not cause a row overflow
-                        * in itself, and the remainder of the row would still be
-                        * too large after breaking, then we will have issues in
-                        * next row. Thus breaking does not help.
+                        * in itself, and the next item is not breakable and would
+                        * still be too large after breaking, then we will have
+                        * issues in next row. Thus breaking does not help.
+                        *
+                        * FIXME: this is not perfect, since it is difficult to
+                        * know whether next element in tail is too large:
+                        *
+                        * - next element could be a very long word, which is
+                        *   theoretically breakable, but not in practice
+                        *   (difficult to solve).
+                        *
+                        * - next element could be short enough, but linked to
+                        *   another one with a NoBreak bond.
+                        *
+                        * Basically, it is difficult to solve that in a purely
+                        * left-to-right algorithm; implementing the TeX badness
+                        * algorithm is more difficult and more costly, so we do
+                        * our best in our restricted setting.
                         */
+                       auto const cit_next = cit_brk + 1;
+                       int const tail_wid = !tail.empty() ? tail.front().dim.wid : 0;
                        if (wid_brk + cit_brk->dim.wid < w
-                           && dim_.wid - (wid_brk + brk.dim.wid) >= next_width) {
+                           && cit_next != elements_.end()
+                           && tail_wid + cit_next->dim.wid > next_width
+                           && !(cit_next->row_flags & CanBreakInside)) {
                                tail.clear();
                                break;
                        }
@@ -629,7 +667,9 @@ Row::Elements Row::shortenIfNeeded(int const w, int const next_width)
                return tail;
        }
 
-       return Elements();
+       // cit == beg; remove all elements after the first one.
+       moveElements(elements_, cit + 1, tail);
+       return tail;
 }
 
 
@@ -688,10 +728,9 @@ Row::findElement(pos_type const pos, bool const boundary, double & x) const
                 * to accept virtual elements, in which case the position
                 * will be before the virtual element.
                 */
-               if (cit->isVirtual() && pos + boundary_corr == cit->pos)
-                       break;
-               else if (pos + boundary_corr >= cit->pos
-                        && pos + boundary_corr < cit->endpos) {
+               if ((pos + boundary_corr >= cit->pos && pos + boundary_corr < cit->endpos)
+                   || (cit->isVirtual() && pos + boundary_corr == cit->pos)) {
+                       // FIXME: shall we use `pos + boundary_corr' here?
                        x += cit->pos2x(pos);
                        break;
                }