src/Row.cpp

   1 /**
   2  * \file Row.cpp
   3  * This file is part of LyX, the document processor.
   4  * Licence details can be found in the file COPYING.
   5  *
   6  * \author Lars Gullik Bjønnes
   7  * \author John Levon
   8  * \author André Pönitz
   9  * \author Jürgen Vigna
  10  * \author Jean-Marc Lasgouttes
  11  *
  12  * Full author contact details are available in file CREDITS.
  13  *
  14  * Metrics for an on-screen text row.
  15  */
  16
  17 #include <config.h>
  18
  19 #include "Row.h"
  20
  21 #include "DocIterator.h"
  22
  23 #include "frontends/FontMetrics.h"
  24
  25 #include "support/debug.h"
  26 #include "support/lassert.h"
  27 #include "support/lstrings.h"
  28 #include "support/lyxalgo.h"
  29
  30 #include <ostream>
  31
  32 using namespace std;
  33
  34 namespace lyx {
  35
  36 using support::rtrim;
  37 using frontend::FontMetrics;
  38
  39
  40 // Maximum length that a space can be stretched when justifying text
  41 static double const MAX_SPACE_STRETCH = 1.5; //em
  42
  43
  44 int Row::Element::countSeparators() const
  45 {
  46         if (type != STRING)
  47                 return 0;
  48         return count(str.begin(), str.end(), ' ');
  49 }
  50
  51
  52 int Row::Element::countExpanders() const
  53 {
  54         if (type != STRING)
  55                 return 0;
  56         return theFontMetrics(font).countExpanders(str);
  57 }
  58
  59
  60 int Row::Element::expansionAmount() const
  61 {
  62         if (type != STRING)
  63                 return 0;
  64         return countExpanders() * theFontMetrics(font).em();
  65 }
  66
  67
  68 void Row::Element::setExtra(double extra_per_em)
  69 {
  70         if (type != STRING)
  71                 return;
  72         extra = extra_per_em * theFontMetrics(font).em();
  73 }
  74
  75
  76 double Row::Element::pos2x(pos_type const i) const
  77 {
  78         // This can happen with inline completion when clicking on the
  79         // row after the completion.
  80         if (i < pos || i > endpos)
  81                 return 0;
  82
  83         double w = 0;
  84         //handle first the two bounds of the element
  85         if (i == endpos && type != VIRTUAL)
  86                 w = isRTL() ? 0 : full_width();
  87         else if (i == pos || type != STRING)
  88                 w = isRTL() ? full_width() : 0;
  89         else {
  90                 FontMetrics const & fm = theFontMetrics(font);
  91                 w = fm.pos2x(str, i - pos, isRTL(), extra);
  92         }
  93
  94         return w;
  95 }
  96
  97
  98 pos_type Row::Element::x2pos(int &x) const
  99 {
 100         //lyxerr << "x2pos: x=" << x << " w=" << width() << " " << *this;
 101         size_t i = 0;
 102
 103         switch (type) {
 104         case STRING: {
 105                 FontMetrics const & fm = theFontMetrics(font);
 106                 i = fm.x2pos(str, x, isRTL(), extra);
 107                 break;
 108         }
 109         case VIRTUAL:
 110                 // those elements are actually empty (but they have a width)
 111                 i = 0;
 112                 x = isRTL() ? int(full_width()) : 0;
 113                 break;
 114         case INSET:
 115         case SPACE:
 116                 // those elements contain only one position. Round to
 117                 // the closest side.
 118                 if (x > (full_width() + 1) / 2) {
 119                         x = int(full_width());
 120                         i = !isRTL();
 121                 } else {
 122                         x = 0;
 123                         i = isRTL();
 124                 }
 125         }
 126         //lyxerr << "=> p=" << pos + i << " x=" << x << endl;
 127         return pos + i;
 128 }
 129
 130
 131 bool Row::Element::breakAt(int w, bool force)
 132 {
 133         if (type != STRING || dim.wid <= w)
 134                 return false;
 135
 136         FontMetrics const & fm = theFontMetrics(font);
 137         int x = w;
 138         if(fm.breakAt(str, x, isRTL(), force)) {
 139                 dim.wid = x;
 140                 endpos = pos + str.length();
 141                 //lyxerr << "breakAt(" << w << ")  Row element Broken at " << x << "(w(str)=" << fm.width(str) << "): e=" << *this << endl;
 142                 return true;
 143         }
 144
 145         return false;
 146 }
 147
 148
 149 pos_type Row::Element::left_pos() const
 150 {
 151         return isRTL() ? endpos : pos;
 152 }
 153
 154
 155 pos_type Row::Element::right_pos() const
 156 {
 157         return isRTL() ? pos : endpos;
 158 }
 159
 160
 161 Row::Row()
 162         : separator(0), label_hfill(0), left_margin(0), right_margin(0),
 163           sel_beg(-1), sel_end(-1),
 164           begin_margin_sel(false), end_margin_sel(false),
 165           changed_(false), crc_(0),
 166           pit_(0), pos_(0), end_(0),
 167           right_boundary_(false), flushed_(false), rtl_(false)
 168 {}
 169
 170
 171 void Row::setCrc(size_type crc) const
 172 {
 173         changed_ = crc != crc_;
 174         crc_ = crc;
 175 }
 176
 177
 178 bool Row::isMarginSelected(bool left_margin, DocIterator const & beg,
 179                 DocIterator const & end) const
 180 {
 181         pos_type const sel_pos = left_margin ? sel_beg : sel_end;
 182         pos_type const margin_pos = left_margin ? pos_ : end_;
 183
 184         // Is the chosen margin selected ?
 185         if (sel_pos == margin_pos) {
 186                 if (beg.pos() == end.pos())
 187                         // This is a special case in which the space between after
 188                         // pos i-1 and before pos i is selected, i.e. the margins
 189                         // (see DocIterator::boundary_).
 190                         return beg.boundary() && !end.boundary();
 191                 else if (end.pos() == margin_pos)
 192                         // If the selection ends around the margin, it is only
 193                         // drawn if the cursor is after the margin.
 194                         return !end.boundary();
 195                 else if (beg.pos() == margin_pos)
 196                         // If the selection begins around the margin, it is
 197                         // only drawn if the cursor is before the margin.
 198                         return beg.boundary();
 199                 else
 200                         return true;
 201         }
 202         return false;
 203 }
 204
 205
 206 void Row::setSelectionAndMargins(DocIterator const & beg,
 207                 DocIterator const & end) const
 208 {
 209         setSelection(beg.pos(), end.pos());
 210
 211         if (selection()) {
 212                 end_margin_sel = isMarginSelected(false, beg, end);
 213                 begin_margin_sel = isMarginSelected(true, beg, end);
 214         }
 215 }
 216
 217
 218 void Row::setSelection(pos_type beg, pos_type end) const
 219 {
 220         if (pos_ >= beg && pos_ <= end)
 221                 sel_beg = pos_;
 222         else if (beg > pos_ && beg <= end_)
 223                 sel_beg = beg;
 224         else
 225                 sel_beg = -1;
 226
 227         if (end_ >= beg && end_ <= end)
 228                 sel_end = end_;
 229         else if (end < end_ && end >= pos_)
 230                 sel_end = end;
 231         else
 232                 sel_end = -1;
 233 }
 234
 235
 236 bool Row::selection() const
 237 {
 238         return sel_beg != -1 && sel_end != -1;
 239 }
 240
 241
 242 ostream & operator<<(ostream & os, Row::Element const & e)
 243 {
 244         if (e.isRTL())
 245                 os << e.endpos << "<<" << e.pos << " ";
 246         else
 247                 os << e.pos << ">>" << e.endpos << " ";
 248
 249         switch (e.type) {
 250         case Row::STRING:
 251                 os << "STRING: `" << to_utf8(e.str) << "' ("
 252                    << e.countExpanders() << " expanders.), ";
 253                 break;
 254         case Row::VIRTUAL:
 255                 os << "VIRTUAL: `" << to_utf8(e.str) << "', ";
 256                 break;
 257         case Row::INSET:
 258                 os << "INSET: " << to_utf8(e.inset->layoutName()) << ", ";
 259                 break;
 260         case Row::SPACE:
 261                 os << "SPACE: ";
 262                 break;
 263         }
 264         os << "width=" << e.full_width();
 265         return os;
 266 }
 267
 268
 269 ostream & operator<<(ostream & os, Row const & row)
 270 {
 271         os << " pos: " << row.pos_ << " end: " << row.end_
 272            << " left_margin: " << row.left_margin
 273            << " width: " << row.dim_.wid
 274            << " right_margin: " << row.right_margin
 275            << " ascent: " << row.dim_.asc
 276            << " descent: " << row.dim_.des
 277            << " separator: " << row.separator
 278            << " label_hfill: " << row.label_hfill
 279            << " row_boundary: " << row.right_boundary() << "\n";
 280         double x = row.left_margin;
 281         Row::Elements::const_iterator it = row.elements_.begin();
 282         for ( ; it != row.elements_.end() ; ++it) {
 283                 os << "x=" << x << " => " << *it << endl;
 284                 x += it->full_width();
 285         }
 286         return os;
 287 }
 288
 289
 290 int Row::left_x() const
 291 {
 292         double x = left_margin;
 293         const_iterator const end = elements_.end();
 294         const_iterator cit = elements_.begin();
 295         while (cit != end && cit->isVirtual()) {
 296                 x += cit->full_width();
 297                 ++cit;
 298         }
 299         return int(x + 0.5);
 300 }
 301
 302
 303 int Row::right_x() const
 304 {
 305         double x = dim_.wid;
 306         const_iterator const begin = elements_.begin();
 307         const_iterator cit = elements_.end();
 308         while (cit != begin) {
 309                 --cit;
 310                 if (cit->isVirtual())
 311                         x -= cit->full_width();
 312                 else
 313                         break;
 314         }
 315         return int(x + 0.5);
 316 }
 317
 318
 319 int Row::countSeparators() const
 320 {
 321         int n = 0;
 322         const_iterator const end = elements_.end();
 323         for (const_iterator cit = elements_.begin() ; cit != end ; ++cit)
 324                 n += cit->countSeparators();
 325         return n;
 326 }
 327
 328
 329 bool Row::setExtraWidth(int w)
 330 {
 331         if (w < 0)
 332                 // this is not expected to happen (but it does)
 333                 return false;
 334         // amount of expansion: number of expanders time the em value for each
 335         // string element
 336         int exp_amount = 0;
 337         for (Row::Element const & e : elements_)
 338                 exp_amount += e.expansionAmount();
 339         if (!exp_amount)
 340                 return false;
 341         // extra length per expander per em
 342         double extra_per_em = double(w) / exp_amount;
 343         if (extra_per_em > MAX_SPACE_STRETCH)
 344                 // do not stretch more than MAX_SPACE_STRETCH em per expander
 345                 return false;
 346         // add extra length to each element proportionally to its em.
 347         for (Row::Element & e : elements_)
 348                 if (e.type == Row::STRING)
 349                         e.setExtra(extra_per_em);
 350         // update row dimension
 351         dim_.wid += w;
 352         return true;
 353 }
 354
 355
 356 bool Row::sameString(Font const & f, Change const & ch) const
 357 {
 358         if (elements_.empty())
 359                 return false;
 360         Element const & elt = elements_.back();
 361         return elt.type == STRING && !elt.final
 362                    && elt.font == f && elt.change == ch;
 363 }
 364
 365
 366 void Row::finalizeLast()
 367 {
 368         if (elements_.empty())
 369                 return;
 370         Element & elt = elements_.back();
 371         if (elt.final)
 372                 return;
 373         elt.final = true;
 374
 375         if (elt.type == STRING) {
 376                 dim_.wid -= elt.dim.wid;
 377                 elt.dim.wid = theFontMetrics(elt.font).width(elt.str);
 378                 dim_.wid += elt.dim.wid;
 379         }
 380 }
 381
 382
 383 void Row::add(pos_type const pos, Inset const * ins, Dimension const & dim,
 384               Font const & f, Change const & ch)
 385 {
 386         finalizeLast();
 387         Element e(INSET, pos, f, ch);
 388         e.inset = ins;
 389         e.dim = dim;
 390         elements_.push_back(e);
 391         dim_.wid += dim.wid;
 392 }
 393
 394
 395 void Row::add(pos_type const pos, char_type const c,
 396               Font const & f, Change const & ch)
 397 {
 398         if (!sameString(f, ch)) {
 399                 finalizeLast();
 400                 Element e(STRING, pos, f, ch);
 401                 elements_.push_back(e);
 402         }
 403         if (back().str.length() % 30 == 0) {
 404                 dim_.wid -= back().dim.wid;
 405                 back().str += c;
 406                 back().endpos = pos + 1;
 407                 back().dim.wid = theFontMetrics(back().font).width(back().str);
 408                 dim_.wid += back().dim.wid;
 409         } else {
 410                 back().str += c;
 411                 back().endpos = pos + 1;
 412         }
 413 }
 414
 415
 416 void Row::addVirtual(pos_type const pos, docstring const & s,
 417                      Font const & f, Change const & ch)
 418 {
 419         finalizeLast();
 420         Element e(VIRTUAL, pos, f, ch);
 421         e.str = s;
 422         e.dim.wid = theFontMetrics(f).width(s);
 423         dim_.wid += e.dim.wid;
 424         e.endpos = pos;
 425         elements_.push_back(e);
 426         finalizeLast();
 427 }
 428
 429
 430 void Row::addSpace(pos_type const pos, int const width,
 431                    Font const & f, Change const & ch)
 432 {
 433         finalizeLast();
 434         Element e(SPACE, pos, f, ch);
 435         e.dim.wid = width;
 436         elements_.push_back(e);
 437         dim_.wid += e.dim.wid;
 438 }
 439
 440
 441 void Row::pop_back()
 442 {
 443         dim_.wid -= elements_.back().dim.wid;
 444         elements_.pop_back();
 445 }
 446
 447
 448 bool Row::shortenIfNeeded(pos_type const keep, int const w, int const next_width)
 449 {
 450         if (empty() || width() <= w)
 451                 return false;
 452
 453         Elements::iterator const beg = elements_.begin();
 454         Elements::iterator const end = elements_.end();
 455         int wid = left_margin;
 456
 457         // Search for the first element that goes beyond right margin
 458         Elements::iterator cit = beg;
 459         for ( ; cit != end ; ++cit) {
 460                 if (wid + cit->dim.wid > w)
 461                         break;
 462                 wid += cit->dim.wid;
 463         }
 464
 465         if (cit == end) {
 466                 // This should not happen since the row is too long.
 467                 LYXERR0("Something is wrong cannot shorten row: " << *this);
 468                 return false;
 469         }
 470
 471         // Iterate backwards over breakable elements and try to break them
 472         Elements::iterator cit_brk = cit;
 473         int wid_brk = wid + cit_brk->dim.wid;
 474         ++cit_brk;
 475         while (cit_brk != beg) {
 476                 --cit_brk;
 477                 // make a copy of the element to work on it.
 478                 Element brk = *cit_brk;
 479                 wid_brk -= brk.dim.wid;
 480                 if (brk.countSeparators() == 0 || brk.pos < keep)
 481                         continue;
 482                 /* We have found a suitable separable element. This is the common case.
 483                  * Try to break it cleanly (at word boundary) at a length that is both
 484                  * - less than the available space on the row
 485                  * - shorter than the natural width of the element, in order to enforce
 486                  *   break-up.
 487                  */
 488                 if (brk.breakAt(min(w - wid_brk, brk.dim.wid - 2), false)) {
 489                         /* if this element originally did not cause a row overflow
 490                          * in itself, and the remainder of the row would still be
 491                          * too large after breaking, then we will have issues in
 492                          * next row. Thus breaking does not help.
 493                          */
 494                         if (wid_brk + cit_brk->dim.wid < w
 495                             && dim_.wid - (wid_brk + brk.dim.wid) >= next_width) {
 496                                 break;
 497                         }
 498                         end_ = brk.endpos;
 499                         /* after breakAt, there may be spaces at the end of the
 500                          * string, but they are not counted in the string length
 501                          * (QTextLayout feature, actually). We remove them, but do
 502                          * not change the end of the row, since spaces at row
 503                          * break are invisible.
 504                          */
 505                         brk.str = rtrim(brk.str);
 506                         brk.endpos = brk.pos + brk.str.length();
 507                         *cit_brk = brk;
 508                         dim_.wid = wid_brk + brk.dim.wid;
 509                         // If there are other elements, they should be removed.
 510                         elements_.erase(cit_brk + 1, end);
 511                         return true;
 512                 }
 513         }
 514
 515         if (cit != beg && cit->type == VIRTUAL) {
 516                 // It is not possible to separate a virtual element from the
 517                 // previous one.
 518                 --cit;
 519                 wid -= cit->dim.wid;
 520         }
 521
 522         if (cit != beg) {
 523                 // There is no usable separator, but several elements have
 524                 // been added. We can cut right here.
 525                 end_ = cit->pos;
 526                 dim_.wid = wid;
 527                 elements_.erase(cit, end);
 528                 return true;
 529         }
 530
 531         /* If we are here, it means that we have not found a separator to
 532          * shorten the row. Let's try to break it again, but not at word
 533          * boundary this time.
 534          */
 535         if (cit->breakAt(w - wid, true)) {
 536                 end_ = cit->endpos;
 537                 // See comment above.
 538                 cit->str = rtrim(cit->str);
 539                 cit->endpos = cit->pos + cit->str.length();
 540                 dim_.wid = wid + cit->dim.wid;
 541                 // If there are other elements, they should be removed.
 542                 elements_.erase(next(cit, 1), end);
 543                 return true;
 544         }
 545         return false;
 546 }
 547
 548
 549 void Row::reverseRTL(bool const rtl_par)
 550 {
 551         pos_type i = 0;
 552         pos_type const end = elements_.size();
 553         while (i < end) {
 554                 // gather a sequence of elements with the same direction
 555                 bool const rtl = elements_[i].isRTL();
 556                 pos_type j = i;
 557                 while (j < end && elements_[j].isRTL() == rtl)
 558                         ++j;
 559                 // if the direction is not the same as the paragraph
 560                 // direction, the sequence has to be reverted.
 561                 if (rtl != rtl_par)
 562                         reverse(elements_.begin() + i, elements_.begin() + j);
 563                 i = j;
 564         }
 565         // If the paragraph itself is RTL, reverse everything
 566         if (rtl_par)
 567                 reverse(elements_.begin(), elements_.end());
 568         rtl_ = rtl_par;
 569 }
 570
 571 Row::const_iterator const
 572 Row::findElement(pos_type const pos, bool const boundary, double & x) const
 573 {
 574         /**
 575          * When boundary is true, position i is in the row element (pos, endpos)
 576          * if
 577          *    pos < i <= endpos
 578          * whereas, when boundary is false, the test is
 579          *    pos <= i < endpos
 580          * The correction below allows to handle both cases.
 581         */
 582         int const boundary_corr = (boundary && pos) ? -1 : 0;
 583
 584         x = left_margin;
 585
 586         /** Early return in trivial cases
 587          * 1) the row is empty
 588          * 2) the position is the left-most position of the row; there
 589          * is a quirk here however: if the first element is virtual
 590          * (end-of-par marker for example), then we have to look
 591          * closer
 592          */
 593         if (empty()
 594             || (pos == begin()->left_pos() && !boundary
 595                         && !begin()->isVirtual()))
 596                 return begin();
 597
 598         Row::const_iterator cit = begin();
 599         for ( ; cit != end() ; ++cit) {
 600                 /** Look whether the cursor is inside the element's
 601                  * span. Note that it is necessary to take the
 602                  * boundary into account, and to accept virtual
 603                  * elements, which have pos == endpos.
 604                  */
 605                 if (pos + boundary_corr >= cit->pos
 606                     && (pos + boundary_corr < cit->endpos || cit->isVirtual())) {
 607                                 x += cit->pos2x(pos);
 608                                 break;
 609                 }
 610                 x += cit->full_width();
 611         }
 612
 613         if (cit == end())
 614                 --cit;
 615
 616         return cit;
 617 }
 618
 619
 620 } // namespace lyx