src/rowpainter.C

   1 /**
   2  * \file rowpainter.C
   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
  14 #include <algorithm>
  15
  16 #include "frontends/Painter.h"
  17 #include "frontends/screen.h"
  18 #include "frontends/font_metrics.h"
  19 #include "support/LAssert.h"
  20 #include "paragraph.h"
  21 #include "support/textutils.h"
  22
  23 #include "insets/insettext.h"
  24 #include "ParagraphParameters.h"
  25 #include "BufferView.h"
  26 #include "buffer.h"
  27 #include "gettext.h"
  28 #include "language.h"
  29 #include "encoding.h"
  30 #include "lyxtext.h"
  31 #include "lyxrow.h"
  32 #include "rowpainter.h"
  33 #include "lyxrc.h"
  34
  35
  36 using std::max;
  37 using lyx::pos_type;
  38
  39 extern int PAPER_MARGIN;
  40 extern int CHANGEBAR_MARGIN;
  41 extern int LEFT_MARGIN;
  42
  43 namespace {
  44
  45 // "temporary". We'll never get to use more
  46 // references until we start adding hacks like
  47 // these until other places catch up.
  48 BufferView * perv(BufferView const & bv)
  49 {
  50         return const_cast<BufferView *>(&bv);
  51 }
  52
  53 } // namespace anon
  54
  55
  56 RowPainter::RowPainter(BufferView const & bv, LyXText const & text, Row const & row)
  57         : bv_(bv), pain_(bv_.painter()), text_(text), row_(row), par_(*row.par())
  58 {
  59 }
  60
  61
  62 /// "temporary"
  63 LyXFont const RowPainter::getFont(pos_type pos) const
  64 {
  65         Paragraph * perverted_par = const_cast<Paragraph *>(&par_);
  66         return text_.getFont(bv_.buffer(), perverted_par, pos);
  67 }
  68
  69
  70 int RowPainter::singleWidth(lyx::pos_type pos) const
  71 {
  72         BufferView * bv(perv(bv_));
  73         Paragraph * par(const_cast<Paragraph*>(&par_));
  74         return text_.singleWidth(bv, par, pos);
  75 }
  76
  77
  78 int RowPainter::singleWidth(lyx::pos_type pos, char c) const
  79 {
  80         BufferView * bv(perv(bv_));
  81         Paragraph * par(const_cast<Paragraph*>(&par_));
  82         return text_.singleWidth(bv, par, pos, c);
  83 }
  84
  85
  86 LyXFont const RowPainter::getLabelFont() const
  87 {
  88         Paragraph * par(const_cast<Paragraph*>(&par_));
  89         return text_.getLabelFont(bv_.buffer(), par);
  90 }
  91
  92
  93 char const RowPainter::transformChar(char c, lyx::pos_type pos) const
  94 {
  95         Paragraph * par(const_cast<Paragraph*>(&par_));
  96         return text_.transformChar(c, par, pos);
  97 }
  98
  99
 100 int RowPainter::leftMargin() const
 101 {
 102         BufferView * bv(perv(bv_));
 103         Row * row(const_cast<Row *>(&row_));
 104         return text_.leftMargin(bv, row);
 105 }
 106
 107
 108 bool RowPainter::paintInset(pos_type const pos)
 109 {
 110         Inset * inset = const_cast<Inset*>(par_.getInset(pos));
 111
 112         lyx::Assert(inset);
 113
 114         LyXFont const & font = getFont(pos);
 115
 116         inset->update(perv(bv_), font, false);
 117         inset->draw(perv(bv_), font, yo_ + row_.baseline(), x_, cleared_);
 118
 119         // return true if something changed when we drew an inset
 120
 121         return (!text_.need_break_row && !text_.isInInset()
 122             && bv_.text->status() == LyXText::CHANGED_IN_DRAW);
 123 }
 124
 125
 126 void RowPainter::paintHebrewComposeChar(pos_type & vpos)
 127 {
 128         pos_type pos = text_.vis2log(vpos);
 129
 130         string str;
 131
 132         // first char
 133         char c = par_.getChar(pos);
 134         str += c;
 135         ++vpos;
 136
 137         LyXFont const & font = getFont(pos);
 138         int const width = font_metrics::width(c, font);
 139         int dx = 0;
 140
 141         for (pos_type i = pos - 1; i >= 0; --i) {
 142                 c = par_.getChar(i);
 143                 if (!Encodings::IsComposeChar_hebrew(c)) {
 144                         if (IsPrintableNonspace(c)) {
 145                                 int const width2 =
 146                                         singleWidth(i, c);
 147                                 // dalet / resh
 148                                 dx = (c == 'ø' || c == 'ã')
 149                                         ? width2 - width
 150                                         : (width2 - width) / 2;
 151                         }
 152                         break;
 153                 }
 154         }
 155
 156         // Draw nikud
 157         pain_.text(int(x_) + dx, yo_ + row_.baseline(), str, font);
 158 }
 159
 160
 161 void RowPainter::paintArabicComposeChar(pos_type & vpos)
 162 {
 163         pos_type pos = text_.vis2log(vpos);
 164         string str;
 165
 166         // first char
 167         char c = par_.getChar(pos);
 168         c = transformChar(c, pos);
 169         str +=c;
 170         ++vpos;
 171
 172         LyXFont const & font = getFont(pos);
 173         int const width = font_metrics::width(c, font);
 174         int dx = 0;
 175
 176         for (pos_type i = pos-1; i >= 0; --i) {
 177                 c = par_.getChar(i);
 178                 if (!Encodings::IsComposeChar_arabic(c)) {
 179                         if (IsPrintableNonspace(c)) {
 180                                 int const width2 =
 181                                         singleWidth(i, c);
 182                                 dx = (width2 - width) / 2;
 183                         }
 184                         break;
 185                 }
 186         }
 187         // Draw nikud
 188         pain_.text(int(x_) + dx, yo_ + row_.baseline(), str, font);
 189 }
 190
 191
 192 void RowPainter::paintChars(pos_type & vpos, bool hebrew, bool arabic)
 193 {
 194         pos_type pos = text_.vis2log(vpos);
 195         pos_type const last = row_.lastPrintablePos();
 196         LyXFont orig_font(getFont(pos));
 197
 198         // first character
 199         string str;
 200         str += par_.getChar(pos);
 201         if (arabic) {
 202                 unsigned char c = str[0];
 203                 str[0] = transformChar(c, pos);
 204         }
 205
 206         bool prev_struckout(isDeletedText(par_, pos));
 207         bool prev_newtext(isInsertedText(par_, pos));
 208
 209         ++vpos;
 210
 211         // collect as much similar chars as we can
 212         while (vpos <= last && (pos = text_.vis2log(vpos)) >= 0) {
 213                 char c = par_.getChar(pos);
 214
 215                 if (!IsPrintableNonspace(c))
 216                         break;
 217
 218                 if (prev_struckout != isDeletedText(par_, pos))
 219                         break;
 220
 221                 if (prev_newtext != isInsertedText(par_, pos))
 222                         break;
 223
 224                 if (arabic && Encodings::IsComposeChar_arabic(c))
 225                         break;
 226                 if (hebrew && Encodings::IsComposeChar_hebrew(c))
 227                         break;
 228
 229                 if (orig_font != getFont(pos))
 230                         break;
 231
 232                 if (arabic)
 233                         c = transformChar(c, pos);
 234                 str += c;
 235                 ++vpos;
 236         }
 237
 238         if (prev_struckout) {
 239                 orig_font.setColor(LColor::strikeout);
 240         } else if (prev_newtext) {
 241                 orig_font.setColor(LColor::newtext);
 242         }
 243
 244         // Draw text and set the new x position
 245         pain_.text(int(x_), yo_ + row_.baseline(), str, orig_font);
 246         x_ += font_metrics::width(str, orig_font);
 247 }
 248
 249
 250 void RowPainter::paintForeignMark(float const orig_x, LyXFont const & orig_font)
 251 {
 252         if (!lyxrc.mark_foreign_language)
 253                 return;
 254         if (orig_font.language() == latex_language)
 255                 return;
 256         if (orig_font.language() == bv_.buffer()->params.language)
 257                 return;
 258
 259         int const y = yo_ + row_.baseline() + 1;
 260         pain_.line(int(orig_x), y, int(x_), y, LColor::language);
 261 }
 262
 263
 264 bool RowPainter::paintFromPos(pos_type & vpos)
 265 {
 266         pos_type const pos = text_.vis2log(vpos);
 267
 268         LyXFont const & orig_font = getFont(pos);
 269
 270         float const orig_x = x_;
 271
 272         char const c = par_.getChar(pos);
 273
 274         if (IsInsetChar(c)) {
 275                 if (paintInset(pos))
 276                         return true;
 277                 ++vpos;
 278                 paintForeignMark(orig_x, orig_font);
 279                 return false;
 280         }
 281
 282         // usual characters, no insets
 283
 284         // special case languages
 285         bool const hebrew = (orig_font.language()->lang() == "hebrew");
 286         bool const arabic =
 287                 orig_font.language()->lang() == "arabic" &&
 288                 (lyxrc.font_norm_type == LyXRC::ISO_8859_6_8 ||
 289                 lyxrc.font_norm_type == LyXRC::ISO_10646_1);
 290
 291         // draw as many chars as we can
 292         if ((!hebrew && !arabic)
 293                 || (hebrew && !Encodings::IsComposeChar_hebrew(c))
 294                 || (arabic && !Encodings::IsComposeChar_arabic(c))) {
 295                 paintChars(vpos, hebrew, arabic);
 296         } else if (hebrew) {
 297                 paintHebrewComposeChar(vpos);
 298         } else if (arabic) {
 299                 paintArabicComposeChar(vpos);
 300         }
 301
 302         paintForeignMark(orig_x, orig_font);
 303
 304         return false;
 305 }
 306
 307
 308 bool RowPainter::paintBackground()
 309 {
 310         pos_type const last = row_.lastPrintablePos();
 311         bool clear_area = true;
 312         Inset const * inset = 0;
 313
 314         if (!bv_.screen().forceClear() && last == row_.pos()
 315             && row_.pos() < par_.size()
 316             && par_.isInset(row_.pos())) {
 317                 inset = par_.getInset(row_.pos());
 318                 clear_area = inset->doClearArea();
 319         }
 320
 321         if (cleared_) {
 322                 return true;
 323         }
 324
 325         if (clear_area) {
 326                 int const x = xo_;
 327                 int const y = yo_ < 0 ? 0 : yo_;
 328                 int const h = yo_ < 0 ? row_.height() + yo_ : row_.height();
 329                 pain_.fillRectangle(x, y, width_, h, text_.backgroundColor());
 330                 return true;
 331         }
 332
 333         if (!inset)
 334                 return false;
 335
 336         LyXFont font(LyXFont::ALL_SANE);
 337
 338         // FIXME
 339         BufferView * bv = perv(bv_);
 340
 341         int h = row_.baseline() - inset->ascent(bv, font);
 342
 343         // first clear the whole row above the inset!
 344         if (h > 0) {
 345                 pain_.fillRectangle(xo_, yo_, width_, h, text_.backgroundColor());
 346         }
 347
 348         // clear the space below the inset!
 349         h += inset->ascent(bv, font) + inset->descent(bv, font);
 350         if ((row_.height() - h) > 0) {
 351                 pain_.fillRectangle(xo_, yo_ + h,
 352                         width_, row_.height() - h, text_.backgroundColor());
 353         }
 354
 355         // clear the space behind the inset, if needed
 356         if (!inset->display() && !inset->needFullRow()) {
 357                 int const xp = int(x_) + inset->width(bv, font);
 358                 if (width_ - xp > 0) {
 359                         pain_.fillRectangle(xp, yo_, width_ - xp,
 360                                 row_.height(), text_.backgroundColor());
 361                 }
 362         }
 363
 364         return false;
 365 }
 366
 367
 368 void RowPainter::paintSelection()
 369 {
 370         bool const is_rtl = par_.isRightToLeftPar(bv_.buffer()->params);
 371
 372         // the current selection
 373         int const startx = text_.selection.start.x();
 374         int const endx = text_.selection.end.x();
 375         int const starty = text_.selection.start.y();
 376         int const endy = text_.selection.end.y();
 377         Row const * startrow = text_.selection.start.row();
 378         Row const * endrow = text_.selection.end.row();
 379
 380         // Bleh.
 381         Row const * row = &row_;
 382
 383         if (text_.bidi_same_direction) {
 384                 int x;
 385                 int y = yo_;
 386                 int w;
 387                 int h = row_.height();
 388
 389                 if (startrow == row && endrow == row) {
 390                         if (startx < endx) {
 391                                 x = xo_ + startx;
 392                                 w = endx - startx;
 393                                 pain_.fillRectangle(x, y, w, h, LColor::selection);
 394                         } else {
 395                                 x = xo_ + endx;
 396                                 w = startx - endx;
 397                                 pain_.fillRectangle(x, y, w, h, LColor::selection);
 398                         }
 399                 } else if (startrow == row) {
 400                         int const x = (is_rtl) ? xo_ : (xo_ + startx);
 401                         int const w = (is_rtl) ? startx : (width_ - startx);
 402                         pain_.fillRectangle(x, y, w, h, LColor::selection);
 403                 } else if (endrow == row) {
 404                         int const x = (is_rtl) ? (xo_ + endx) : xo_;
 405                         int const w = (is_rtl) ? (width_ - endx) : endx;
 406                         pain_.fillRectangle(x, y, w, h, LColor::selection);
 407                 } else if (y_ > starty && y_ < endy) {
 408                         pain_.fillRectangle(xo_, y, width_, h, LColor::selection);
 409                 }
 410                 return;
 411         } else if (startrow != row && endrow != row) {
 412                 if (y_ > starty && y_ < endy) {
 413                         int w = width_;
 414                         int h = row_.height();
 415                         pain_.fillRectangle(xo_, yo_, w, h, LColor::selection);
 416                 }
 417                 return;
 418         }
 419
 420         if ((startrow != row && !is_rtl) || (endrow != row && is_rtl))
 421                 pain_.fillRectangle(xo_, yo_, int(x_), row_.height(), LColor::selection);
 422
 423         pos_type const body_pos = par_.beginningOfBody();
 424         pos_type const last = row_.lastPrintablePos();
 425         float tmpx = x_;
 426
 427         for (pos_type vpos = row_.pos(); vpos <= last; ++vpos)  {
 428                 pos_type pos = text_.vis2log(vpos);
 429                 float const old_tmpx = tmpx;
 430                 if (body_pos > 0 && pos == body_pos - 1) {
 431                         LyXLayout_ptr const & layout = par_.layout();
 432                         LyXFont const lfont = getLabelFont();
 433
 434                         tmpx += label_hfill_ + font_metrics::width(layout->labelsep, lfont);
 435
 436                         if (par_.isLineSeparator(body_pos - 1))
 437                                 tmpx -= singleWidth(body_pos - 1);
 438                 }
 439
 440                 if (row_.hfillExpansion(pos)) {
 441                         tmpx += singleWidth(pos);
 442                         if (pos >= body_pos)
 443                                 tmpx += hfill_;
 444                         else
 445                                 tmpx += label_hfill_;
 446                 }
 447
 448                 else if (par_.isSeparator(pos)) {
 449                         tmpx += singleWidth(pos);
 450                         if (pos >= body_pos)
 451                                 tmpx += separator_;
 452                 } else {
 453                         tmpx += singleWidth(pos);
 454                 }
 455
 456                 if ((startrow != row || text_.selection.start.pos() <= pos) &&
 457                         (endrow != row || pos < text_.selection.end.pos())) {
 458                         // Here we do not use x_ as xo_ was added to x_.
 459                         pain_.fillRectangle(int(old_tmpx), yo_,
 460                                 int(tmpx - old_tmpx + 1),
 461                                 row_.height(), LColor::selection);
 462                 }
 463         }
 464
 465         if ((startrow != row && is_rtl) || (endrow != row && !is_rtl)) {
 466                 pain_.fillRectangle(xo_ + int(tmpx),
 467                                       yo_, int(bv_.workWidth() - tmpx),
 468                                       row_.height(), LColor::selection);
 469         }
 470 }
 471
 472
 473 void RowPainter::paintChangeBar()
 474 {
 475         pos_type const start = row_.pos();
 476         pos_type const end = row_.lastPrintablePos();
 477
 478         if (!par_.isChanged(start, end))
 479                 return;
 480
 481         int const height = (row_.next()
 482                 ? row_.height() + row_.next()->top_of_text()
 483                 : row_.baseline());
 484
 485         pain_.fillRectangle(4, yo_, 5, height, LColor::changebar);
 486 }
 487
 488
 489 void RowPainter::paintAppendix()
 490 {
 491         // FIXME: can be just width_ ?
 492         int const ww = bv_.workWidth();
 493
 494         if (par_.params().appendix()) {
 495                 pain_.line(1, yo_, 1, yo_ + row_.height(), LColor::appendixline);
 496                 pain_.line(ww - 2, yo_, ww - 2, yo_ + row_.height(), LColor::appendixline);
 497         }
 498 }
 499
 500
 501 void RowPainter::paintDepthBar()
 502 {
 503         Paragraph::depth_type const depth = par_.getDepth();
 504
 505         if (depth <= 0)
 506                 return;
 507
 508         Paragraph::depth_type prev_depth = 0;
 509         if (row_.previous())
 510                 prev_depth = row_.previous()->par()->getDepth();
 511         Paragraph::depth_type next_depth = 0;
 512         if (row_.next())
 513                 next_depth = row_.next()->par()->getDepth();
 514
 515         for (Paragraph::depth_type i = 1; i <= depth; ++i) {
 516                 int x = (PAPER_MARGIN / 5) * i + xo_;
 517                 // only consider the changebar space if we're drawing outer left
 518                 if (!xo_)
 519                         x += CHANGEBAR_MARGIN;
 520                 int const h = yo_ + row_.height() - 1 - (i - next_depth - 1) * 3;
 521
 522                 pain_.line(x, yo_, x, h, LColor::depthbar);
 523
 524                 int const w = PAPER_MARGIN / 5;
 525
 526                 if (i > prev_depth) {
 527                         pain_.fillRectangle(x, yo_, w, 2, LColor::depthbar);
 528                 }
 529                 if (i > next_depth) {
 530                         pain_.fillRectangle(x, h, w, 2, LColor::depthbar);
 531                 }
 532         }
 533 }
 534
 535
 536 int getLengthMarkerHeight(BufferView const & bv, VSpace const & vsp)
 537 {
 538         if (vsp.kind() == VSpace::NONE)
 539                 return 0;
 540
 541         int const arrow_size = 4;
 542         int const space_size = int(vsp.inPixels(bv));
 543
 544         LyXFont font;
 545         font.decSize();
 546         int const min_size = max(3 * arrow_size,
 547                 font_metrics::maxAscent(font)
 548                 + font_metrics::maxDescent(font));
 549
 550         if (vsp.length().len().value() < 0.0)
 551                 return min_size;
 552         else
 553                 return max(min_size, space_size);
 554 }
 555
 556
 557 int RowPainter::paintLengthMarker(string const & prefix, VSpace const & vsp, int start)
 558 {
 559         if (vsp.kind() == VSpace::NONE)
 560                 return 0;
 561
 562         int const arrow_size = 4;
 563         int const size = getLengthMarkerHeight(bv_, vsp);
 564         int const end = start + size;
 565
 566         // the label to display (if any)
 567         string str;
 568         // y-values for top arrow
 569         int ty1, ty2;
 570         // y-values for bottom arrow
 571         int by1, by2;
 572
 573         str = prefix + " (" + vsp.asLyXCommand() + ")";
 574
 575         if (vsp.kind() == VSpace::VFILL) {
 576                 ty1 = ty2 = start;
 577                 by1 = by2 = end;
 578         } else {
 579                 // adding or removing space
 580                 bool const added = vsp.kind() != VSpace::LENGTH ||
 581                                    vsp.length().len().value() > 0.0;
 582                 ty1 = added ? (start + arrow_size) : start;
 583                 ty2 = added ? start : (start + arrow_size);
 584                 by1 = added ? (end - arrow_size) : end;
 585                 by2 = added ? end : (end - arrow_size);
 586         }
 587
 588         int const leftx = xo_ + leftMargin();
 589         int const midx = leftx + arrow_size;
 590         int const rightx = midx + arrow_size;
 591
 592         // first the string
 593         int w = 0;
 594         int a = 0;
 595         int d = 0;
 596
 597         LyXFont font;
 598         font.setColor(LColor::added_space).decSize().decSize();
 599         font_metrics::rectText(str, font, w, a, d);
 600
 601         pain_.rectText(leftx + 2 * arrow_size + 5,
 602                          start + ((end - start) / 2) + d,
 603                          str, font);
 604
 605         // top arrow
 606         pain_.line(leftx, ty1, midx, ty2, LColor::added_space);
 607         pain_.line(midx, ty2, rightx, ty1, LColor::added_space);
 608
 609         // bottom arrow
 610         pain_.line(leftx, by1, midx, by2, LColor::added_space);
 611         pain_.line(midx, by2, rightx, by1, LColor::added_space);
 612
 613         // joining line
 614         pain_.line(midx, ty2, midx, by2, LColor::added_space);
 615
 616         return size;
 617 }
 618
 619
 620 int RowPainter::paintPageBreak(string const & label, int y)
 621 {
 622         LyXFont pb_font;
 623         pb_font.setColor(LColor::pagebreak).decSize();
 624
 625         int w = 0;
 626         int a = 0;
 627         int d = 0;
 628         font_metrics::rectText(label, pb_font, w, a, d);
 629
 630         int const text_start = xo_ + ((width_ - w) / 2);
 631         int const text_end = text_start + w;
 632
 633         pain_.rectText(text_start, y + d, label, pb_font);
 634
 635         pain_.line(xo_, y, text_start, y,
 636                 LColor::pagebreak, Painter::line_onoffdash);
 637         pain_.line(text_end, y, xo_ + width_, y,
 638                 LColor::pagebreak, Painter::line_onoffdash);
 639
 640         return 3 * defaultRowHeight();
 641 }
 642
 643
 644 void RowPainter::paintFirst()
 645 {
 646         ParagraphParameters const & parparams = par_.params();
 647
 648         // start of appendix?
 649         if (parparams.startOfAppendix()) {
 650                 pain_.line(1, yo_, width_ - 2, yo_, LColor::appendixline);
 651         }
 652
 653         int y_top = 0;
 654
 655         // the top margin
 656         if (!row_.previous() && text_.isTopLevel())
 657                 y_top += PAPER_MARGIN;
 658
 659         // draw a top pagebreak
 660         if (parparams.pagebreakTop()) {
 661                 y_top += paintPageBreak(_("Page Break (top)"),
 662                         yo_ + y_top + 2 * defaultRowHeight());
 663         }
 664
 665         // draw the additional space if needed:
 666         y_top += paintLengthMarker(_("Space above"), parparams.spaceTop(),
 667                         yo_ + y_top);
 668
 669         Buffer const * buffer = bv_.buffer();
 670
 671         LyXLayout_ptr const & layout = par_.layout();
 672
 673         if (buffer->params.paragraph_separation == BufferParams::PARSEP_SKIP) {
 674                 if (par_.previous()) {
 675                         if (layout->latextype == LATEX_PARAGRAPH
 676                                 && !par_.getDepth()) {
 677                                 y_top += buffer->params.getDefSkip().inPixels(bv_);
 678                         } else {
 679                                 LyXLayout_ptr const & playout =
 680                                         par_.previous()->layout();
 681                                 if (playout->latextype == LATEX_PARAGRAPH
 682                                         && !par_.previous()->getDepth()) {
 683                                         // is it right to use defskip here, too? (AS)
 684                                         y_top += buffer->params.getDefSkip().inPixels(bv_);
 685                                 }
 686                         }
 687                 }
 688         }
 689
 690         int const ww = bv_.workWidth();
 691
 692         // draw a top line
 693         if (parparams.lineTop()) {
 694                 LyXFont font(LyXFont::ALL_SANE);
 695                 int const asc = font_metrics::ascent('x', getFont(0));
 696
 697                 y_top += asc;
 698
 699                 int const w = (text_.isInInset() ? text_.inset_owner->width(perv(bv_), font) : ww);
 700                 int const xp = static_cast<int>(text_.isInInset() ? xo_ : 0);
 701                 pain_.line(xp, yo_ + y_top, xp + w, yo_ + y_top,
 702                         LColor::topline, Painter::line_solid,
 703                         Painter::line_thick);
 704
 705                 y_top += asc;
 706         }
 707
 708         bool const is_rtl = par_.isRightToLeftPar(bv_.buffer()->params);
 709
 710         // should we print a label?
 711         if (layout->labeltype >= LABEL_STATIC
 712             && (layout->labeltype != LABEL_STATIC
 713                 || layout->latextype != LATEX_ENVIRONMENT
 714                 || par_.isFirstInSequence())) {
 715
 716                 LyXFont font = getLabelFont();
 717                 if (!par_.getLabelstring().empty()) {
 718                         float x = x_;
 719                         string const str = par_.getLabelstring();
 720
 721                         // this is special code for the chapter layout. This is
 722                         // printed in an extra row and has a pagebreak at
 723                         // the top.
 724                         if (layout->labeltype == LABEL_COUNTER_CHAPTER) {
 725                                 if (buffer->params.secnumdepth >= 0) {
 726                                         float spacing_val = 1.0;
 727                                         if (!parparams.spacing().isDefault()) {
 728                                                 spacing_val = parparams.spacing().getValue();
 729                                         } else {
 730                                                 spacing_val = buffer->params.spacing.getValue();
 731                                         }
 732
 733                                         int const maxdesc =
 734                                                 int(font_metrics::maxDescent(font) * layout->spacing.getValue() * spacing_val)
 735                                                 + int(layout->parsep) * defaultRowHeight();
 736
 737                                         if (is_rtl) {
 738                                                 x = ww - leftMargin() -
 739                                                         font_metrics::width(str, font);
 740                                         }
 741
 742                                         pain_.text(int(x),
 743                                                 yo_ + row_.baseline() -
 744                                                 row_.ascent_of_text() - maxdesc,
 745                                                 str, font);
 746                                 }
 747                         } else {
 748                                 if (is_rtl) {
 749                                         x = ww - leftMargin()
 750                                                 + font_metrics::width(layout->labelsep, font);
 751                                 } else {
 752                                         x = x_ - font_metrics::width(layout->labelsep, font)
 753                                                 - font_metrics::width(str, font);
 754                                 }
 755
 756                                 pain_.text(int(x), yo_ + row_.baseline(), str, font);
 757                         }
 758                 }
 759
 760         // the labels at the top of an environment.
 761         // More or less for bibliography
 762         } else if (par_.isFirstInSequence() &&
 763                 (layout->labeltype == LABEL_TOP_ENVIRONMENT ||
 764                 layout->labeltype == LABEL_BIBLIO ||
 765                 layout->labeltype == LABEL_CENTERED_TOP_ENVIRONMENT)) {
 766                 LyXFont font = getLabelFont();
 767                 if (!par_.getLabelstring().empty()) {
 768                         string const str = par_.getLabelstring();
 769                         float spacing_val = 1.0;
 770                         if (!parparams.spacing().isDefault()) {
 771                                 spacing_val = parparams.spacing().getValue();
 772                         } else {
 773                                 spacing_val = buffer->params.spacing.getValue();
 774                         }
 775
 776                         int maxdesc =
 777                                 int(font_metrics::maxDescent(font) * layout->spacing.getValue() * spacing_val
 778                                 + (layout->labelbottomsep * defaultRowHeight()));
 779
 780                         float x = x_;
 781                         if (layout->labeltype == LABEL_CENTERED_TOP_ENVIRONMENT) {
 782                                 x = ((is_rtl ? leftMargin() : x_)
 783                                          + ww - text_.rightMargin(*bv_.buffer(), row_)) / 2;
 784                                 x -= font_metrics::width(str, font) / 2;
 785                         } else if (is_rtl) {
 786                                 x = ww - leftMargin() -
 787                                         font_metrics::width(str, font);
 788                         }
 789                         pain_.text(int(x), yo_ + row_.baseline()
 790                                   - row_.ascent_of_text() - maxdesc,
 791                                   str, font);
 792                 }
 793         }
 794 }
 795
 796
 797 void RowPainter::paintLast()
 798 {
 799         ParagraphParameters const & parparams = par_.params();
 800         int y_bottom = row_.height() - 1;
 801
 802         // the bottom margin
 803         if (!row_.next() && text_.isTopLevel())
 804                 y_bottom -= PAPER_MARGIN;
 805
 806         int const ww = bv_.workWidth();
 807
 808         // draw a bottom pagebreak
 809         if (parparams.pagebreakBottom()) {
 810                 y_bottom -= paintPageBreak(_("Page Break (bottom)"),
 811                         yo_ + y_bottom - 2 * defaultRowHeight());
 812         }
 813
 814         // draw the additional space if needed:
 815         int const height = getLengthMarkerHeight(bv_, parparams.spaceBottom());
 816         y_bottom -= paintLengthMarker(_("Space below"), parparams.spaceBottom(),
 817                              yo_ + y_bottom - height);
 818
 819         // draw a bottom line
 820         if (parparams.lineBottom()) {
 821                 LyXFont font(LyXFont::ALL_SANE);
 822                 int const asc = font_metrics::ascent('x',
 823                         getFont(max(pos_type(0), par_.size() - 1)));
 824
 825                 y_bottom -= asc;
 826
 827                 int const w = (text_.isInInset() ? text_.inset_owner->width(perv(bv_), font) : ww);
 828                 int const xp = static_cast<int>(text_.isInInset() ? xo_ : 0);
 829                 int const y = yo_ + y_bottom;
 830                 pain_.line(xp, y, xp + w, y, LColor::topline, Painter::line_solid,
 831                           Painter::line_thick);
 832
 833                 y_bottom -= asc;
 834         }
 835
 836         bool const is_rtl = par_.isRightToLeftPar(bv_.buffer()->params);
 837         int const endlabel = par_.getEndLabel();
 838
 839         // draw an endlabel
 840         switch (endlabel) {
 841         case END_LABEL_BOX:
 842         case END_LABEL_FILLED_BOX:
 843         {
 844                 LyXFont const font = getLabelFont();
 845                 int const size = int(0.75 * font_metrics::maxAscent(font));
 846                 int const y = (yo_ + row_.baseline()) - size;
 847                 int x = is_rtl ? LEFT_MARGIN : ww - PAPER_MARGIN - size;
 848
 849                 if (row_.fill() <= size)
 850                         x += (size - row_.fill() + 1) * (is_rtl ? -1 : 1);
 851
 852                 if (endlabel == END_LABEL_BOX) {
 853                         pain_.rectangle(x, y, size, size, LColor::eolmarker);
 854                 } else {
 855                         pain_.fillRectangle(x, y, size, size, LColor::eolmarker);
 856                 }
 857                 break;
 858         }
 859         case END_LABEL_STATIC:
 860         {
 861 #if 0
 862                 LyXFont font(LyXFont::ALL_SANE);
 863                 font = getLabelFont();
 864 #else
 865                 LyXFont font = getLabelFont();
 866 #endif
 867                 string const & str = par_.layout()->endlabelstring();
 868                 int const x = is_rtl ?
 869                         int(x_) - font_metrics::width(str, font)
 870                         : ww - text_.rightMargin(*bv_.buffer(), row_) - row_.fill();
 871                 pain_.text(x, yo_ + row_.baseline(), str, font);
 872                 break;
 873         }
 874         case END_LABEL_NO_LABEL:
 875                 break;
 876         }
 877 }
 878
 879
 880 bool RowPainter::paintText()
 881 {
 882         pos_type const last = row_.lastPrintablePos();
 883         pos_type body_pos = par_.beginningOfBody();
 884         if (body_pos > 0 &&
 885                 (body_pos - 1 > last ||
 886                 !par_.isLineSeparator(body_pos - 1))) {
 887                 body_pos = 0;
 888         }
 889
 890         LyXLayout_ptr const & layout = par_.layout();
 891
 892         bool running_strikeout = false;
 893         bool is_struckout = false;
 894         float last_strikeout_x = 0.0;
 895
 896         pos_type vpos = row_.pos();
 897         while (vpos <= last) {
 898                 if (x_ > bv_.workWidth())
 899                         break;
 900                 pos_type pos = text_.vis2log(vpos);
 901
 902                 if (pos >= par_.size()) {
 903                         ++vpos;
 904                         continue;
 905                 }
 906
 907                 if (x_ + singleWidth(pos) < 0) {
 908                         x_ += singleWidth(pos);
 909                         ++vpos;
 910                         continue;
 911                 }
 912
 913                 is_struckout = isDeletedText(par_, pos);
 914
 915                 if (is_struckout && !running_strikeout) {
 916                         running_strikeout = true;
 917                         last_strikeout_x = x_;
 918                 }
 919
 920                 bool const highly_editable_inset = par_.isInset(pos)
 921                         && isHighlyEditableInset(par_.getInset(pos));
 922
 923                 // if we reach the end of a struck out range, paint it
 924                 // we also don't paint across things like tables
 925                 if (running_strikeout && (highly_editable_inset || !is_struckout)) {
 926                         int const middle = yo_ + row_.top_of_text()
 927                                 + ((row_.baseline() - row_.top_of_text()) / 2);
 928                         pain_.line(int(last_strikeout_x), middle, int(x_), middle,
 929                                 LColor::strikeout, Painter::line_solid, Painter::line_thin);
 930                         running_strikeout = false;
 931                 }
 932
 933                 if (body_pos > 0 && pos == body_pos - 1) {
 934                         int const lwidth = font_metrics::width(layout->labelsep,
 935                                 getLabelFont());
 936
 937                         x_ += label_hfill_ + lwidth
 938                                 - singleWidth(body_pos - 1);
 939                 }
 940
 941                 if (par_.isHfill(pos)) {
 942                         x_ += 1;
 943
 944                         int const y0 = yo_ + row_.baseline();
 945                         int const y1 = y0 - defaultRowHeight() / 2;
 946
 947                         pain_.line(int(x_), y1, int(x_), y0,
 948                                      LColor::added_space);
 949
 950                         if (row_.hfillExpansion(pos)) {
 951                                 int const y2 = (y0 + y1) / 2;
 952
 953                                 if (pos >= body_pos) {
 954                                         pain_.line(int(x_), y2,
 955                                                   int(x_ + hfill_), y2,
 956                                                   LColor::added_space,
 957                                                   Painter::line_onoffdash);
 958                                         x_ += hfill_;
 959                                 } else {
 960                                         pain_.line(int(x_), y2,
 961                                                   int(x_ + label_hfill_), y2,
 962                                                   LColor::added_space,
 963                                                   Painter::line_onoffdash);
 964                                         x_ += label_hfill_;
 965                                 }
 966                                 pain_.line(int(x_), y1,
 967                                              int(x_), y0,
 968                                              LColor::added_space);
 969                         }
 970                         x_ += 2;
 971                         ++vpos;
 972                 } else if (par_.isSeparator(pos)) {
 973                         x_ += singleWidth(pos);
 974                         if (pos >= body_pos)
 975                                 x_ += separator_;
 976                         ++vpos;
 977                 } else {
 978                         if (paintFromPos(vpos))
 979                                 return true;
 980                 }
 981         }
 982
 983         // if we reach the end of a struck out range, paint it
 984         if (running_strikeout) {
 985                 int const middle = yo_ + row_.top_of_text()
 986                         + ((row_.baseline() - row_.top_of_text()) / 2);
 987                 pain_.line(int(last_strikeout_x), middle, int(x_), middle,
 988                         LColor::strikeout, Painter::line_solid, Painter::line_thin);
 989                 running_strikeout = false;
 990         }
 991         return false;
 992 }
 993
 994
 995 bool RowPainter::paint(int y_offset, int x_offset, int y, bool cleared)
 996 {
 997         xo_ = x_offset;
 998         yo_ = y_offset;
 999         y_ = y;
1000         cleared_ = cleared;
1001         width_ = text_.isInInset()
1002                 ? text_.inset_owner->textWidth(perv(bv_), true) : bv_.workWidth();
1003
1004         // FIXME: must be a cleaner way here. Aren't these calculations
1005         // belonging to row metrics ?
1006         BufferView * bv(const_cast<BufferView *>(&bv_));
1007         Row * row(const_cast<Row *>(&row_));
1008         text_.prepareToPrint(bv, row, x_, separator_, hfill_, label_hfill_);
1009
1010         // FIXME: what is this fixing ?
1011         if (text_.isInInset() && (x_ < 0))
1012                 x_ = 0;
1013         x_ += xo_;
1014
1015         // clear to background if necessary
1016         cleared_ = paintBackground();
1017
1018         // paint the selection background
1019         if (text_.selection.set()) {
1020                 paintSelection();
1021         }
1022
1023         // vertical lines for appendix
1024         paintAppendix();
1025
1026         // environment depth brackets
1027         paintDepthBar();
1028
1029         // changebar
1030         paintChangeBar();
1031
1032         if (row_.isParStart()) {
1033                 paintFirst();
1034         }
1035
1036         if (row_.isParEnd()) {
1037                 paintLast();
1038         }
1039
1040         // paint text
1041         return paintText();
1042 }