src/RowPainter.cpp

   1 /**
   2  * \file RowPainter.cpp
   3  * This file is part of LyX, the document processor.
   4  * Licence details can be found in the file COPYING.
   5  *
   6  * \author various
   7  * \author John Levon
   8  *
   9  * Full author contact details are available in file CREDITS.
  10  */
  11
  12 #include <config.h>
  13 #include <algorithm>
  14
  15 #include "RowPainter.h"
  16
  17 #include "Buffer.h"
  18 #include "CoordCache.h"
  19 #include "Cursor.h"
  20 #include "BufferParams.h"
  21 #include "BufferView.h"
  22 #include "Changes.h"
  23 #include "Language.h"
  24 #include "Layout.h"
  25 #include "LyXRC.h"
  26 #include "Row.h"
  27 #include "MetricsInfo.h"
  28 #include "Paragraph.h"
  29 #include "ParagraphParameters.h"
  30 #include "TextMetrics.h"
  31 #include "VSpace.h"
  32
  33 #include "frontends/FontMetrics.h"
  34 #include "frontends/Painter.h"
  35
  36 #include "insets/InsetText.h"
  37
  38 #include "mathed/InsetMath.h"
  39
  40 #include "support/debug.h"
  41 #include "support/gettext.h"
  42 #include "support/textutils.h"
  43
  44 #include "support/lassert.h"
  45 #include <boost/crc.hpp>
  46
  47 #include <stdlib.h>
  48
  49 using namespace std;
  50
  51 namespace lyx {
  52
  53 using frontend::Painter;
  54 using frontend::FontMetrics;
  55
  56
  57 RowPainter::RowPainter(PainterInfo & pi,
  58         Text const & text, Row const & row, int x, int y)
  59         : pi_(pi), text_(text),
  60           tm_(pi_.base.bv->textMetrics(&text)),
  61           pars_(text.paragraphs()),
  62           row_(row), par_(text.paragraphs()[row.pit()]),
  63           change_(pi_.change_),
  64           xo_(x), yo_(y)
  65 {
  66         x_ = row_.left_margin + xo_;
  67
  68         //lyxerr << "RowPainter: x: " << x_ << " xo: " << xo_ << " yo: " << yo_ << endl;
  69         //row_.dump();
  70
  71         LBUFERR(row.pit() >= 0);
  72         LBUFERR(row.pit() < int(text.paragraphs().size()));
  73 }
  74
  75
  76 FontInfo RowPainter::labelFont() const
  77 {
  78         FontInfo f = text_.labelFont(par_);
  79         // selected text?
  80         if ((row_.selection() && row_.begin_margin_sel) || pi_.selected)
  81                 f.setPaintColor(Color_selectiontext);
  82         return f;
  83 }
  84
  85
  86 // If you want to debug inset metrics uncomment the following line:
  87 //#define DEBUG_METRICS
  88 // This draws green lines around each inset.
  89
  90
  91 void RowPainter::paintInset(Row::Element const & e) const
  92 {
  93         // Handle selection
  94         bool const pi_selected = pi_.selected;
  95         Cursor const & cur = pi_.base.bv->cursor();
  96         if (cur.selection() && cur.text() == &text_
  97                 && cur.normalAnchor().text() == &text_)
  98                 pi_.selected = row_.sel_beg <= e.pos && row_.sel_end > e.pos;
  99
 100         LASSERT(e.inset, return);
 101         // Backup full_repaint status because some insets (InsetTabular)
 102         // requires a full repaint
 103         bool const pi_full_repaint = pi_.full_repaint;
 104         bool const pi_do_spellcheck = pi_.do_spellcheck;
 105         Change const pi_change = pi_.change_;
 106
 107         pi_.base.font = e.inset->inheritFont() ? e.font.fontInfo() :
 108                 pi_.base.bv->buffer().params().getFont().fontInfo();
 109         pi_.ltr_pos = !e.font.isVisibleRightToLeft();
 110         pi_.change_ = change_.changed() ? change_ : e.change;
 111         pi_.do_spellcheck &= e.inset->allowSpellCheck();
 112
 113         int const x1 = int(x_);
 114         pi_.base.bv->coordCache().insets().add(e.inset, x1, yo_);
 115         // insets are painted completely. Recursive
 116         // FIXME: it is wrong to completely paint the background
 117         // if we want to do single row painting.
 118         e.inset->drawBackground(pi_, x1, yo_);
 119         e.inset->drawSelection(pi_, x1, yo_);
 120         e.inset->draw(pi_, x1, yo_);
 121
 122         // Restore full_repaint status.
 123         pi_.full_repaint = pi_full_repaint;
 124         pi_.change_ = pi_change;
 125         pi_.do_spellcheck = pi_do_spellcheck;
 126         pi_.selected = pi_selected;
 127
 128 #ifdef DEBUG_METRICS
 129         Dimension const & dim = pi_.base.bv->coordCache().insets().dim(e.inset);
 130         int const x2 = x1 + dim.wid;
 131         int const y1 = yo_ + dim.des;
 132         int const y2 = yo_ - dim.asc;
 133         pi_.pain.line(x1, y1, x1, y2, Color_green);
 134         pi_.pain.line(x1, y1, x2, y1, Color_green);
 135         pi_.pain.line(x2, y1, x2, y2, Color_green);
 136         pi_.pain.line(x1, y2, x2, y2, Color_green);
 137 #endif
 138 }
 139
 140
 141 void RowPainter::paintForeignMark(Row::Element const & e) const
 142 {
 143         Language const * lang = e.font.language();
 144         if (!lyxrc.mark_foreign_language)
 145                 return;
 146         if (lang == latex_language)
 147                 return;
 148         if (lang == pi_.base.bv->buffer().params().language)
 149                 return;
 150
 151         int const desc = e.inset ? e.dim.descent() : 0;
 152         int const y = yo_ + pi_.base.solidLineOffset()
 153                 + desc + pi_.base.solidLineThickness() / 2;
 154         pi_.pain.line(int(x_), y, int(x_ + e.full_width()), y, Color_language,
 155                       Painter::line_solid, pi_.base.solidLineThickness());
 156 }
 157
 158
 159 void RowPainter::paintMisspelledMark(Row::Element const & e) const
 160 {
 161         // if changed the misspelled marker gets placed slightly lower than normal
 162         // to avoid drawing at the same vertical offset
 163         FontMetrics const & fm = theFontMetrics(e.font);
 164         int const thickness = max(fm.lineWidth(), 2);
 165         int const y = yo_ + pi_.base.solidLineOffset() + pi_.base.solidLineThickness()
 166                 + (e.change.changed() ? pi_.base.solidLineThickness() + 1 : 0)
 167                 + 1 + thickness / 2;
 168
 169         //FIXME: this could be computed only once, it is probably not costly.
 170         // check for cursor position
 171         // don't draw misspelled marker for words at cursor position
 172         // we don't want to disturb the process of text editing
 173         DocIterator const nw = pi_.base.bv->cursor().newWord();
 174         pos_type cpos = -1;
 175         if (!nw.empty() && par_.id() == nw.paragraph().id()) {
 176                 cpos = nw.pos();
 177                 if (cpos > 0 && cpos == par_.size() && !par_.isWordSeparator(cpos-1))
 178                         --cpos;
 179                 else if (cpos > 0 && par_.isWordSeparator(cpos))
 180                         --cpos;
 181         }
 182
 183         pos_type pos = e.pos;
 184         while (pos < e.pos + pos_type(e.str.length())) {
 185                 if (!par_.isMisspelled(pos)) {
 186                         ++pos;
 187                         continue;
 188                 }
 189
 190                 FontSpan const & range = par_.getSpellRange(pos);
 191
 192                 // Skip element which are being edited
 193                 if (range.contains(cpos)) {
 194                         // the range includes the last element
 195                         pos = range.last + 1;
 196                         continue;
 197                 }
 198
 199                 FontMetrics const & fm = theFontMetrics(e.font);
 200                 int x1 = fm.pos2x(e.str, range.first - e.pos,
 201                                   e.isRTL(), e.extra);
 202                 int x2 = fm.pos2x(e.str, min(range.last - e.pos + 1,
 203                                                                          pos_type(e.str.length())),
 204                                                                          e.isRTL(), e.extra);
 205                 if (x1 > x2)
 206                         swap(x1, x2);
 207
 208                 pi_.pain.line(int(x_ + x1), y, int(x_ + x2), y,
 209                               Color_error,
 210                               Painter::line_onoffdash, thickness);
 211                 pos = range.last + 1;
 212         }
 213 }
 214
 215
 216 void RowPainter::paintStringAndSel(Row::Element const & e) const
 217 {
 218         // at least part of text selected?
 219         bool const some_sel = (e.endpos >= row_.sel_beg && e.pos < row_.sel_end)
 220                 || pi_.selected;
 221         // all the text selected?
 222         bool const all_sel = (e.pos >= row_.sel_beg && e.endpos < row_.sel_end)
 223                 || pi_.selected;
 224
 225         if (all_sel || e.change.changed()) {
 226                 Font copy = e.font;
 227                 Color const col = e.change.changed() ? e.change.color()
 228                                                      : Color_selectiontext;
 229                 copy.fontInfo().setPaintColor(col);
 230                 pi_.pain.text(int(x_), yo_, e.str, copy, e.extra, e.full_width());
 231         } else if (!some_sel) {
 232                 pi_.pain.text(int(x_), yo_, e.str, e.font, e.extra, e.full_width());
 233         } else {
 234                 pi_.pain.text(int(x_), yo_, e.str, e.font, Color_selectiontext,
 235                               max(row_.sel_beg, e.pos) - e.pos,
 236                               min(row_.sel_end, e.endpos) - e.pos,
 237                               e.extra, e.full_width());
 238         }
 239 }
 240
 241
 242 void RowPainter::paintChange(Row::Element const & e) const
 243 {
 244         e.change.paintCue(pi_, x_, yo_, x_ + e.full_width(), e.font.fontInfo());
 245 }
 246
 247
 248 void RowPainter::paintChangeBar() const
 249 {
 250         pos_type const start = row_.pos();
 251         pos_type end = row_.endpos();
 252
 253         if (par_.size() == end) {
 254                 // this is the last row of the paragraph;
 255                 // thus, we must also consider the imaginary end-of-par character
 256                 end++;
 257         }
 258
 259         if (start == end || !par_.isChanged(start, end))
 260                 return;
 261
 262         int const height = tm_.isLastRow(row_)
 263                 ? row_.ascent()
 264                 : row_.height();
 265
 266         pi_.pain.fillRectangle(5, yo_ - row_.ascent(), 3, height, Color_changebar);
 267 }
 268
 269
 270 void RowPainter::paintAppendix() const
 271 {
 272         // only draw the appendix frame once (for the main text)
 273         if (!par_.params().appendix() || !text_.isMainText())
 274                 return;
 275
 276         int y = yo_ - row_.ascent();
 277
 278         if (par_.params().startOfAppendix())
 279                 y += 2 * defaultRowHeight();
 280
 281         pi_.pain.line(1, y, 1, yo_ + row_.height(), Color_appendix);
 282         pi_.pain.line(tm_.width() - 2, y, tm_.width() - 2, yo_ + row_.height(), Color_appendix);
 283 }
 284
 285
 286 void RowPainter::paintDepthBar() const
 287 {
 288         depth_type depth = par_.getDepth();
 289
 290         // We also mark follow-up paragraphs in a paragraph group
 291         if (par_.layout().isParagraphGroup()
 292             && par_.layout().labeltype == LABEL_STATIC
 293             && !text_.isFirstInSequence(row_.pit()))
 294                 ++depth;
 295
 296         if (depth <= 0)
 297                 return;
 298
 299         depth_type prev_depth = 0;
 300         if (!tm_.isFirstRow(row_)) {
 301                 pit_type pit2 = row_.pit();
 302                 if (row_.pos() == 0)
 303                         --pit2;
 304                 prev_depth = pars_[pit2].getDepth();
 305                 // We also mark follow-up paragraphs in a paragraph group
 306                 if (pars_[pit2].layout().isParagraphGroup()
 307                     && pars_[pit2].layout().labeltype == LABEL_STATIC
 308                     && !text_.isFirstInSequence(pit2))
 309                         ++prev_depth;
 310         }
 311
 312         depth_type next_depth = 0;
 313         if (!tm_.isLastRow(row_)) {
 314                 pit_type pit2 = row_.pit();
 315                 if (row_.endpos() >= pars_[pit2].size())
 316                         ++pit2;
 317                 next_depth = pars_[pit2].getDepth();
 318                 // We also mark follow-up paragraphs in a paragraph group
 319                 if (pars_[pit2].layout().isParagraphGroup()
 320                     && pars_[pit2].layout().labeltype == LABEL_STATIC
 321                     && !text_.isFirstInSequence(pit2))
 322                         ++next_depth;
 323         }
 324
 325         for (depth_type i = 1; i <= depth; ++i) {
 326                 int const w = nestMargin() / 5;
 327                 int x = int(xo_) + w * i;
 328                 // only consider the changebar space if we're drawing outermost text
 329                 if (text_.isMainText())
 330                         x += changebarMargin();
 331
 332                 int const starty = yo_ - row_.ascent();
 333                 int const h =  row_.height() - 1 - (i - next_depth - 1) * 3;
 334
 335                 pi_.pain.line(x, starty, x, starty + h, Color_depthbar);
 336
 337                 if (i > prev_depth)
 338                         pi_.pain.fillRectangle(x, starty, w, 2, Color_depthbar);
 339                 if (i > next_depth)
 340                         pi_.pain.fillRectangle(x, starty + h, w, 2, Color_depthbar);
 341         }
 342 }
 343
 344
 345 void RowPainter::paintAppendixStart(int y) const
 346 {
 347         FontInfo pb_font = sane_font;
 348         pb_font.setColor(Color_appendix);
 349         pb_font.decSize();
 350
 351         int w = 0;
 352         int a = 0;
 353         int d = 0;
 354
 355         docstring const label = _("Appendix");
 356         theFontMetrics(pb_font).rectText(label, w, a, d);
 357
 358         int const text_start = int(xo_ + (tm_.width() - w) / 2);
 359         int const text_end = text_start + w;
 360
 361         pi_.pain.rectText(text_start, y + d, label, pb_font, Color_none, Color_none);
 362
 363         pi_.pain.line(int(xo_ + 1), y, text_start, y, Color_appendix);
 364         pi_.pain.line(text_end, y, int(xo_ + tm_.width() - 2), y, Color_appendix);
 365 }
 366
 367
 368 void RowPainter::paintTooLargeMarks(bool const left, bool const right) const
 369 {
 370         if (left)
 371                 pi_.pain.line(pi_.base.dottedLineThickness(), yo_ - row_.ascent(),
 372                                           pi_.base.dottedLineThickness(), yo_ + row_.descent(),
 373                                           Color_scroll, Painter::line_onoffdash,
 374                               pi_.base.dottedLineThickness());
 375         if (right) {
 376                 int const wwidth =
 377                         pi_.base.bv->workWidth() - pi_.base.dottedLineThickness();
 378                 pi_.pain.line(wwidth, yo_ - row_.ascent(),
 379                                           wwidth, yo_ + row_.descent(),
 380                                           Color_scroll, Painter::line_onoffdash,
 381                               pi_.base.dottedLineThickness());
 382         }
 383 }
 384
 385
 386 void RowPainter::paintFirst() const
 387 {
 388         Layout const & layout = par_.layout();
 389
 390         // start of appendix?
 391         if (par_.params().startOfAppendix())
 392             paintAppendixStart(yo_ - row_.ascent() + 2 * defaultRowHeight());
 393
 394         bool const is_first =
 395                 text_.isFirstInSequence(row_.pit()) || !layout.isParagraphGroup();
 396         //lyxerr << "paintFirst: " << par_.id() << " is_seq: " << is_seq << endl;
 397
 398         if (layout.labelIsInline()
 399             && (layout.labeltype != LABEL_STATIC || is_first))
 400                 paintLabel();
 401         else if (is_first && layout.labelIsAbove())
 402                 paintTopLevelLabel();
 403 }
 404
 405
 406 void RowPainter::paintLabel() const
 407 {
 408         docstring const & str = par_.labelString();
 409         if (str.empty())
 410                 return;
 411
 412         Layout const & layout = par_.layout();
 413         FontInfo const font = labelFont();
 414         FontMetrics const & fm = theFontMetrics(font);
 415         double x = x_;
 416
 417         if (row_.isRTL())
 418                 x = tm_.width() - row_.right_margin + fm.width(layout.labelsep);
 419         else
 420                 x = x_ - fm.width(layout.labelsep) - fm.width(str);
 421
 422         pi_.pain.text(int(x), yo_, str, font);
 423 }
 424
 425
 426 void RowPainter::paintTopLevelLabel() const
 427 {
 428         BufferParams const & bparams = pi_.base.bv->buffer().params();
 429         ParagraphParameters const & pparams = par_.params();
 430         Layout const & layout = par_.layout();
 431         FontInfo const font = labelFont();
 432         docstring const str = par_.labelString();
 433         if (str.empty())
 434                 return;
 435
 436         double spacing_val = 1.0;
 437         if (!pparams.spacing().isDefault())
 438                 spacing_val = pparams.spacing().getValue();
 439         else
 440                 spacing_val = bparams.spacing().getValue();
 441
 442         FontMetrics const & fm = theFontMetrics(font);
 443
 444         int const labeladdon = int(fm.maxHeight()
 445                 * layout.spacing.getValue() * spacing_val);
 446
 447         int maxdesc =
 448                 int(fm.maxDescent() * layout.spacing.getValue() * spacing_val
 449                 + (layout.labelbottomsep * defaultRowHeight()));
 450
 451         double x = x_;
 452         if (layout.labeltype == LABEL_CENTERED) {
 453                 x = row_.left_margin + (tm_.width() - row_.left_margin - row_.right_margin) / 2;
 454                 x -= fm.width(str) / 2;
 455         } else if (row_.isRTL()) {
 456                 x = tm_.width() - row_.right_margin - fm.width(str);
 457         }
 458         pi_.pain.text(int(x), yo_ - maxdesc - labeladdon, str, font);
 459 }
 460
 461
 462 /** Check if the current paragraph is the last paragraph in a
 463     proof environment */
 464 static int getEndLabel(pit_type p, Text const & text)
 465 {
 466         ParagraphList const & pars = text.paragraphs();
 467         pit_type pit = p;
 468         depth_type par_depth = pars[p].getDepth();
 469         while (pit != pit_type(pars.size())) {
 470                 Layout const & layout = pars[pit].layout();
 471                 int const endlabeltype = layout.endlabeltype;
 472
 473                 if (endlabeltype != END_LABEL_NO_LABEL) {
 474                         if (p + 1 == pit_type(pars.size()))
 475                                 return endlabeltype;
 476
 477                         depth_type const next_depth =
 478                                 pars[p + 1].getDepth();
 479                         if (par_depth > next_depth ||
 480                             (par_depth == next_depth && layout != pars[p + 1].layout()))
 481                                 return endlabeltype;
 482                         break;
 483                 }
 484                 if (par_depth == 0)
 485                         break;
 486                 pit = text.outerHook(pit);
 487                 if (pit != pit_type(pars.size()))
 488                         par_depth = pars[pit].getDepth();
 489         }
 490         return END_LABEL_NO_LABEL;
 491 }
 492
 493
 494 void RowPainter::paintLast() const
 495 {
 496         int const endlabel = getEndLabel(row_.pit(), text_);
 497
 498         // paint imaginary end-of-paragraph character
 499
 500         Change const & change = par_.lookupChange(par_.size());
 501         if (change.changed()) {
 502                 FontMetrics const & fm =
 503                         theFontMetrics(pi_.base.bv->buffer().params().getFont());
 504                 int const length = fm.maxAscent() / 2;
 505                 Color col = change.color();
 506
 507                 pi_.pain.line(int(x_) + 1, yo_ + 2, int(x_) + 1, yo_ + 2 - length, col,
 508                            Painter::line_solid, 3);
 509
 510                 if (change.deleted()) {
 511                         pi_.pain.line(int(x_) + 1 - length, yo_ + 2, int(x_) + 1 + length,
 512                                 yo_ + 2, col, Painter::line_solid, 3);
 513                 } else {
 514                         pi_.pain.line(int(x_) + 1 - length, yo_ + 2, int(x_) + 1,
 515                                 yo_ + 2, col, Painter::line_solid, 3);
 516                 }
 517         }
 518
 519         // draw an endlabel
 520
 521         switch (endlabel) {
 522         case END_LABEL_BOX:
 523         case END_LABEL_FILLED_BOX: {
 524                 FontInfo const font = labelFont();
 525                 FontMetrics const & fm = theFontMetrics(font);
 526                 int const size = int(0.75 * fm.maxAscent());
 527                 int const y = yo_ - size;
 528
 529                 // If needed, move the box a bit to avoid overlapping with text.
 530                 int x = 0;
 531                 if (row_.isRTL()) {
 532                         int const normal_x = nestMargin() + changebarMargin();
 533                         x = min(normal_x, row_.left_margin - size - Inset::TEXT_TO_INSET_OFFSET);
 534                 } else {
 535                         int const normal_x = tm_.width() - row_.right_margin
 536                                 - size - Inset::TEXT_TO_INSET_OFFSET;
 537                         x = max(normal_x, row_.width());
 538                 }
 539
 540                 if (endlabel == END_LABEL_BOX)
 541                         pi_.pain.rectangle(x, y, size, size, Color_eolmarker);
 542                 else
 543                         pi_.pain.fillRectangle(x, y, size, size, Color_eolmarker);
 544                 break;
 545         }
 546
 547         case END_LABEL_STATIC: {
 548                 FontInfo const font = labelFont();
 549                 FontMetrics const & fm = theFontMetrics(font);
 550                 docstring const & str = par_.layout().endlabelstring();
 551                 double const x = row_.isRTL() ? x_ - fm.width(str) : x_;
 552                 pi_.pain.text(int(x), yo_, str, font);
 553                 break;
 554         }
 555
 556         case END_LABEL_NO_LABEL:
 557                 break;
 558         }
 559 }
 560
 561
 562 void RowPainter::paintOnlyInsets()
 563 {
 564         Row::const_iterator cit = row_.begin();
 565         Row::const_iterator const & end = row_.end();
 566         for ( ; cit != end ; ++cit) {
 567                 Row::Element const & e = *cit;
 568                 if (e.type == Row::INSET) {
 569                         paintInset(e);
 570                         // The line that indicates word in a different language
 571                         paintForeignMark(e);
 572                         // change tracking (not for insets that handle it themselves)
 573                         if (!e.inset->canPaintChange(*pi_.base.bv))
 574                                 paintChange(e);
 575                 }
 576
 577                 x_ += e.full_width();
 578         }
 579 }
 580
 581
 582 void RowPainter::paintText()
 583 {
 584         Row::const_iterator cit = row_.begin();
 585         Row::const_iterator const & end = row_.end();
 586         for ( ; cit != end ; ++cit) {
 587                 Row::Element const & e = *cit;
 588
 589                 switch (e.type) {
 590                 case Row::STRING:
 591                 case Row::VIRTUAL:
 592                         paintStringAndSel(e);
 593
 594                         // Paint the spelling marks if enabled.
 595                         if (lyxrc.spellcheck_continuously && pi_.do_spellcheck && pi_.pain.isDrawingEnabled())
 596                                 paintMisspelledMark(e);
 597                         break;
 598
 599                 case Row::INSET:
 600                         paintInset(e);
 601                         break;
 602
 603                 case Row::SPACE:
 604                         pi_.pain.textDecoration(e.font.fontInfo(), int(x_), yo_, int(e.full_width()));
 605                 }
 606
 607                 // The line that indicates word in a different language
 608                 paintForeignMark(e);
 609
 610                 // change tracking (not for insets that handle it themselves)
 611                 if (e.type != Row::INSET || ! e.inset->canPaintChange(*pi_.base.bv))
 612                         paintChange(e);
 613
 614                 x_ += e.full_width();
 615         }
 616 }
 617
 618
 619 void RowPainter::paintSelection() const
 620 {
 621         if (!row_.selection())
 622                 return;
 623
 624         int const y1 = yo_ - row_.ascent();
 625         int const y2 = y1 + row_.height();
 626
 627         // draw the margins
 628         if (row_.isRTL() ? row_.end_margin_sel : row_.begin_margin_sel)
 629                 pi_.pain.fillRectangle(int(xo_), y1, row_.left_margin, y2 - y1,
 630                                        Color_selection);
 631
 632         // go through row and draw from RTL boundary to RTL boundary
 633         double x = xo_ + row_.left_margin;
 634         for (auto const & e : row_) {
 635                 // These are the same tests as in paintStringAndSel, except
 636                 // that all_sel has an additional clause that triggers for end
 637                 // of paragraph markers. The clause was not used in
 638                 // paintStringAndSel to avoid changing the drawing color.
 639                 // at least part of text selected?
 640                 bool const some_sel = (e.endpos >= row_.sel_beg && e.pos < row_.sel_end)
 641                         || pi_.selected;
 642                 // all the text selected?
 643                 bool const all_sel = (e.pos >= row_.sel_beg && e.endpos < row_.sel_end)
 644                     || (e.isVirtual() && e.pos == row_.endpos() && row_.end_margin_sel)
 645                     || pi_.selected;
 646
 647                 if (all_sel) {
 648                         // the 3rd argument is written like that to avoid rounding issues
 649                         pi_.pain.fillRectangle(int(x), y1,
 650                                                int(x + e.full_width()) - int(x), y2 - y1,
 651                                                Color_selection);
 652                 } else if (some_sel) {
 653                         pos_type const from = min(max(row_.sel_beg, e.pos), e.endpos);
 654                         pos_type const to = max(min(row_.sel_end, e.endpos), e.pos);
 655                         double x1 = e.pos2x(from);
 656                         double x2 = e.pos2x(to);
 657                         if (x1 > x2)
 658                                 swap(x1, x2);
 659                         // the 3rd argument is written like that to avoid rounding issues
 660                         pi_.pain.fillRectangle(int(x + x1), y1, int(x2 + x) - int(x1 + x),
 661                                                y2 - y1, Color_selection);
 662                 }
 663                 x += e.full_width();
 664         }
 665
 666         if (row_.isRTL() ? row_.begin_margin_sel : row_.end_margin_sel)
 667                 pi_.pain.fillRectangle(int(x), y1,
 668                                        int(xo_ + tm_.width()) - int(x), y2 - y1,
 669                                        Color_selection);
 670
 671 }
 672
 673
 674 } // namespace lyx