src/TextMetrics.cpp

   1 /**
   2  * \file src/TextMetrics.cpp
   3  * This file is part of LyX, the document processor.
   4  * Licence details can be found in the file COPYING.
   5  *
   6  * \author Asger Alstrup
   7  * \author Lars Gullik Bjønnes
   8  * \author Jean-Marc Lasgouttes
   9  * \author John Levon
  10  * \author André Pönitz
  11  * \author Dekel Tsur
  12  * \author Jürgen Vigna
  13  * \author Abdelrazak Younes
  14  *
  15  * Full author contact details are available in file CREDITS.
  16  */
  17
  18 #include <config.h>
  19
  20 #include "TextMetrics.h"
  21
  22 #include "Buffer.h"
  23 #include "BufferParams.h"
  24 #include "BufferView.h"
  25 #include "CoordCache.h"
  26 #include "Cursor.h"
  27 #include "CutAndPaste.h"
  28 #include "Layout.h"
  29 #include "LyXRC.h"
  30 #include "MetricsInfo.h"
  31 #include "ParagraphParameters.h"
  32 #include "RowPainter.h"
  33 #include "Session.h"
  34 #include "Text.h"
  35 #include "TextClass.h"
  36 #include "VSpace.h"
  37
  38 #include "insets/InsetText.h"
  39
  40 #include "mathed/MacroTable.h"
  41
  42 #include "frontends/FontMetrics.h"
  43 #include "frontends/NullPainter.h"
  44
  45 #include "support/debug.h"
  46 #include "support/lassert.h"
  47 #include "support/Changer.h"
  48
  49 #include <stdlib.h>
  50 #include <cmath>
  51
  52 using namespace std;
  53
  54
  55 namespace lyx {
  56
  57 using frontend::FontMetrics;
  58
  59 namespace {
  60
  61
  62 int numberOfLabelHfills(Paragraph const & par, Row const & row)
  63 {
  64         pos_type last = row.endpos() - 1;
  65         pos_type first = row.pos();
  66
  67         // hfill *DO* count at the beginning of paragraphs!
  68         if (first) {
  69                 while (first < last && par.isHfill(first))
  70                         ++first;
  71         }
  72
  73         last = min(last, par.beginOfBody());
  74         int n = 0;
  75         for (pos_type p = first; p < last; ++p) {
  76                 if (par.isHfill(p))
  77                         ++n;
  78         }
  79         return n;
  80 }
  81
  82 // FIXME: this needs to be rewritten, probably by merging it into some
  83 // code that, besides counting, sets the active status of the space
  84 // inset in the row element.
  85 int numberOfHfills(Row const & row, ParagraphMetrics const & pm,
  86                    pos_type const body_pos)
  87 {
  88         int n = 0;
  89         Row::const_iterator cit = row.begin();
  90         Row::const_iterator const end = row.end();
  91         for ( ; cit != end ; ++cit)
  92                 if (cit->pos >= body_pos
  93                     && cit->inset && pm.hfillExpansion(row, cit->pos))
  94                         ++n;
  95         return n;
  96 }
  97
  98
  99 } // namespace
 100
 101 /////////////////////////////////////////////////////////////////////
 102 //
 103 // TextMetrics
 104 //
 105 /////////////////////////////////////////////////////////////////////
 106
 107
 108 TextMetrics::TextMetrics(BufferView * bv, Text * text)
 109         : bv_(bv), text_(text), dim_(bv_->workWidth(), 10, 10),
 110           max_width_(dim_.wid), tight_(false)
 111 {}
 112
 113
 114 bool TextMetrics::contains(pit_type pit) const
 115 {
 116         return par_metrics_.find(pit) != par_metrics_.end();
 117 }
 118
 119
 120 pair<pit_type, ParagraphMetrics const *> TextMetrics::first() const
 121 {
 122         ParMetricsCache::const_iterator it = par_metrics_.begin();
 123         return make_pair(it->first, &it->second);
 124 }
 125
 126
 127 pair<pit_type, ParagraphMetrics const *> TextMetrics::last() const
 128 {
 129         LBUFERR(!par_metrics_.empty());
 130         ParMetricsCache::const_reverse_iterator it = par_metrics_.rbegin();
 131         return make_pair(it->first, &it->second);
 132 }
 133
 134
 135 bool TextMetrics::isLastRow(Row const & row) const
 136 {
 137         ParagraphList const & pars = text_->paragraphs();
 138         return row.endpos() >= pars[row.pit()].size()
 139                 && row.pit() + 1 == pit_type(pars.size());
 140 }
 141
 142
 143 bool TextMetrics::isFirstRow(Row const & row) const
 144 {
 145         return row.pos() == 0 && row.pit() == 0;
 146 }
 147
 148
 149 void TextMetrics::setRowChanged(pit_type pit, pos_type pos)
 150 {
 151         for (auto & pm_pair : par_metrics_)
 152                 if (pm_pair.first == pit)
 153                         for (Row & row : pm_pair.second.rows())
 154                                 if (row.pos() == pos)
 155                                         row.changed(true);
 156 }
 157
 158
 159 ParagraphMetrics & TextMetrics::parMetrics(pit_type pit, bool redo)
 160 {
 161         ParMetricsCache::iterator pmc_it = par_metrics_.find(pit);
 162         if (pmc_it == par_metrics_.end()) {
 163                 pmc_it = par_metrics_.insert(
 164                         make_pair(pit, ParagraphMetrics(text_->getPar(pit)))).first;
 165         }
 166         if (pmc_it->second.rows().empty() && redo)
 167                 redoParagraph(pit);
 168         return pmc_it->second;
 169 }
 170
 171
 172 ParagraphMetrics const & TextMetrics::parMetrics(pit_type pit) const
 173 {
 174         return const_cast<TextMetrics *>(this)->parMetrics(pit, true);
 175 }
 176
 177
 178 ParagraphMetrics & TextMetrics::parMetrics(pit_type pit)
 179 {
 180         return parMetrics(pit, true);
 181 }
 182
 183
 184 void TextMetrics::newParMetricsDown()
 185 {
 186         pair<pit_type, ParagraphMetrics> const & last = *par_metrics_.rbegin();
 187         pit_type const pit = last.first + 1;
 188         if (pit == int(text_->paragraphs().size()))
 189                 return;
 190
 191         // do it and update its position.
 192         redoParagraph(pit);
 193         par_metrics_[pit].setPosition(last.second.position()
 194                 + last.second.descent() + par_metrics_[pit].ascent());
 195         updatePosCache(pit);
 196 }
 197
 198
 199 void TextMetrics::newParMetricsUp()
 200 {
 201         pair<pit_type, ParagraphMetrics> const & first = *par_metrics_.begin();
 202         if (first.first == 0)
 203                 return;
 204
 205         pit_type const pit = first.first - 1;
 206         // do it and update its position.
 207         redoParagraph(pit);
 208         par_metrics_[pit].setPosition(first.second.position()
 209                 - first.second.ascent() - par_metrics_[pit].descent());
 210         updatePosCache(pit);
 211 }
 212
 213
 214 bool TextMetrics::metrics(MetricsInfo const & mi, Dimension & dim, int min_width)
 215 {
 216         LBUFERR(mi.base.textwidth > 0);
 217         max_width_ = mi.base.textwidth;
 218         tight_ = mi.tight_insets;
 219         // backup old dimension.
 220         Dimension const old_dim = dim_;
 221         // reset dimension.
 222         dim_ = Dimension();
 223         dim_.wid = min_width;
 224         pit_type const npar = text_->paragraphs().size();
 225         if (npar > 1 && !tight_)
 226                 // If there is more than one row, expand the text to
 227                 // the full allowable width.
 228                 dim_.wid = max_width_;
 229
 230         //lyxerr << "TextMetrics::metrics: width: " << mi.base.textwidth
 231         //      << " maxWidth: " << max_width_ << "\nfont: " << mi.base.font << endl;
 232
 233         bool changed = false;
 234         int h = 0;
 235         for (pit_type pit = 0; pit != npar; ++pit) {
 236                 // create rows, but do not set alignment yet
 237                 changed |= redoParagraph(pit, false);
 238                 ParagraphMetrics const & pm = par_metrics_[pit];
 239                 h += pm.height();
 240                 if (dim_.wid < pm.width())
 241                         dim_.wid = pm.width();
 242         }
 243
 244         // Now set alignment for all rows (the width might not have been known before).
 245         for (pit_type pit = 0; pit != npar; ++pit) {
 246                 ParagraphMetrics & pm = par_metrics_[pit];
 247                 for (Row & row : pm.rows())
 248                         setRowAlignment(row, dim_.wid);
 249         }
 250
 251         dim_.asc = par_metrics_[0].ascent();
 252         dim_.des = h - dim_.asc;
 253         //lyxerr << "dim_.wid " << dim_.wid << endl;
 254         //lyxerr << "dim_.asc " << dim_.asc << endl;
 255         //lyxerr << "dim_.des " << dim_.des << endl;
 256
 257         changed |= dim_ != old_dim;
 258         dim = dim_;
 259         return changed;
 260 }
 261
 262
 263 void TextMetrics::updatePosCache(pit_type pit) const
 264 {
 265         frontend::NullPainter np;
 266         PainterInfo pi(bv_, np);
 267         drawParagraph(pi, pit, origin_.x_, par_metrics_[pit].position());
 268 }
 269
 270
 271 int TextMetrics::rightMargin(ParagraphMetrics const & pm) const
 272 {
 273         return text_->isMainText() ? pm.rightMargin(*bv_) : 0;
 274 }
 275
 276
 277 int TextMetrics::rightMargin(pit_type const pit) const
 278 {
 279         return text_->isMainText() ? par_metrics_[pit].rightMargin(*bv_) : 0;
 280 }
 281
 282
 283 void TextMetrics::applyOuterFont(Font & font) const
 284 {
 285         FontInfo lf(font_.fontInfo());
 286         lf.reduce(bv_->buffer().params().getFont().fontInfo());
 287         font.fontInfo().realize(lf);
 288 }
 289
 290
 291 Font TextMetrics::displayFont(pit_type pit, pos_type pos) const
 292 {
 293         LASSERT(pos >= 0, { static Font f; return f; });
 294
 295         ParagraphList const & pars = text_->paragraphs();
 296         Paragraph const & par = pars[pit];
 297         Layout const & layout = par.layout();
 298         Buffer const & buffer = bv_->buffer();
 299         // FIXME: broken?
 300         BufferParams const & params = buffer.params();
 301         pos_type const body_pos = par.beginOfBody();
 302
 303         // We specialize the 95% common case:
 304         if (!par.getDepth()) {
 305                 Font f = par.getFontSettings(params, pos);
 306                 if (!text_->isMainText())
 307                         applyOuterFont(f);
 308                 bool lab = layout.labeltype == LABEL_MANUAL && pos < body_pos;
 309
 310                 FontInfo const & lf = lab ? layout.labelfont : layout.font;
 311                 FontInfo rlf = lab ? layout.reslabelfont : layout.resfont;
 312
 313                 // In case the default family has been customized
 314                 if (lf.family() == INHERIT_FAMILY)
 315                         rlf.setFamily(params.getFont().fontInfo().family());
 316                 f.fontInfo().realize(rlf);
 317                 return f;
 318         }
 319
 320         // The uncommon case need not be optimized as much
 321         FontInfo const & layoutfont = pos < body_pos ?
 322                 layout.labelfont : layout.font;
 323
 324         Font font = par.getFontSettings(params, pos);
 325         font.fontInfo().realize(layoutfont);
 326
 327         if (!text_->isMainText())
 328                 applyOuterFont(font);
 329
 330         // Realize against environment font information
 331         // NOTE: the cast to pit_type should be removed when pit_type
 332         // changes to a unsigned integer.
 333         if (pit < pit_type(pars.size()))
 334                 font.fontInfo().realize(text_->outerFont(pit).fontInfo());
 335
 336         // Realize with the fonts of lesser depth.
 337         font.fontInfo().realize(params.getFont().fontInfo());
 338
 339         return font;
 340 }
 341
 342
 343 bool TextMetrics::isRTL(CursorSlice const & sl, bool boundary) const
 344 {
 345         if (!sl.text())
 346                 return false;
 347
 348         int correction = 0;
 349         if (boundary && sl.pos() > 0)
 350                 correction = -1;
 351
 352         return displayFont(sl.pit(), sl.pos() + correction).isVisibleRightToLeft();
 353 }
 354
 355
 356 bool TextMetrics::isRTLBoundary(pit_type pit, pos_type pos) const
 357 {
 358         // no RTL boundary at paragraph start
 359         if (pos == 0)
 360                 return false;
 361
 362         Font const & left_font = displayFont(pit, pos - 1);
 363
 364         return isRTLBoundary(pit, pos, left_font);
 365 }
 366
 367
 368 // isRTLBoundary returns false on a real end-of-line boundary,
 369 // because otherwise the two boundary types get mixed up.
 370 // This is the whole purpose of this being in TextMetrics.
 371 bool TextMetrics::isRTLBoundary(pit_type pit, pos_type pos,
 372                 Font const & font) const
 373 {
 374         if (// no RTL boundary at paragraph start
 375             pos == 0
 376             // if the metrics have not been calculated, then we are not
 377             // on screen and can safely ignore issues about boundaries.
 378             || !contains(pit))
 379                 return false;
 380
 381         ParagraphMetrics const & pm = par_metrics_[pit];
 382         // no RTL boundary in empty paragraph
 383         if (pm.rows().empty())
 384                 return false;
 385
 386         pos_type const endpos = pm.getRow(pos - 1, false).endpos();
 387         pos_type const startpos = pm.getRow(pos, false).pos();
 388         // no RTL boundary at line start:
 389         // abc\n   -> toggle to RTL ->    abc\n     (and not:    abc\n|
 390         // |                              |                               )
 391         if (pos == startpos && pos == endpos) // start of cur row, end of prev row
 392                 return false;
 393
 394         Paragraph const & par = text_->getPar(pit);
 395         // no RTL boundary at line break:
 396         // abc|\n    -> move right ->   abc\n       (and not:    abc\n|
 397         // FED                          FED|                     FED     )
 398         if (startpos == pos && endpos == pos && endpos != par.size()
 399                 && (par.isNewline(pos - 1)
 400                         || par.isEnvSeparator(pos - 1)
 401                         || par.isLineSeparator(pos - 1)
 402                         || par.isSeparator(pos - 1)))
 403                 return false;
 404
 405         bool const left = font.isVisibleRightToLeft();
 406         bool right;
 407         if (pos == par.size())
 408                 right = par.isRTL(bv_->buffer().params());
 409         else
 410                 right = displayFont(pit, pos).isVisibleRightToLeft();
 411
 412         return left != right;
 413 }
 414
 415
 416 bool TextMetrics::redoParagraph(pit_type const pit, bool const align_rows)
 417 {
 418         Paragraph & par = text_->getPar(pit);
 419         // IMPORTANT NOTE: We pass 'false' explicitly in order to not call
 420         // redoParagraph() recursively inside parMetrics.
 421         Dimension old_dim = parMetrics(pit, false).dim();
 422         ParagraphMetrics & pm = par_metrics_[pit];
 423         pm.reset(par);
 424
 425         Buffer & buffer = bv_->buffer();
 426         bool changed = false;
 427
 428         // Check whether there are InsetBibItems that need fixing
 429         // FIXME: This check ought to be done somewhere else. It is the reason
 430         // why text_ is not const. But then, where else to do it?
 431         // Well, how can you end up with either (a) a biblio environment that
 432         // has no InsetBibitem, (b) a biblio environment with more than one
 433         // InsetBibitem or (c) a paragraph that has a bib item but is no biblio
 434         // environment? I think the answer is: when paragraphs are merged;
 435         // when layout is set; when material is pasted.
 436         if (par.brokenBiblio()) {
 437                 Cursor & cur = bv_->cursor();
 438                 // In some cases, we do not know how to record undo
 439                 if (&cur.inset() == &text_->inset())
 440                         cur.recordUndo(pit, pit);
 441
 442                 int const moveCursor = par.fixBiblio(buffer);
 443
 444                 // Is it necessary to update the cursor?
 445                 if (&cur.inset() == &text_->inset() && cur.pit() == pit) {
 446                         if (moveCursor > 0)
 447                                 cur.posForward();
 448                         else if (moveCursor < 0 && cur.pos() >= -moveCursor)
 449                                 cur.posBackward();
 450                 }
 451         }
 452
 453         // Optimisation: this is used in the next two loops
 454         // so better to calculate that once here.
 455         int const right_margin = rightMargin(pm);
 456
 457         // iterator pointing to paragraph to resolve macros
 458         DocIterator parPos = text_->macrocontextPosition();
 459         if (!parPos.empty())
 460                 parPos.pit() = pit;
 461         else {
 462                 LYXERR(Debug::INFO, "MacroContext not initialised!"
 463                         << " Going through the buffer again and hope"
 464                         << " the context is better then.");
 465                 // FIXME audit updateBuffer calls
 466                 // This should not be here, but it is not clear yet where else it
 467                 // should be.
 468                 bv_->buffer().updateBuffer();
 469                 parPos = text_->macrocontextPosition();
 470                 LBUFERR(!parPos.empty());
 471                 parPos.pit() = pit;
 472         }
 473
 474         // redo insets
 475         par.setBeginOfBody();
 476         Font const bufferfont = buffer.params().getFont();
 477         CoordCache::Insets & insetCache = bv_->coordCache().insets();
 478         for (auto const & e : par.insetList()) {
 479                 // FIXME Doesn't this HAVE to be non-empty?
 480                 // position already initialized?
 481                 if (!parPos.empty()) {
 482                         parPos.pos() = e.pos;
 483
 484                         // A macro template would normally not be visible
 485                         // by itself. But the tex macro semantics allow
 486                         // recursion, so we artifically take the context
 487                         // after the macro template to simulate this.
 488                         if (e.inset->lyxCode() == MATHMACRO_CODE)
 489                                 parPos.pos()++;
 490                 }
 491
 492                 // If there is an end of paragraph marker, its size should be
 493                 // substracted to the available width. The logic here is
 494                 // almost the same as in breakRow, remember keep them in sync.
 495                 int eop = 0;
 496                 if (e.pos + 1 == par.size()
 497                       && (lyxrc.paragraph_markers || par.lookupChange(par.size()).changed())
 498                       && size_type(pit + 1) < text_->paragraphs().size()) {
 499                         Font f(text_->layoutFont(pit));
 500                         // ¶ U+00B6 PILCROW SIGN
 501                         eop = theFontMetrics(f).width(char_type(0x00B6));
 502                 }
 503
 504                 // do the metric calculation
 505                 Dimension dim;
 506                 int const w = max_width_ - leftMargin(pit, e.pos)
 507                         - right_margin - eop;
 508                 Font const & font = e.inset->inheritFont() ?
 509                         displayFont(pit, e.pos) : bufferfont;
 510                 MacroContext mc(&buffer, parPos);
 511                 MetricsInfo mi(bv_, font.fontInfo(), w, mc, e.pos == 0, tight_);
 512                 e.inset->metrics(mi, dim);
 513                 if (!insetCache.has(e.inset) || insetCache.dim(e.inset) != dim) {
 514                         insetCache.add(e.inset, dim);
 515                         changed = true;
 516                 }
 517         }
 518
 519         // Transform the paragraph into a single row containing all the elements.
 520         Row const bigrow = tokenizeParagraph(pit);
 521         // Split the row in several rows fitting in available width
 522         pm.rows() = breakParagraph(bigrow);
 523
 524         /* If there is more than one row, expand the text to the full
 525          * allowable width. This setting here is needed for the
 526          * setRowAlignment() below. We do nothing when tight insets are
 527          * requested.
 528          */
 529         if (pm.rows().size() > 1 && !tight_ && dim_.wid < max_width_)
 530                         dim_.wid = max_width_;
 531
 532         // Compute height and alignment of the rows.
 533         for (Row & row : pm.rows()) {
 534                 setRowHeight(row);
 535                 if (align_rows)
 536                         setRowAlignment(row, max(dim_.wid, row.width()));
 537
 538                 pm.dim().wid = max(pm.dim().wid, row.width() + row.right_margin);
 539                 pm.dim().des += row.height();
 540         }
 541
 542         // This type of margin can only be handled at the global paragraph level
 543         if (par.layout().margintype == MARGIN_RIGHT_ADDRESS_BOX) {
 544                 int offset = 0;
 545                 if (par.isRTL(buffer.params())) {
 546                         // globally align the paragraph to the left.
 547                         int minleft = max_width_;
 548                         for (Row const & row : pm.rows())
 549                                 minleft = min(minleft, row.left_margin);
 550                         offset = right_margin - minleft;
 551                 } else {
 552                         // globally align the paragraph to the right.
 553                         int maxwid = 0;
 554                         for (Row const & row : pm.rows())
 555                                 maxwid = max(maxwid, row.width());
 556                         offset = max_width_ - right_margin - maxwid;
 557                 }
 558
 559                 for (Row & row : pm.rows()) {
 560                         row.left_margin += offset;
 561                         row.dim().wid += offset;
 562                 }
 563         }
 564
 565         // The space above and below the paragraph.
 566         int top = parTopSpacing(pit);
 567         int bottom = parBottomSpacing(pit);
 568
 569         // Top and bottom margin of the document (only at top-level)
 570         // FIXME: It might be better to move this in another method
 571         // specially tailored for the main text.
 572         if (text_->isMainText()) {
 573                 if (pit == 0)
 574                         top += bv_->topMargin();
 575                 if (pit + 1 == pit_type(text_->paragraphs().size())) {
 576                         bottom += bv_->bottomMargin();
 577                 }
 578         }
 579
 580         // Add the top/bottom space to rows and paragraph metrics
 581         pm.rows().front().dim().asc += top;
 582         pm.rows().back().dim().des += bottom;
 583         pm.dim().des += top + bottom;
 584
 585         // Move the pm ascent to be the same as the first row ascent
 586         pm.dim().asc += pm.rows().front().ascent();
 587         pm.dim().des -= pm.rows().front().ascent();
 588
 589         changed |= old_dim.height() != pm.dim().height();
 590
 591         return changed;
 592 }
 593
 594
 595 LyXAlignment TextMetrics::getAlign(Paragraph const & par, Row const & row) const
 596 {
 597         LyXAlignment align = par.getAlign(bv_->buffer().params());
 598
 599         // handle alignment inside tabular cells
 600         Inset const & owner = text_->inset();
 601         bool forced_block = false;
 602         switch (owner.contentAlignment()) {
 603         case LYX_ALIGN_BLOCK:
 604                 // In general block align is the default state, but here it is
 605                 // an explicit choice. Therefore it should not be overridden
 606                 // later.
 607                 forced_block = true;
 608                 // fall through
 609         case LYX_ALIGN_CENTER:
 610         case LYX_ALIGN_LEFT:
 611         case LYX_ALIGN_RIGHT:
 612                 if (align == LYX_ALIGN_NONE || align == LYX_ALIGN_BLOCK)
 613                         align = owner.contentAlignment();
 614                 break;
 615         default:
 616                 // unchanged (use align)
 617                 break;
 618         }
 619
 620         // Display-style insets should always be on a centered row
 621         if (Inset const * inset = par.getInset(row.pos())) {
 622                 if (inset->rowFlags() & Display) {
 623                         if (inset->rowFlags() & AlignLeft)
 624                                 align = LYX_ALIGN_BLOCK;
 625                         else if (inset->rowFlags() & AlignRight)
 626                                 align = LYX_ALIGN_RIGHT;
 627                         else
 628                                 align = LYX_ALIGN_CENTER;
 629                 }
 630         }
 631
 632         if (align == LYX_ALIGN_BLOCK) {
 633                 // If this row has been broken abruptly by a display inset, or
 634                 // it is the end of the paragraph, or the user requested we
 635                 // not justify stuff, then don't stretch.
 636                 // A forced block alignment can only be overridden the 'no
 637                 // justification on screen' setting.
 638                 if ((row.flushed() && !forced_block)
 639                     || !bv_->buffer().params().justification)
 640                         align = row.isRTL() ? LYX_ALIGN_RIGHT : LYX_ALIGN_LEFT;
 641         }
 642
 643         return align;
 644 }
 645
 646
 647 void TextMetrics::setRowAlignment(Row & row, int width) const
 648 {
 649         row.label_hfill = 0;
 650         row.separator = 0;
 651
 652         Paragraph const & par = text_->getPar(row.pit());
 653
 654         int const w = width - row.right_margin - row.width();
 655         // FIXME: put back this assertion when the crash on new doc is solved.
 656         //LASSERT(w >= 0, /**/);
 657
 658         // is there a manual margin with a manual label
 659         Layout const & layout = par.layout();
 660
 661         int nlh = 0;
 662         if (layout.margintype == MARGIN_MANUAL
 663             && layout.labeltype == LABEL_MANUAL) {
 664                 /// We might have real hfills in the label part
 665                 nlh = numberOfLabelHfills(par, row);
 666
 667                 // A manual label par (e.g. List) has an auto-hfill
 668                 // between the label text and the body of the
 669                 // paragraph too.
 670                 // But we don't want to do this auto hfill if the par
 671                 // is empty.
 672                 if (!par.empty())
 673                         ++nlh;
 674
 675                 if (nlh && !par.getLabelWidthString().empty())
 676                         row.label_hfill = labelFill(row) / double(nlh);
 677         }
 678
 679         // are there any hfills in the row?
 680         ParagraphMetrics const & pm = par_metrics_[row.pit()];
 681         int nh = numberOfHfills(row, pm, par.beginOfBody());
 682         int hfill = 0;
 683         int hfill_rem = 0;
 684
 685         // We don't have to look at the alignment if the row is already
 686         // larger then the permitted width as then we force the
 687         // LEFT_ALIGN'edness!
 688         if (row.width() >= max_width_)
 689                 return;
 690
 691         if (nh == 0) {
 692                 // Common case : there is no hfill, and the alignment will be
 693                 // meaningful
 694                 switch (getAlign(par, row)) {
 695                 case LYX_ALIGN_BLOCK:
 696                         // Expand expanding characters by a total of w
 697                         if (!row.setExtraWidth(w) && row.isRTL()) {
 698                                 // Justification failed and the text is RTL: align to the right
 699                                 row.left_margin += w;
 700                                 row.dim().wid += w;
 701                         }
 702                         break;
 703                 case LYX_ALIGN_LEFT:
 704                         // a displayed inset that is flushed
 705                         if (Inset const * inset = par.getInset(row.pos())) {
 706                                 row.left_margin += inset->indent(*bv_);
 707                                 row.dim().wid += inset->indent(*bv_);
 708                         }
 709                         break;
 710                 case LYX_ALIGN_RIGHT:
 711                         if (Inset const * inset = par.getInset(row.pos())) {
 712                                 int const new_w = max(w - inset->indent(*bv_), 0);
 713                                 row.left_margin += new_w;
 714                                 row.dim().wid += new_w;
 715                         } else {
 716                                 row.left_margin += w;
 717                                 row.dim().wid += w;
 718                         }
 719                         break;
 720                 case LYX_ALIGN_CENTER:
 721                         row.dim().wid += w / 2;
 722                         row.left_margin += w / 2;
 723                         break;
 724                 case LYX_ALIGN_NONE:
 725                 case LYX_ALIGN_LAYOUT:
 726                 case LYX_ALIGN_SPECIAL:
 727                 case LYX_ALIGN_DECIMAL:
 728                         break;
 729                 }
 730                 return;
 731         }
 732
 733         // Case nh > 0. There are hfill separators.
 734         hfill = w / nh;
 735         hfill_rem = w % nh;
 736         row.dim().wid += w;
 737         // Set size of hfill insets
 738         pos_type const endpos = row.endpos();
 739         pos_type body_pos = par.beginOfBody();
 740         if (body_pos > 0
 741             && (body_pos > endpos || !par.isLineSeparator(body_pos - 1)))
 742                 body_pos = 0;
 743
 744         CoordCache::Insets & insetCache = bv_->coordCache().insets();
 745         for (Row::Element & e : row) {
 746                 if (row.label_hfill && e.endpos == body_pos
 747                     && e.type == Row::SPACE)
 748                         e.dim.wid -= int(row.label_hfill * (nlh - 1));
 749                 if (e.inset && pm.hfillExpansion(row, e.pos)) {
 750                         if (e.pos >= body_pos) {
 751                                 e.dim.wid += hfill;
 752                                 --nh;
 753                                 if (nh == 0)
 754                                         e.dim.wid += hfill_rem;
 755                         } else
 756                                 e.dim.wid += int(row.label_hfill);
 757                         // Cache the inset dimension.
 758                         insetCache.add(e.inset, e.dim);
 759                 }
 760         }
 761 }
 762
 763
 764 int TextMetrics::labelFill(Row const & row) const
 765 {
 766         Paragraph const & par = text_->getPar(row.pit());
 767         LBUFERR(par.beginOfBody() > 0 || par.isEnvSeparator(0));
 768
 769         int w = 0;
 770         // iterate over elements before main body (except the last one,
 771         // which is extra space).
 772         for (Row::Element const & e : row) {
 773                 if (e.endpos >= par.beginOfBody())
 774                         break;
 775                 w += e.dim.wid;
 776         }
 777
 778         docstring const & label = par.params().labelWidthString();
 779         if (label.empty())
 780                 return 0;
 781
 782         FontMetrics const & fm
 783                 = theFontMetrics(text_->labelFont(par));
 784
 785         return max(0, fm.width(label) - w);
 786 }
 787
 788
 789 int TextMetrics::labelEnd(pit_type const pit) const
 790 {
 791         // labelEnd is only needed if the layout fills a flushleft label.
 792         if (text_->getPar(pit).layout().margintype != MARGIN_MANUAL)
 793                 return 0;
 794         // return the beginning of the body
 795         return leftMargin(pit);
 796 }
 797
 798 namespace {
 799
 800 /**
 801  * Calling Text::getFont is slow. While rebreaking we scan a
 802  * paragraph from left to right calling getFont for every char.  This
 803  * simple class address this problem by hidding an optimization trick
 804  * (not mine btw -AB): the font is reused in the whole font span.  The
 805  * class handles transparently the "hidden" (not part of the fontlist)
 806  * label font (as getFont does).
 807  **/
 808 class FontIterator
 809 {
 810 public:
 811         ///
 812         FontIterator(TextMetrics const & tm,
 813                 Paragraph const & par, pit_type pit, pos_type pos)
 814                 : tm_(tm), par_(par), pit_(pit), pos_(pos),
 815                 font_(tm.displayFont(pit, pos)),
 816                 endspan_(par.fontSpan(pos).last),
 817                 bodypos_(par.beginOfBody())
 818         {}
 819
 820         ///
 821         Font const & operator*() const { return font_; }
 822
 823         ///
 824         FontIterator & operator++()
 825         {
 826                 ++pos_;
 827                 if (pos_ < par_.size() && (pos_ > endspan_ || pos_ == bodypos_)) {
 828                         font_ = tm_.displayFont(pit_, pos_);
 829                         endspan_ = par_.fontSpan(pos_).last;
 830                 }
 831                 return *this;
 832         }
 833
 834         ///
 835         Font * operator->() { return &font_; }
 836
 837 private:
 838         ///
 839         TextMetrics const & tm_;
 840         ///
 841         Paragraph const & par_;
 842         ///
 843         pit_type pit_;
 844         ///
 845         pos_type pos_;
 846         ///
 847         Font font_;
 848         ///
 849         pos_type endspan_;
 850         ///
 851         pos_type bodypos_;
 852 };
 853
 854 } // namespace
 855
 856
 857 Row TextMetrics::tokenizeParagraph(pit_type const pit) const
 858 {
 859         Row row;
 860         row.pit(pit);
 861         Paragraph const & par = text_->getPar(pit);
 862         Buffer const & buf = text_->inset().buffer();
 863         BookmarksSection::BookmarkPosList bpl =
 864                 theSession().bookmarks().bookmarksInPar(buf.fileName(), par.id());
 865
 866         pos_type const end = par.size();
 867         pos_type const body_pos = par.beginOfBody();
 868
 869         // check for possible inline completion
 870         DocIterator const & ic_it = bv_->inlineCompletionPos();
 871         pos_type ic_pos = -1;
 872         if (ic_it.inTexted() && ic_it.text() == text_ && ic_it.pit() == pit)
 873                 ic_pos = ic_it.pos();
 874
 875         // Now we iterate through until we reach the right margin
 876         // or the end of the par, then build a representation of the row.
 877         pos_type i = 0;
 878         FontIterator fi = FontIterator(*this, par, pit, 0);
 879         // The real stopping condition is a few lines below.
 880         while (true) {
 881                 // Firstly, check whether there is a bookmark here.
 882                 if (lyxrc.bookmarks_visibility == LyXRC::BMK_INLINE)
 883                         for (auto const & bp_p : bpl)
 884                                 if (bp_p.second == i) {
 885                                         Font f = *fi;
 886                                         f.fontInfo().setColor(Color_bookmark);
 887                                         // ❶ U+2776 DINGBAT NEGATIVE CIRCLED DIGIT ONE
 888                                         char_type const ch = 0x2775 + bp_p.first;
 889                                         row.addVirtual(i, docstring(1, ch), f, Change());
 890                                 }
 891
 892                 // The stopping condition is here so that the display of a
 893                 // bookmark can take place at paragraph start too.
 894                 if (i >= end)
 895                         break;
 896
 897                 char_type c = par.getChar(i);
 898                 // The most special cases are handled first.
 899                 if (par.isInset(i)) {
 900                         Inset const * ins = par.getInset(i);
 901                         Dimension dim = bv_->coordCache().insets().dim(ins);
 902                         row.add(i, ins, dim, *fi, par.lookupChange(i));
 903                 } else if (c == ' ' && i + 1 == body_pos) {
 904                         // There is a space at i, but it should not be
 905                         // added as a separator, because it is just
 906                         // before body_pos. Instead, insert some spacing to
 907                         // align text
 908                         FontMetrics const & fm = theFontMetrics(text_->labelFont(par));
 909                         // this is needed to make sure that the row width is correct
 910                         row.finalizeLast();
 911                         int const add = max(fm.width(par.layout().labelsep),
 912                                             labelEnd(pit) - row.width());
 913                         row.addSpace(i, add, *fi, par.lookupChange(i));
 914                 } else if (c == '\t')
 915                         row.addSpace(i, theFontMetrics(*fi).width(from_ascii("    ")),
 916                                      *fi, par.lookupChange(i));
 917                 else if (c == 0x2028 || c == 0x2029) {
 918                         /**
 919                          * U+2028 LINE SEPARATOR
 920                          * U+2029 PARAGRAPH SEPARATOR
 921
 922                          * These are special unicode characters that break
 923                          * lines/pragraphs. Not handling them lead to trouble wrt
 924                          * Qt QTextLayout formatting. We add a visible character
 925                          * on screen so that the user can see that something is
 926                          * happening.
 927                         */
 928                         row.finalizeLast();
 929                         // ⤶ U+2936 ARROW POINTING DOWNWARDS THEN CURVING LEFTWARDS
 930                         // ¶ U+00B6 PILCROW SIGN
 931                         char_type const screen_char = (c == 0x2028) ? 0x2936 : 0x00B6;
 932                         row.add(i, screen_char, *fi, par.lookupChange(i), i >= body_pos);
 933                 } else
 934                         // row elements before body are unbreakable
 935                         row.add(i, c, *fi, par.lookupChange(i), i >= body_pos);
 936
 937                 // add inline completion width
 938                 // draw logically behind the previous character
 939                 if (ic_pos == i + 1 && !bv_->inlineCompletion().empty()) {
 940                         docstring const comp = bv_->inlineCompletion();
 941                         size_t const uniqueTo =bv_->inlineCompletionUniqueChars();
 942                         Font f = *fi;
 943
 944                         if (uniqueTo > 0) {
 945                                 f.fontInfo().setColor(Color_inlinecompletion);
 946                                 row.addVirtual(i + 1, comp.substr(0, uniqueTo), f, Change());
 947                         }
 948                         f.fontInfo().setColor(Color_nonunique_inlinecompletion);
 949                         row.addVirtual(i + 1, comp.substr(uniqueTo), f, Change());
 950                 }
 951
 952                 ++i;
 953                 ++fi;
 954         }
 955         row.finalizeLast();
 956         row.endpos(end);
 957
 958         // End of paragraph marker, either if LyXRc requires it, or there
 959         // is an end of paragraph change. The logic here is almost the
 960         // same as in redoParagraph, remember keep them in sync.
 961         ParagraphList const & pars = text_->paragraphs();
 962         Change const & endchange = par.lookupChange(end);
 963         if (endchange.changed())
 964                 row.needsChangeBar(true);
 965         if ((lyxrc.paragraph_markers || endchange.changed())
 966             && size_type(pit + 1) < pars.size()) {
 967                 // add a virtual element for the end-of-paragraph
 968                 // marker; it is shown on screen, but does not exist
 969                 // in the paragraph.
 970                 Font f(text_->layoutFont(pit));
 971                 f.fontInfo().setColor(Color_paragraphmarker);
 972                 f.setLanguage(par.getParLanguage(buf.params()));
 973                 // ¶ U+00B6 PILCROW SIGN
 974                 row.addVirtual(end, docstring(1, char_type(0x00B6)), f, endchange);
 975         }
 976
 977         return row;
 978 }
 979
 980
 981 namespace {
 982
 983 /** Helper template flexible_const_iterator<T>
 984  * A way to iterate over a const container, but insert fake elements in it.
 985  * In the case of a row, we will have to break some elements, which
 986  * create new ones. This class allows to abstract this.
 987  * Only the required parts are implemented for now.
 988  */
 989 template<class T>
 990 class flexible_const_iterator {
 991         typedef typename T::value_type value_type;
 992 public:
 993
 994         //
 995         flexible_const_iterator operator++() {
 996                 if (pile_.empty())
 997                         ++cit_;
 998                 else
 999                         pile_.pop_back();
1000                 return *this;
1001         }
1002
1003         value_type operator*() const { return pile_.empty() ? *cit_ : pile_.back(); }
1004
1005         value_type const * operator->() const { return pile_.empty() ? &*cit_ : &pile_.back(); }
1006
1007         void put(value_type const & e) { pile_.push_back(e); }
1008
1009 // This should be private, but declaring the friend functions is too much work
1010 //private:
1011         typename T::const_iterator cit_;
1012         // A vector that is used as like a pile to store the elements to
1013         // consider before incrementing the underlying iterator.
1014         vector<value_type> pile_;
1015 };
1016
1017
1018 template<class T>
1019 flexible_const_iterator<T> flexible_begin(T const & t)
1020 {
1021         return { t.begin(), vector<typename T::value_type>() };
1022 }
1023
1024
1025 template<class T>
1026 flexible_const_iterator<T> flexible_end(T const & t)
1027 {
1028         return { t.end(), vector<typename T::value_type>() };
1029 }
1030
1031
1032 // Equality is only possible if respective piles are empty
1033 template<class T>
1034 bool operator==(flexible_const_iterator<T> const & t1,
1035                 flexible_const_iterator<T> const & t2)
1036 {
1037         return t1.cit_ == t2.cit_ && t1.pile_.empty() && t2.pile_.empty();
1038 }
1039
1040 Row newRow(TextMetrics const & tm, pit_type pit, pos_type pos, bool is_rtl)
1041 {
1042         Row nrow;
1043         nrow.pit(pit);
1044         nrow.pos(pos);
1045         nrow.left_margin = tm.leftMargin(pit, pos);
1046         nrow.right_margin = tm.rightMargin(pit);
1047         if (is_rtl)
1048                 swap(nrow.left_margin, nrow.right_margin);
1049         // Remember that the row width takes into account the left_margin
1050         // but not the right_margin.
1051         nrow.dim().wid = nrow.left_margin;
1052         return nrow;
1053 }
1054
1055
1056 void cleanupRow(Row & row, pos_type pos, pos_type real_endpos, bool is_rtl)
1057 {
1058         row.endpos(pos);
1059         row.right_boundary(!row.empty() && pos < real_endpos
1060                            && row.back().endpos == pos);
1061         // make sure that the RTL elements are in reverse ordering
1062         row.reverseRTL(is_rtl);
1063 }
1064
1065 // Implement the priorities described in RowFlags.h.
1066 bool needsRowBreak(int f1, int f2)
1067 {
1068         if (f1 & AlwaysBreakAfter /*|| f2 & AlwaysBreakBefore*/)
1069                 return true;
1070         if (f1 & NoBreakAfter || f2 & NoBreakBefore)
1071                 return false;
1072         if (f1 & BreakAfter || f2 & BreakBefore)
1073                 return true;
1074         return false;
1075 }
1076
1077
1078 }
1079
1080
1081 RowList TextMetrics::breakParagraph(Row const & bigrow) const
1082 {
1083         RowList rows;
1084         bool const is_rtl = text_->isRTL(bigrow.pit());
1085         bool const end_label = text_->getEndLabel(bigrow.pit()) != END_LABEL_NO_LABEL;
1086
1087         bool need_new_row = true;
1088         pos_type pos = 0;
1089         int width = 0;
1090         flexible_const_iterator<Row> fcit = flexible_begin(bigrow);
1091         flexible_const_iterator<Row> const end = flexible_end(bigrow);
1092         while (true) {
1093                 bool const has_row = !rows.empty();
1094                 bool const row_empty = !has_row || rows.back().empty();
1095                 // The row flags of previous element, if there is one.
1096                 // Otherwise we use NoBreakAfter to avoid an empty row before
1097                 // e.g. a displayed equation.
1098                 int const f1 = row_empty ? NoBreakAfter : rows.back().back().row_flags;
1099                 // The row flags of next element, if there is one.
1100                 // Otherwise we use NoBreakBefore (see above), unless the
1101                 // paragraph has an end label (for which an empty row is OK).
1102                 int const f2 = (fcit == end) ? (end_label ? Inline : NoBreakBefore)
1103                                              : fcit->row_flags;
1104                 need_new_row |= needsRowBreak(f1, f2);
1105                 if (need_new_row) {
1106                         if (!rows.empty())
1107                                 cleanupRow(rows.back(), pos, bigrow.endpos(), is_rtl);
1108                         rows.push_back(newRow(*this, bigrow.pit(), pos, is_rtl));
1109                         // the width available for the row.
1110                         width = max_width_ - rows.back().right_margin;
1111                         need_new_row = false;
1112                 }
1113
1114                 // The stopping condition is here because we may need a new
1115                 // empty row at the end.
1116                 if (fcit == end)
1117                         break;
1118
1119                 // Next element to consider is either the top of the temporary
1120                 // pile, or the place when we were in main row
1121                 Row::Element elt = *fcit;
1122                 Row::Element next_elt = elt.splitAt(width - rows.back().width(),
1123                                                     !elt.font.language()->wordWrap());
1124                 // a new element in the row
1125                 rows.back().push_back(elt);
1126                 rows.back().finalizeLast();
1127                 pos = elt.endpos;
1128
1129                 // Go to next element
1130                 ++fcit;
1131
1132                 // Add a new next element on the pile
1133                 if (next_elt.isValid()) {
1134                         // do as if we inserted this element in the original row
1135                         fcit.put(next_elt);
1136                         need_new_row = true;
1137                 }
1138         }
1139
1140         if (!rows.empty()) {
1141                 cleanupRow(rows.back(), pos, bigrow.endpos(), is_rtl);
1142                 // Last row in paragraph is flushed
1143                 rows.back().flushed(true);
1144         }
1145
1146         return rows;
1147 }
1148
1149 /** This is the function where the hard work is done. The code here is
1150  * very sensitive to small changes :) Note that part of the
1151  * intelligence is also in Row::shortenIfNeeded.
1152  */
1153 bool TextMetrics::breakRow(Row & row, int const right_margin) const
1154 {
1155         LATTEST(row.empty());//
1156         Paragraph const & par = text_->getPar(row.pit());//
1157         Buffer const & buf = text_->inset().buffer();//
1158         BookmarksSection::BookmarkPosList bpl =//
1159                 theSession().bookmarks().bookmarksInPar(buf.fileName(), par.id());//
1160
1161         pos_type const end = par.size();//
1162         pos_type const pos = row.pos();//
1163         pos_type const body_pos = par.beginOfBody();//
1164         bool const is_rtl = text_->isRTL(row.pit());//
1165         bool need_new_row = false;//
1166
1167         row.left_margin = leftMargin(row.pit(), pos);//
1168         row.right_margin = right_margin;//
1169         if (is_rtl)//
1170                 swap(row.left_margin, row.right_margin);//
1171         // Remember that the row width takes into account the left_margin
1172         // but not the right_margin.
1173         row.dim().wid = row.left_margin;//
1174         // the width available for the row.
1175         int const width = max_width_ - row.right_margin;//
1176
1177         // check for possible inline completion
1178         DocIterator const & ic_it = bv_->inlineCompletionPos();//
1179         pos_type ic_pos = -1;//
1180         if (ic_it.inTexted() && ic_it.text() == text_ && ic_it.pit() == row.pit())//
1181                 ic_pos = ic_it.pos();//
1182
1183         // Now we iterate through until we reach the right margin
1184         // or the end of the par, then build a representation of the row.
1185         pos_type i = pos;//---------------------------------------------------vvv
1186         FontIterator fi = FontIterator(*this, par, row.pit(), pos);
1187         // The real stopping condition is a few lines below.
1188         while (true) {
1189                 // Firstly, check whether there is a bookmark here.
1190                 if (lyxrc.bookmarks_visibility == LyXRC::BMK_INLINE)
1191                         for (auto const & bp_p : bpl)
1192                                 if (bp_p.second == i) {
1193                                         Font f = *fi;
1194                                         f.fontInfo().setColor(Color_bookmark);
1195                                         // ❶ U+2776 DINGBAT NEGATIVE CIRCLED DIGIT ONE
1196                                         char_type const ch = 0x2775 + bp_p.first;
1197                                         row.addVirtual(i, docstring(1, ch), f, Change());
1198                                 }
1199
1200                 // The stopping condition is here so that the display of a
1201                 // bookmark can take place at paragraph start too.
1202                 if (i >= end || (i != pos && row.width() > width))//^width
1203                         break;
1204
1205                 char_type c = par.getChar(i);
1206                 // The most special cases are handled first.
1207                 if (par.isInset(i)) {
1208                         Inset const * ins = par.getInset(i);
1209                         Dimension dim = bv_->coordCache().insets().dim(ins);
1210                         row.add(i, ins, dim, *fi, par.lookupChange(i));
1211                 } else if (c == ' ' && i + 1 == body_pos) {
1212                         // There is a space at i, but it should not be
1213                         // added as a separator, because it is just
1214                         // before body_pos. Instead, insert some spacing to
1215                         // align text
1216                         FontMetrics const & fm = theFontMetrics(text_->labelFont(par));
1217                         // this is needed to make sure that the row width is correct
1218                         row.finalizeLast();
1219                         int const add = max(fm.width(par.layout().labelsep),
1220                                             labelEnd(row.pit()) - row.width());
1221                         row.addSpace(i, add, *fi, par.lookupChange(i));
1222                 } else if (c == '\t')
1223                         row.addSpace(i, theFontMetrics(*fi).width(from_ascii("    ")),
1224                                      *fi, par.lookupChange(i));
1225                 else if (c == 0x2028 || c == 0x2029) {
1226                         /**
1227                          * U+2028 LINE SEPARATOR
1228                          * U+2029 PARAGRAPH SEPARATOR
1229
1230                          * These are special unicode characters that break
1231                          * lines/pragraphs. Not handling them lead to trouble wrt
1232                          * Qt QTextLayout formatting. We add a visible character
1233                          * on screen so that the user can see that something is
1234                          * happening.
1235                         */
1236                         row.finalizeLast();
1237                         // ⤶ U+2936 ARROW POINTING DOWNWARDS THEN CURVING LEFTWARDS
1238                         // ¶ U+00B6 PILCROW SIGN
1239                         char_type const screen_char = (c == 0x2028) ? 0x2936 : 0x00B6;
1240                         row.add(i, screen_char, *fi, par.lookupChange(i), i >= body_pos);
1241                 } else
1242                         row.add(i, c, *fi, par.lookupChange(i), i >= body_pos);
1243
1244                 // add inline completion width
1245                 // draw logically behind the previous character
1246                 if (ic_pos == i + 1 && !bv_->inlineCompletion().empty()) {
1247                         docstring const comp = bv_->inlineCompletion();
1248                         size_t const uniqueTo =bv_->inlineCompletionUniqueChars();
1249                         Font f = *fi;
1250
1251                         if (uniqueTo > 0) {
1252                                 f.fontInfo().setColor(Color_inlinecompletion);
1253                                 row.addVirtual(i + 1, comp.substr(0, uniqueTo), f, Change());
1254                         }
1255                         f.fontInfo().setColor(Color_nonunique_inlinecompletion);
1256                         row.addVirtual(i + 1, comp.substr(uniqueTo), f, Change());
1257                 }
1258
1259                 // Handle some situations that abruptly terminate the row
1260                 // - Before an inset with BreakBefore
1261                 // - After an inset with BreakAfter
1262                 Inset const * prevInset = !row.empty() ? row.back().inset : 0;
1263                 Inset const * nextInset = (i + 1 < end) ? par.getInset(i + 1) : 0;
1264                 if ((nextInset && nextInset->rowFlags() & BreakBefore)
1265                     || (prevInset && prevInset->rowFlags() & BreakAfter)) {
1266                         row.flushed(true);
1267                         // Force a row creation after this one if it is ended by
1268                         // an inset that either
1269                         // - has row flag RowAfter that enforces that;
1270                         // - or (1) did force the row breaking, (2) is at end of
1271                         //   paragraph and (3) the said paragraph has an end label.
1272                         need_new_row = prevInset &&
1273                                 (prevInset->rowFlags() & AlwaysBreakAfter
1274                                  || (prevInset->rowFlags() & BreakAfter && i + 1 == end
1275                                      && text_->getEndLabel(row.pit()) != END_LABEL_NO_LABEL));
1276                         ++i;
1277                         break;
1278                 }
1279
1280                 ++i;
1281                 ++fi;
1282         }
1283         row.finalizeLast();
1284         row.endpos(i);
1285
1286         // End of paragraph marker. The logic here is almost the
1287         // same as in redoParagraph, remember keep them in sync.
1288         ParagraphList const & pars = text_->paragraphs();
1289         Change const & change = par.lookupChange(i);
1290         if ((lyxrc.paragraph_markers || change.changed())
1291             && !need_new_row // not this
1292             && i == end && size_type(row.pit() + 1) < pars.size()) {
1293                 // add a virtual element for the end-of-paragraph
1294                 // marker; it is shown on screen, but does not exist
1295                 // in the paragraph.
1296                 Font f(text_->layoutFont(row.pit()));
1297                 f.fontInfo().setColor(Color_paragraphmarker);
1298                 f.setLanguage(par.getParLanguage(buf.params()));
1299                 // ¶ U+00B6 PILCROW SIGN
1300                 row.addVirtual(end, docstring(1, char_type(0x00B6)), f, change);
1301         }
1302
1303         // Is there a end-of-paragaph change?
1304         if (i == end && par.lookupChange(end).changed() && !need_new_row)
1305                 row.needsChangeBar(true);
1306     //--------------------------------------------------------------------^^^
1307         // FIXME : nothing below this
1308
1309         // if the row is too large, try to cut at last separator. In case
1310         // of success, reset indication that the row was broken abruptly.
1311         int const next_width = max_width_ - leftMargin(row.pit(), row.endpos())
1312                 - rightMargin(row.pit());
1313
1314         if (row.shortenIfNeeded(width, next_width))
1315                 row.flushed(false);
1316         row.right_boundary(!row.empty() && row.endpos() < end//
1317                            && row.back().endpos == row.endpos());//
1318         // Last row in paragraph is flushed
1319         if (row.endpos() == end)//
1320                 row.flushed(true);//
1321
1322         // make sure that the RTL elements are in reverse ordering
1323         row.reverseRTL(is_rtl);//
1324         //LYXERR0("breakrow: row is " << row);
1325
1326         return need_new_row;
1327 }
1328
1329 int TextMetrics::parTopSpacing(pit_type const pit) const
1330 {
1331         Paragraph const & par = text_->getPar(pit);
1332         Layout const & layout = par.layout();
1333
1334         int asc = 0;
1335         ParagraphList const & pars = text_->paragraphs();
1336         double const dh = defaultRowHeight();
1337
1338         BufferParams const & bparams = bv_->buffer().params();
1339         Inset const & inset = text_->inset();
1340         // some parskips VERY EASY IMPLEMENTATION
1341         if (bparams.paragraph_separation == BufferParams::ParagraphSkipSeparation
1342                 && !inset.getLayout().parbreakIsNewline()
1343                 && !par.layout().parbreak_is_newline
1344                 && pit > 0
1345                 && ((layout.isParagraph() && par.getDepth() == 0)
1346                     || (pars[pit - 1].layout().isParagraph()
1347                         && pars[pit - 1].getDepth() == 0))) {
1348                 asc += bparams.getDefSkip().inPixels(*bv_);
1349         }
1350
1351         if (par.params().startOfAppendix())
1352                 asc += int(3 * dh);
1353
1354         // special code for the top label
1355         if (layout.labelIsAbove()
1356             && (!layout.isParagraphGroup() || text_->isFirstInSequence(pit))
1357             && !par.labelString().empty()) {
1358                 FontInfo labelfont = text_->labelFont(par);
1359                 FontMetrics const & lfm = theFontMetrics(labelfont);
1360                 asc += int(lfm.maxHeight() * layout.spacing.getValue()
1361                                            * text_->spacing(par)
1362                            + (layout.topsep + layout.labelbottomsep) * dh);
1363         }
1364
1365         // Add the layout spaces, for example before and after
1366         // a section, or between the items of a itemize or enumerate
1367         // environment.
1368
1369         pit_type prev = text_->depthHook(pit, par.getDepth());
1370         Paragraph const & prevpar = pars[prev];
1371         double layoutasc = 0;
1372         if (prev != pit
1373             && prevpar.layout() == layout
1374             && prevpar.getDepth() == par.getDepth()
1375             && prevpar.getLabelWidthString() == par.getLabelWidthString()) {
1376                 layoutasc = layout.itemsep * dh;
1377         } else if (pit != 0 && layout.topsep > 0)
1378                 layoutasc = layout.topsep * dh;
1379
1380         asc += int(layoutasc * 2 / (2 + pars[pit].getDepth()));
1381
1382         prev = text_->outerHook(pit);
1383         if (prev != pit_type(pars.size())) {
1384                 asc += int(pars[prev].layout().parsep * dh);
1385         } else if (pit != 0) {
1386                 Paragraph const & prevpar2 = pars[pit - 1];
1387                 if (prevpar2.getDepth() != 0 || prevpar2.layout() == layout)
1388                         asc += int(layout.parsep * dh);
1389         }
1390
1391         return asc;
1392 }
1393
1394
1395 int TextMetrics::parBottomSpacing(pit_type const pit) const
1396 {
1397         double layoutdesc = 0;
1398         ParagraphList const & pars = text_->paragraphs();
1399         double const dh = defaultRowHeight();
1400
1401         // add the layout spaces, for example before and after
1402         // a section, or between the items of a itemize or enumerate
1403         // environment
1404         pit_type nextpit = pit + 1;
1405         if (nextpit != pit_type(pars.size())) {
1406                 pit_type cpit = pit;
1407
1408                 if (pars[cpit].getDepth() > pars[nextpit].getDepth()) {
1409                         double usual = pars[cpit].layout().bottomsep * dh;
1410                         double unusual = 0;
1411                         cpit = text_->depthHook(cpit, pars[nextpit].getDepth());
1412                         if (pars[cpit].layout() != pars[nextpit].layout()
1413                                 || pars[nextpit].getLabelWidthString() != pars[cpit].getLabelWidthString())
1414                                 unusual = pars[cpit].layout().bottomsep * dh;
1415                         layoutdesc = max(unusual, usual);
1416                 } else if (pars[cpit].getDepth() == pars[nextpit].getDepth()) {
1417                         if (pars[cpit].layout() != pars[nextpit].layout()
1418                                 || pars[nextpit].getLabelWidthString() != pars[cpit].getLabelWidthString())
1419                                 layoutdesc = int(pars[cpit].layout().bottomsep * dh);
1420                 }
1421         }
1422
1423         return int(layoutdesc * 2 / (2 + pars[pit].getDepth()));
1424 }
1425
1426
1427 void TextMetrics::setRowHeight(Row & row) const
1428 {
1429         Paragraph const & par = text_->getPar(row.pit());
1430         Layout const & layout = par.layout();
1431         double const spacing_val = layout.spacing.getValue() * text_->spacing(par);
1432
1433         // Initial value for ascent (useful if row is empty).
1434         Font const font = displayFont(row.pit(), row.pos());
1435         FontMetrics const & fm = theFontMetrics(font);
1436         int maxasc = int(fm.maxAscent() * spacing_val);
1437         int maxdes = int(fm.maxDescent() * spacing_val);
1438
1439         // Take label string into account (useful if labelfont is large)
1440         if (row.pos() == 0 && layout.labelIsInline()) {
1441                 FontInfo const labelfont = text_->labelFont(par);
1442                 FontMetrics const & lfm = theFontMetrics(labelfont);
1443                 maxasc = max(maxasc, int(lfm.maxAscent() * spacing_val));
1444                 maxdes = max(maxdes, int(lfm.maxDescent() * spacing_val));
1445         }
1446
1447         // Find the ascent/descent of the row contents
1448         for (Row::Element const & e : row) {
1449                 if (e.inset) {
1450                         maxasc = max(maxasc, e.dim.ascent());
1451                         maxdes = max(maxdes, e.dim.descent());
1452                 } else {
1453                         FontMetrics const & fm2 = theFontMetrics(e.font);
1454                         maxasc = max(maxasc, int(fm2.maxAscent() * spacing_val));
1455                         maxdes = max(maxdes, int(fm2.maxDescent() * spacing_val));
1456                 }
1457         }
1458
1459         // This is nicer with box insets
1460         ++maxasc;
1461         ++maxdes;
1462
1463         row.dim().asc = maxasc;
1464         row.dim().des = maxdes;
1465
1466         // This is useful for selections
1467         row.contents_dim() = row.dim();
1468 }
1469
1470
1471 // x is an absolute screen coord
1472 // returns the column near the specified x-coordinate of the row
1473 // x is set to the real beginning of this column
1474 pos_type TextMetrics::getPosNearX(Row const & row, int & x,
1475                                   bool & boundary) const
1476 {
1477         //LYXERR0("getPosNearX(" << x << ") row=" << row);
1478         /// For the main Text, it is possible that this pit is not
1479         /// yet in the CoordCache when moving cursor up.
1480         /// x Paragraph coordinate is always 0 for main text anyway.
1481         int const xo = origin_.x_;
1482         x -= xo;
1483
1484         // Adapt to cursor row scroll offset if applicable.
1485         int const offset = bv_->horizScrollOffset(text_, row.pit(), row.pos());
1486         x += offset;
1487
1488         pos_type pos = row.pos();
1489         boundary = false;
1490         if (row.empty())
1491                 x = row.left_margin;
1492         else if (x <= row.left_margin) {
1493                 pos = row.front().left_pos();
1494                 x = row.left_margin;
1495         } else if (x >= row.width()) {
1496                 pos = row.back().right_pos();
1497                 x = row.width();
1498         } else {
1499                 double w = row.left_margin;
1500                 Row::const_iterator cit = row.begin();
1501                 Row::const_iterator cend = row.end();
1502                 for ( ; cit != cend; ++cit) {
1503                         if (w <= x &&  w + cit->full_width() > x) {
1504                                 int x_offset = int(x - w);
1505                                 pos = cit->x2pos(x_offset);
1506                                 x = int(x_offset + w);
1507                                 break;
1508                         }
1509                         w += cit->full_width();
1510                 }
1511                 if (cit == row.end()) {
1512                         pos = row.back().right_pos();
1513                         x = row.width();
1514                 }
1515                 /** This tests for the case where the cursor is placed
1516                  * just before a font direction change. See comment on
1517                  * the boundary_ member in DocIterator.h to understand
1518                  * how boundary helps here.
1519                  */
1520                 else if (pos == cit->endpos
1521                          && ((!cit->isRTL() && cit + 1 != row.end()
1522                               && (cit + 1)->isRTL())
1523                              || (cit->isRTL() && cit != row.begin()
1524                                  && !(cit - 1)->isRTL())))
1525                         boundary = true;
1526         }
1527
1528         /** This tests for the case where the cursor is set at the end
1529          * of a row which has been broken due something else than a
1530          * separator (a display inset or a forced breaking of the
1531          * row). We know that there is a separator when the end of the
1532          * row is larger than the end of its last element.
1533          */
1534         if (!row.empty() && pos == row.back().endpos
1535             && row.back().endpos == row.endpos()) {
1536                 Inset const * inset = row.back().inset;
1537                 if (inset && (inset->lyxCode() == NEWLINE_CODE
1538                               || inset->lyxCode() == SEPARATOR_CODE))
1539                         pos = row.back().pos;
1540                 else
1541                         boundary = row.right_boundary();
1542         }
1543
1544         x += xo - offset;
1545         //LYXERR0("getPosNearX ==> pos=" << pos << ", boundary=" << boundary);
1546
1547         return pos;
1548 }
1549
1550
1551 pos_type TextMetrics::x2pos(pit_type pit, int row, int x) const
1552 {
1553         // We play safe and use parMetrics(pit) to make sure the
1554         // ParagraphMetrics will be redone and OK to use if needed.
1555         // Otherwise we would use an empty ParagraphMetrics in
1556         // upDownInText() while in selection mode.
1557         ParagraphMetrics const & pm = parMetrics(pit);
1558
1559         LBUFERR(row < int(pm.rows().size()));
1560         bool bound = false;
1561         Row const & r = pm.rows()[row];
1562         return getPosNearX(r, x, bound);
1563 }
1564
1565
1566 // y is screen coordinate
1567 pit_type TextMetrics::getPitNearY(int y)
1568 {
1569         LASSERT(!text_->paragraphs().empty(), return -1);
1570         LASSERT(!par_metrics_.empty(), return -1);
1571         LYXERR(Debug::DEBUG, "y: " << y << " cache size: " << par_metrics_.size());
1572
1573         // look for highest numbered paragraph with y coordinate less than given y
1574         pit_type pit = -1;
1575         int yy = -1;
1576         ParMetricsCache::const_iterator it = par_metrics_.begin();
1577         ParMetricsCache::const_iterator et = par_metrics_.end();
1578         ParMetricsCache::const_iterator last = et;
1579         --last;
1580
1581         ParagraphMetrics const & pm = it->second;
1582
1583         if (y < it->second.position() - pm.ascent()) {
1584                 // We are looking for a position that is before the first paragraph in
1585                 // the cache (which is in priciple off-screen, that is before the
1586                 // visible part.
1587                 if (it->first == 0)
1588                         // We are already at the first paragraph in the inset.
1589                         return 0;
1590                 // OK, this is the paragraph we are looking for.
1591                 pit = it->first - 1;
1592                 newParMetricsUp();
1593                 return pit;
1594         }
1595
1596         ParagraphMetrics const & pm_last = par_metrics_[last->first];
1597
1598         if (y >= last->second.position() + pm_last.descent()) {
1599                 // We are looking for a position that is after the last paragraph in
1600                 // the cache (which is in priciple off-screen), that is before the
1601                 // visible part.
1602                 pit = last->first + 1;
1603                 if (pit == int(text_->paragraphs().size()))
1604                         //  We are already at the last paragraph in the inset.
1605                         return last->first;
1606                 // OK, this is the paragraph we are looking for.
1607                 newParMetricsDown();
1608                 return pit;
1609         }
1610
1611         for (; it != et; ++it) {
1612                 LYXERR(Debug::DEBUG, "examining: pit: " << it->first
1613                         << " y: " << it->second.position());
1614
1615                 ParagraphMetrics const & pm2 = par_metrics_[it->first];
1616
1617                 if (it->first >= pit && it->second.position() - pm2.ascent() <= y) {
1618                         pit = it->first;
1619                         yy = it->second.position();
1620                 }
1621         }
1622
1623         LYXERR(Debug::DEBUG, "found best y: " << yy << " for pit: " << pit);
1624
1625         return pit;
1626 }
1627
1628
1629 Row const & TextMetrics::getPitAndRowNearY(int & y, pit_type & pit,
1630         bool assert_in_view, bool up)
1631 {
1632         ParagraphMetrics const & pm = par_metrics_[pit];
1633
1634         int yy = pm.position() - pm.ascent();
1635         LBUFERR(!pm.rows().empty());
1636         RowList::const_iterator rit = pm.rows().begin();
1637         RowList::const_iterator rlast = pm.rows().end();
1638         --rlast;
1639         for (; rit != rlast; yy += rit->height(), ++rit)
1640                 if (yy + rit->height() > y)
1641                         break;
1642
1643         if (assert_in_view) {
1644                 if (!up && yy + rit->height() > y) {
1645                         if (rit != pm.rows().begin()) {
1646                                 y = yy;
1647                                 --rit;
1648                         } else if (pit != 0) {
1649                                 --pit;
1650                                 newParMetricsUp();
1651                                 ParagraphMetrics const & pm2 = par_metrics_[pit];
1652                                 rit = pm2.rows().end();
1653                                 --rit;
1654                                 y = yy;
1655                         }
1656                 } else if (up && yy != y) {
1657                         if (rit != rlast) {
1658                                 y = yy + rit->height();
1659                                 ++rit;
1660                         } else if (pit < int(text_->paragraphs().size()) - 1) {
1661                                 ++pit;
1662                                 newParMetricsDown();
1663                                 ParagraphMetrics const & pm2 = par_metrics_[pit];
1664                                 rit = pm2.rows().begin();
1665                                 y = pm2.position();
1666                         }
1667                 }
1668         }
1669         return *rit;
1670 }
1671
1672
1673 // x,y are absolute screen coordinates
1674 // sets cursor recursively descending into nested editable insets
1675 Inset * TextMetrics::editXY(Cursor & cur, int x, int y,
1676         bool assert_in_view, bool up)
1677 {
1678         if (lyxerr.debugging(Debug::WORKAREA)) {
1679                 LYXERR0("TextMetrics::editXY(cur, " << x << ", " << y << ")");
1680                 cur.bv().coordCache().dump();
1681         }
1682         pit_type pit = getPitNearY(y);
1683         LASSERT(pit != -1, return 0);
1684         Row const & row = getPitAndRowNearY(y, pit, assert_in_view, up);
1685         cur.pit() = pit;
1686
1687         // Do we cover an inset?
1688         InsetList::Element * e = checkInsetHit(pit, x, y);
1689
1690         if (!e) {
1691                 // No inset, set position in the text
1692                 bool bound = false; // is modified by getPosNearX
1693                 cur.pos() = getPosNearX(row, x, bound);
1694                 cur.boundary(bound);
1695                 cur.setCurrentFont();
1696                 cur.setTargetX(x);
1697                 return 0;
1698         }
1699
1700         Inset * inset = e->inset;
1701         //lyxerr << "inset " << inset << " hit at x: " << x << " y: " << y << endl;
1702
1703         // Set position in front of inset
1704         cur.pos() = e->pos;
1705         cur.boundary(false);
1706         cur.setTargetX(x);
1707
1708         // Try to descend recursively inside the inset.
1709         Inset * edited = inset->editXY(cur, x, y);
1710         // FIXME: it is not clear that the test on position is needed
1711         // Remove it if/when semantics of editXY is clarified
1712         if (cur.text() == text_ && cur.pos() == e->pos) {
1713                 // non-editable inset, set cursor after the inset if x is
1714                 // nearer to that position (bug 9628)
1715                 bool bound = false; // is modified by getPosNearX
1716                 cur.pos() = getPosNearX(row, x, bound);
1717                 cur.boundary(bound);
1718                 cur.setCurrentFont();
1719                 cur.setTargetX(x);
1720         }
1721
1722         if (cur.top().text() == text_)
1723                 cur.setCurrentFont();
1724         return edited;
1725 }
1726
1727
1728 void TextMetrics::setCursorFromCoordinates(Cursor & cur, int const x, int const y)
1729 {
1730         LASSERT(text_ == cur.text(), return);
1731         pit_type const pit = getPitNearY(y);
1732         LASSERT(pit != -1, return);
1733
1734         ParagraphMetrics const & pm = par_metrics_[pit];
1735
1736         int yy = pm.position() - pm.rows().front().ascent();
1737         LYXERR(Debug::DEBUG, "x: " << x << " y: " << y <<
1738                 " pit: " << pit << " yy: " << yy);
1739
1740         int r = 0;
1741         LBUFERR(pm.rows().size());
1742         for (; r < int(pm.rows().size()) - 1; ++r) {
1743                 Row const & row = pm.rows()[r];
1744                 if (yy + row.height() > y)
1745                         break;
1746                 yy += row.height();
1747         }
1748
1749         Row const & row = pm.rows()[r];
1750
1751         LYXERR(Debug::DEBUG, "row " << r << " from pos: " << row.pos());
1752
1753         bool bound = false;
1754         int xx = x;
1755         pos_type const pos = getPosNearX(row, xx, bound);
1756
1757         LYXERR(Debug::DEBUG, "setting cursor pit: " << pit << " pos: " << pos);
1758
1759         text_->setCursor(cur, pit, pos, true, bound);
1760         // remember new position.
1761         cur.setTargetX();
1762 }
1763
1764
1765 //takes screen x,y coordinates
1766 InsetList::Element * TextMetrics::checkInsetHit(pit_type pit, int x, int y)
1767 {
1768         Paragraph const & par = text_->paragraphs()[pit];
1769         CoordCache::Insets const & insetCache = bv_->coordCache().getInsets();
1770
1771         LYXERR(Debug::DEBUG, "x: " << x << " y: " << y << "  pit: " << pit);
1772
1773         for (InsetList::Element const & e : par.insetList()) {
1774                 LYXERR(Debug::DEBUG, "examining inset " << e.inset);
1775
1776                 if (insetCache.covers(e.inset, x, y)) {
1777                         LYXERR(Debug::DEBUG, "Hit inset: " << e.inset);
1778                         return const_cast<InsetList::Element *>(&e);
1779                 }
1780         }
1781
1782         LYXERR(Debug::DEBUG, "No inset hit. ");
1783         return nullptr;
1784 }
1785
1786
1787 //takes screen x,y coordinates
1788 Inset * TextMetrics::checkInsetHit(int x, int y)
1789 {
1790         pit_type const pit = getPitNearY(y);
1791         LASSERT(pit != -1, return 0);
1792         InsetList::Element * e = checkInsetHit(pit, x, y);
1793
1794         if (!e)
1795                 return 0;
1796
1797         return e->inset;
1798 }
1799
1800
1801 int TextMetrics::cursorX(CursorSlice const & sl,
1802                 bool boundary) const
1803 {
1804         LASSERT(sl.text() == text_, return 0);
1805
1806         ParagraphMetrics const & pm = par_metrics_[sl.pit()];
1807         if (pm.rows().empty())
1808                 return 0;
1809         Row const & row = pm.getRow(sl.pos(), boundary);
1810         pos_type const pos = sl.pos();
1811
1812         double x = 0;
1813         row.findElement(pos, boundary, x);
1814         return int(x);
1815
1816 }
1817
1818
1819 int TextMetrics::cursorY(CursorSlice const & sl, bool boundary) const
1820 {
1821         //lyxerr << "TextMetrics::cursorY: boundary: " << boundary << endl;
1822         ParagraphMetrics const & pm = parMetrics(sl.pit());
1823         if (pm.rows().empty())
1824                 return 0;
1825
1826         int h = 0;
1827         h -= parMetrics(0).rows()[0].ascent();
1828         for (pit_type pit = 0; pit < sl.pit(); ++pit) {
1829                 h += parMetrics(pit).height();
1830         }
1831         int pos = sl.pos();
1832         if (pos && boundary)
1833                 --pos;
1834         size_t const rend = pm.pos2row(pos);
1835         for (size_t rit = 0; rit != rend; ++rit)
1836                 h += pm.rows()[rit].height();
1837         h += pm.rows()[rend].ascent();
1838         return h;
1839 }
1840
1841
1842 // the cursor set functions have a special mechanism. When they
1843 // realize you left an empty paragraph, they will delete it.
1844
1845 bool TextMetrics::cursorHome(Cursor & cur)
1846 {
1847         LASSERT(text_ == cur.text(), return false);
1848         ParagraphMetrics const & pm = par_metrics_[cur.pit()];
1849         Row const & row = pm.getRow(cur.pos(),cur.boundary());
1850         return text_->setCursor(cur, cur.pit(), row.pos());
1851 }
1852
1853
1854 bool TextMetrics::cursorEnd(Cursor & cur)
1855 {
1856         LASSERT(text_ == cur.text(), return false);
1857         // if not on the last row of the par, put the cursor before
1858         // the final space exept if I have a spanning inset or one string
1859         // is so long that we force a break.
1860         pos_type end = cur.textRow().endpos();
1861         if (end == 0)
1862                 // empty text, end-1 is no valid position
1863                 return false;
1864         bool boundary = false;
1865         if (end != cur.lastpos()) {
1866                 if (!cur.paragraph().isLineSeparator(end-1)
1867                     && !cur.paragraph().isNewline(end-1)
1868                     && !cur.paragraph().isEnvSeparator(end-1))
1869                         boundary = true;
1870                 else
1871                         --end;
1872         } else if (cur.paragraph().isEnvSeparator(end-1))
1873                 --end;
1874         return text_->setCursor(cur, cur.pit(), end, true, boundary);
1875 }
1876
1877
1878 void TextMetrics::deleteLineForward(Cursor & cur)
1879 {
1880         LASSERT(text_ == cur.text(), return);
1881         if (cur.lastpos() == 0) {
1882                 // Paragraph is empty, so we just go forward
1883                 text_->cursorForward(cur);
1884         } else {
1885                 cur.resetAnchor();
1886                 cur.selection(true); // to avoid deletion
1887                 cursorEnd(cur);
1888                 cur.setSelection();
1889                 // What is this test for ??? (JMarc)
1890                 if (!cur.selection())
1891                         text_->deleteWordForward(cur);
1892                 else
1893                         cap::cutSelection(cur, false);
1894                 cur.checkBufferStructure();
1895         }
1896 }
1897
1898
1899 int TextMetrics::leftMargin(pit_type pit) const
1900 {
1901         // FIXME: what is the semantics? It depends on whether the
1902         // paragraph is empty!
1903         return leftMargin(pit, text_->paragraphs()[pit].size());
1904 }
1905
1906
1907 int TextMetrics::leftMargin(pit_type const pit, pos_type const pos) const
1908 {
1909         ParagraphList const & pars = text_->paragraphs();
1910
1911         LASSERT(pit >= 0, return 0);
1912         LASSERT(pit < int(pars.size()), return 0);
1913         Paragraph const & par = pars[pit];
1914         LASSERT(pos >= 0, return 0);
1915         // We do not really care whether pos > par.size(), since we do not
1916         // access the data. It can be actually useful, when querying the
1917         // margin without indentation (see leftMargin(pit_type).
1918
1919         Buffer const & buffer = bv_->buffer();
1920         //lyxerr << "TextMetrics::leftMargin: pit: " << pit << " pos: " << pos << endl;
1921         DocumentClass const & tclass = buffer.params().documentClass();
1922         Layout const & layout = par.layout();
1923         FontMetrics const & bfm = theFontMetrics(buffer.params().getFont());
1924
1925         docstring parindent = layout.parindent;
1926
1927         int l_margin = 0;
1928
1929         if (text_->isMainText()) {
1930                 l_margin += bv_->leftMargin();
1931                 l_margin += bfm.signedWidth(tclass.leftmargin());
1932         }
1933
1934         int depth = par.getDepth();
1935         if (depth != 0) {
1936                 // find the next level paragraph
1937                 pit_type newpar = text_->outerHook(pit);
1938                 if (newpar != pit_type(pars.size())) {
1939                         if (pars[newpar].layout().isEnvironment()) {
1940                                 int nestmargin = depth * nestMargin();
1941                                 if (text_->isMainText())
1942                                         nestmargin += changebarMargin();
1943                                 l_margin = max(leftMargin(newpar), nestmargin);
1944                                 // Remove the parindent that has been added
1945                                 // if the paragraph was empty.
1946                                 if (pars[newpar].empty() &&
1947                                     buffer.params().paragraph_separation ==
1948                                     BufferParams::ParagraphIndentSeparation) {
1949                                         docstring pi = pars[newpar].layout().parindent;
1950                                         l_margin -= bfm.signedWidth(pi);
1951                                 }
1952                         }
1953                         if (tclass.isDefaultLayout(par.layout())
1954                             || tclass.isPlainLayout(par.layout())) {
1955                                 if (pars[newpar].params().noindent())
1956                                         parindent.erase();
1957                                 else
1958                                         parindent = pars[newpar].layout().parindent;
1959                         }
1960                 }
1961         }
1962
1963         // This happens after sections or environments in standard classes.
1964         // We have to check the previous layout at same depth.
1965         if (buffer.params().paragraph_separation ==
1966                         BufferParams::ParagraphSkipSeparation)
1967                 parindent.erase();
1968         else if (pit > 0 && pars[pit - 1].getDepth() >= par.getDepth()) {
1969                 pit_type prev = text_->depthHook(pit, par.getDepth());
1970                 if (par.layout() == pars[prev].layout()) {
1971                         if (prev != pit - 1
1972                             && pars[pit - 1].layout().nextnoindent)
1973                                 parindent.erase();
1974                 } else if (pars[prev].layout().nextnoindent)
1975                         parindent.erase();
1976         }
1977
1978         FontInfo const labelfont = text_->labelFont(par);
1979         FontMetrics const & lfm = theFontMetrics(labelfont);
1980
1981         switch (layout.margintype) {
1982         case MARGIN_DYNAMIC:
1983                 if (!layout.leftmargin.empty()) {
1984                         l_margin += bfm.signedWidth(layout.leftmargin);
1985                 }
1986                 if (!par.labelString().empty()) {
1987                         l_margin += lfm.signedWidth(layout.labelindent);
1988                         l_margin += lfm.width(par.labelString());
1989                         l_margin += lfm.width(layout.labelsep);
1990                 }
1991                 break;
1992
1993         case MARGIN_MANUAL: {
1994                 l_margin += lfm.signedWidth(layout.labelindent);
1995                 // The width of an empty par, even with manual label, should be 0
1996                 if (!par.empty() && pos >= par.beginOfBody()) {
1997                         if (!par.getLabelWidthString().empty()) {
1998                                 docstring labstr = par.getLabelWidthString();
1999                                 l_margin += lfm.width(labstr);
2000                                 l_margin += lfm.width(layout.labelsep);
2001                         }
2002                 }
2003                 break;
2004         }
2005
2006         case MARGIN_STATIC: {
2007                 l_margin += bfm.signedWidth(layout.leftmargin) * 4
2008                              / (par.getDepth() + 4);
2009                 break;
2010         }
2011
2012         case MARGIN_FIRST_DYNAMIC:
2013                 if (layout.labeltype == LABEL_MANUAL) {
2014                         // if we are at position 0, we are never in the body
2015                         if (pos > 0 && pos >= par.beginOfBody())
2016                                 l_margin += lfm.signedWidth(layout.leftmargin);
2017                         else
2018                                 l_margin += lfm.signedWidth(layout.labelindent);
2019                 } else if (pos != 0
2020                            // Special case to fix problems with
2021                            // theorems (JMarc)
2022                            || (layout.labeltype == LABEL_STATIC
2023                                && layout.latextype == LATEX_ENVIRONMENT
2024                                && !text_->isFirstInSequence(pit))) {
2025                         l_margin += lfm.signedWidth(layout.leftmargin);
2026                 } else if (!layout.labelIsAbove()) {
2027                         l_margin += lfm.signedWidth(layout.labelindent);
2028                         l_margin += lfm.width(layout.labelsep);
2029                         l_margin += lfm.width(par.labelString());
2030                 }
2031                 break;
2032
2033         case MARGIN_RIGHT_ADDRESS_BOX:
2034                 // This is handled globally in redoParagraph().
2035                 break;
2036         }
2037
2038         if (!par.params().leftIndent().zero())
2039                 l_margin += par.params().leftIndent().inPixels(max_width_, lfm.em());
2040
2041         LyXAlignment align = par.getAlign(bv_->buffer().params());
2042
2043         // set the correct parindent
2044         if (pos == 0
2045             && (layout.labeltype == LABEL_NO_LABEL
2046                 || layout.labeltype == LABEL_ABOVE
2047                 || layout.labeltype == LABEL_CENTERED
2048                 || (layout.labeltype == LABEL_STATIC
2049                     && layout.latextype == LATEX_ENVIRONMENT
2050                     && !text_->isFirstInSequence(pit)))
2051             && (align == LYX_ALIGN_BLOCK || align == LYX_ALIGN_LEFT)
2052             && !par.params().noindent()
2053             // in some insets, paragraphs are never indented
2054             && !text_->inset().neverIndent()
2055             // display style insets do not need indentation
2056             && !(!par.empty()
2057                  && par.isInset(0)
2058                  && par.getInset(0)->rowFlags() & Display)
2059             && (!(tclass.isDefaultLayout(par.layout())
2060                 || tclass.isPlainLayout(par.layout()))
2061                 || buffer.params().paragraph_separation
2062                                 == BufferParams::ParagraphIndentSeparation)) {
2063                 /* use the parindent of the layout when the default
2064                  * indentation is used otherwise use the indentation set in
2065                  * the document settings
2066                  */
2067                 if (buffer.params().getParIndent().empty())
2068                         l_margin += bfm.signedWidth(parindent);
2069                 else
2070                         l_margin += buffer.params().getParIndent().inPixels(max_width_, bfm.em());
2071         }
2072
2073         return l_margin;
2074 }
2075
2076
2077 void TextMetrics::draw(PainterInfo & pi, int x, int y) const
2078 {
2079         if (par_metrics_.empty())
2080                 return;
2081
2082         origin_.x_ = x;
2083         origin_.y_ = y;
2084
2085         y -= par_metrics_.begin()->second.ascent();
2086         for (auto & pm_pair : par_metrics_) {
2087                 pit_type const pit = pm_pair.first;
2088                 ParagraphMetrics & pm = pm_pair.second;
2089                 y += pm.ascent();
2090                 // Save the paragraph position in the cache.
2091                 pm.setPosition(y);
2092                 drawParagraph(pi, pit, x, y);
2093                 y += pm.descent();
2094         }
2095 }
2096
2097
2098 void TextMetrics::drawParagraph(PainterInfo & pi, pit_type const pit, int const x, int y) const
2099 {
2100         ParagraphMetrics const & pm = par_metrics_[pit];
2101         if (pm.rows().empty())
2102                 return;
2103         size_t const nrows = pm.rows().size();
2104         // Remember left and right margin for drawing math numbers
2105         Changer changeleft = changeVar(pi.leftx, x + leftMargin(pit));
2106         Changer changeright = changeVar(pi.rightx, x + width() - rightMargin(pit));
2107
2108         // Use fast lane in nodraw stage.
2109         if (pi.pain.isNull()) {
2110                 for (size_t i = 0; i != nrows; ++i) {
2111
2112                         Row const & row = pm.rows()[i];
2113                         // Adapt to cursor row scroll offset if applicable.
2114                         int row_x = x - bv_->horizScrollOffset(text_, pit, row.pos());
2115                         if (i)
2116                                 y += row.ascent();
2117
2118                         RowPainter rp(pi, *text_, row, row_x, y);
2119
2120                         rp.paintOnlyInsets();
2121                         y += row.descent();
2122                 }
2123                 return;
2124         }
2125
2126         int const ww = bv_->workHeight();
2127         Cursor const & cur = bv_->cursor();
2128         DocIterator sel_beg = cur.selectionBegin();
2129         DocIterator sel_end = cur.selectionEnd();
2130         bool selection = cur.selection()
2131                 // This is our text.
2132                 && cur.text() == text_
2133                 // if the anchor is outside, this is not our selection
2134                 && cur.normalAnchor().text() == text_
2135                 && pit >= sel_beg.pit() && pit <= sel_end.pit();
2136
2137         // We store the begin and end pos of the selection relative to this par
2138         DocIterator sel_beg_par = cur.selectionBegin();
2139         DocIterator sel_end_par = cur.selectionEnd();
2140
2141         // We care only about visible selection.
2142         if (selection) {
2143                 if (pit != sel_beg.pit()) {
2144                         sel_beg_par.pit() = pit;
2145                         sel_beg_par.pos() = 0;
2146                 }
2147                 if (pit != sel_end.pit()) {
2148                         sel_end_par.pit() = pit;
2149                         sel_end_par.pos() = sel_end_par.lastpos();
2150                 }
2151         }
2152
2153         if (text_->isRTL(pit))
2154                 swap(pi.leftx, pi.rightx);
2155
2156         BookmarksSection::BookmarkPosList bpl =
2157                 theSession().bookmarks().bookmarksInPar(bv_->buffer().fileName(), pm.par().id());
2158
2159         for (size_t i = 0; i != nrows; ++i) {
2160
2161                 Row const & row = pm.rows()[i];
2162                 // Adapt to cursor row scroll offset if applicable.
2163                 int row_x = x - bv_->horizScrollOffset(text_, pit, row.pos());
2164                 if (i)
2165                         y += row.ascent();
2166
2167                 // It is not needed to draw on screen if we are not inside.
2168                 bool const inside = (y + row.descent() >= 0
2169                         && y - row.ascent() < ww);
2170                 if (!inside) {
2171                         // Inset positions have already been set in nodraw stage.
2172                         y += row.descent();
2173                         continue;
2174                 }
2175
2176                 if (selection)
2177                         row.setSelectionAndMargins(sel_beg_par, sel_end_par);
2178                 else
2179                         row.clearSelectionAndMargins();
2180
2181                 // The row knows nothing about the paragraph, so we have to check
2182                 // whether this row is the first or last and update the margins.
2183                 if (row.selection()) {
2184                         if (row.sel_beg == 0)
2185                                 row.change(row.begin_margin_sel, sel_beg.pit() < pit);
2186                         if (row.sel_end == sel_end_par.lastpos())
2187                                 row.change(row.end_margin_sel, sel_end.pit() > pit);
2188                 }
2189
2190                 // Take this opportunity to spellcheck the row contents.
2191                 if (row.changed() && pi.do_spellcheck && lyxrc.spellcheck_continuously) {
2192                         text_->getPar(pit).spellCheck();
2193                 }
2194
2195                 RowPainter rp(pi, *text_, row, row_x, y);
2196
2197                 // Don't paint the row if a full repaint has not been requested
2198                 // and if it has not changed.
2199                 if (!pi.full_repaint && !row.changed()) {
2200                         // Paint only the insets if the text itself is
2201                         // unchanged.
2202                         rp.paintOnlyInsets();
2203                         rp.paintTooLargeMarks(
2204                                 row_x + row.left_x() < bv_->leftMargin(),
2205                                 row_x + row.right_x() > bv_->workWidth() - bv_->rightMargin());
2206                         row.changed(false);
2207                         y += row.descent();
2208                         continue;
2209                 }
2210
2211                 // Clear background of this row if paragraph background was not
2212                 // already cleared because of a full repaint.
2213                 if (!pi.full_repaint && row.changed()) {
2214                         LYXERR(Debug::PAINTING, "Clear rect@("
2215                                << max(row_x, 0) << ", " << y - row.ascent() << ")="
2216                                << width() << " x " << row.height());
2217                         pi.pain.fillRectangle(row_x, y - row.ascent(),
2218                                               width(), row.height(), pi.background_color);
2219                 }
2220
2221                 // Instrumentation for testing row cache (see also
2222                 // 12 lines lower):
2223                 if (lyxerr.debugging(Debug::PAINTING)
2224                     && (row.selection() || pi.full_repaint || row.changed())) {
2225                         string const foreword = text_->isMainText() ? "main text redraw "
2226                                 : "inset text redraw: ";
2227                         LYXERR0(foreword << "pit=" << pit << " row=" << i
2228                                 << (row.selection() ? " row_selection": "")
2229                                 << (pi.full_repaint ? " full_repaint" : "")
2230                                 << (row.changed() ? " row.changed" : ""));
2231                 }
2232
2233                 // Backup full_repaint status and force full repaint
2234                 // for inner insets as the Row has been cleared out.
2235                 bool tmp = pi.full_repaint;
2236                 pi.full_repaint = true;
2237
2238                 rp.paintSelection();
2239                 rp.paintAppendix();
2240                 rp.paintDepthBar();
2241                 if (row.needsChangeBar())
2242                         rp.paintChangeBar();
2243                 if (i == 0)
2244                         rp.paintFirst();
2245                 if (i == nrows - 1)
2246                         rp.paintLast();
2247                 rp.paintText();
2248                 rp.paintTooLargeMarks(
2249                         row_x + row.left_x() < bv_->leftMargin(),
2250                         row_x + row.right_x() > bv_->workWidth() - bv_->rightMargin());
2251                 // indicate bookmarks presence in margin
2252                 if (lyxrc.bookmarks_visibility == LyXRC::BMK_MARGIN)
2253                         for (auto const & bp_p : bpl)
2254                                 if (bp_p.second >= row.pos() && bp_p.second < row.endpos())
2255                                         rp.paintBookmark(bp_p.first);
2256
2257                 y += row.descent();
2258
2259 #if 0
2260                 // This debug code shows on screen which rows are repainted.
2261                 // FIXME: since the updates related to caret blinking restrict
2262                 // the painter to a small rectangle, the numbers are not
2263                 // updated when this happens. Change the code in
2264                 // GuiWorkArea::Private::show/hideCaret if this is important.
2265                 static int count = 0;
2266                 ++count;
2267                 FontInfo fi(sane_font);
2268                 fi.setSize(TINY_SIZE);
2269                 fi.setColor(Color_red);
2270                 pi.pain.text(row_x, y, convert<docstring>(count), fi);
2271 #endif
2272
2273                 // Restore full_repaint status.
2274                 pi.full_repaint = tmp;
2275
2276                 row.changed(false);
2277         }
2278
2279         //LYXERR(Debug::PAINTING, ".");
2280 }
2281
2282
2283 void TextMetrics::completionPosAndDim(Cursor const & cur, int & x, int & y,
2284         Dimension & dim) const
2285 {
2286         DocIterator from = cur.bv().cursor();
2287         DocIterator to = from;
2288         text_->getWord(from.top(), to.top(), PREVIOUS_WORD);
2289
2290         // The vertical dimension of the word
2291         Font const font = displayFont(cur.pit(), from.pos());
2292         FontMetrics const & fm = theFontMetrics(font);
2293         // the +1's below are related to the extra pixels added in setRowHeight
2294         dim.asc = fm.maxAscent() + 1;
2295         dim.des = fm.maxDescent() + 1;
2296
2297         // get position on screen of the word start and end
2298         //FIXME: Is it necessary to explicitly set this to false?
2299         from.boundary(false);
2300         Point lxy = cur.bv().getPos(from);
2301         Point rxy = cur.bv().getPos(to);
2302         dim.wid = abs(rxy.x_ - lxy.x_);
2303
2304         // calculate position of word
2305         y = lxy.y_;
2306         x = min(rxy.x_, lxy.x_);
2307
2308         //lyxerr << "wid=" << dim.width() << " x=" << x << " y=" << y << " lxy.x_=" << lxy.x_ << " rxy.x_=" << rxy.x_ << " word=" << word << std::endl;
2309         //lyxerr << " wordstart=" << wordStart << " bvcur=" << bvcur << " cur=" << cur << std::endl;
2310 }
2311
2312 int defaultRowHeight()
2313 {
2314         return int(theFontMetrics(sane_font).maxHeight() *  1.2);
2315 }
2316
2317 } // namespace lyx