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