]> git.lyx.org Git - lyx.git/blob - src/rowpainter.C
ade0925a54d10898580dffe04012c975bf675840
[lyx.git] / 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         return;
366 }
367
368
369 void RowPainter::paintBackground()
370 {
371         int const x = int(xo_);
372         int const y = yo_ < 0 ? 0 : yo_;
373         int const h = yo_ < 0 ? row_.height() + yo_ : row_.height();
374         pain_.fillRectangle(x, y, width_, h, text_.backgroundColor());
375 }
376
377
378 void RowPainter::paintSelection()
379 {
380         bool const is_rtl = pit_->isRightToLeftPar(bv_.buffer()->params());
381
382         // the current selection
383         int const startx = text_.selection.start.x();
384         int const endx = text_.selection.end.x();
385         int const starty = text_.selection.start.y();
386         int const endy = text_.selection.end.y();
387         ParagraphList::iterator startpit = text_.getPar(text_.selection.start);
388         ParagraphList::iterator endpit = text_.getPar(text_.selection.end);
389         RowList::iterator startrow = startpit->getRow(text_.selection.start.pos());
390         RowList::iterator endrow = endpit->getRow(text_.selection.end.pos());
391         int const h = row_.height();
392
393         int const row_y = pit_->y + row_.y_offset();
394         
395         if (text_.bidi.same_direction()) {
396                 int x;
397                 int y = yo_;
398                 int w;
399                 if (startrow == rit_ && endrow == rit_) {
400                         if (startx < endx) {
401                                 x = int(xo_) + startx;
402                                 w = endx - startx;
403                         } else {
404                                 x = int(xo_) + endx;
405                                 w = startx - endx;
406                         }
407                         pain_.fillRectangle(x, y, w, h, LColor::selection);
408                 } else if (startrow == rit_) {
409                         int const x = is_rtl ? int(xo_) : int(xo_ + startx);
410                         int const w = is_rtl ? startx : (width_ - startx);
411                         pain_.fillRectangle(x, y, w, h, LColor::selection);
412                 } else if (endrow == rit_) {
413                         int const x = is_rtl ? int(xo_ + endx) : int(xo_);
414                         int const w = is_rtl ? (width_ - endx) : endx;
415                         pain_.fillRectangle(x, y, w, h, LColor::selection);
416                 } else if (row_y > starty && row_y < endy) {
417                 
418                         pain_.fillRectangle(int(xo_), y, width_, h, LColor::selection);
419                 }
420                 return;
421         }
422
423         if (startrow != rit_ && 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 ((startrow != rit_ && !is_rtl) || (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 ((startrow != rit_ || text_.selection.start.pos() <= pos) &&
465                         (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 ((startrow != rit_ && is_rtl) || (endrow != rit_ && !is_rtl)) {
473                 pain_.fillRectangle(int(xo_ + tmpx),
474                         yo_, int(bv_.workWidth() - tmpx), h, LColor::selection);
475         }
476 }
477
478
479 void RowPainter::paintChangeBar()
480 {
481         pos_type const start = row_.pos();
482         pos_type const end = row_.endpos();
483
484         if (start == end || !pit_->isChanged(start, end - 1))
485                 return;
486
487         int const height = text_.isLastRow(pit_, row_)
488                 ? row_.baseline()
489                 : row_.height() + boost::next(rit_)->top_of_text();
490
491         pain_.fillRectangle(4, yo_, 5, height, LColor::changebar);
492 }
493
494
495 void RowPainter::paintAppendix()
496 {
497         if (!pit_->params().appendix())
498                 return;
499
500         // FIXME: can be just width_ ?
501         int const ww = bv_.workWidth();
502
503         int y = yo_;
504
505         if (pit_->params().startOfAppendix())
506                 y += 2 * defaultRowHeight();
507
508         pain_.line(1, y, 1, yo_ + row_.height(), LColor::appendix);
509         pain_.line(ww - 2, y, ww - 2, yo_ + row_.height(), LColor::appendix);
510 }
511
512
513 void RowPainter::paintDepthBar()
514 {
515         Paragraph::depth_type const depth = pit_->getDepth();
516
517         if (depth <= 0)
518                 return;
519
520         Paragraph::depth_type prev_depth = 0;
521         if (!text_.isFirstRow(pit_, row_)) {
522                 ParagraphList::iterator pit2 = pit_;
523                 if (row_.pos() == 0)
524                         --pit2;
525                 prev_depth = pit2->getDepth();
526         }
527
528         Paragraph::depth_type next_depth = 0;
529         if (!text_.isLastRow(pit_, row_)) {
530                 ParagraphList::iterator pit2 = pit_;
531                 if (row_.endpos() >= pit2->size())
532                         ++pit2;
533                 next_depth = pit2->getDepth();
534         }
535
536         for (Paragraph::depth_type i = 1; i <= depth; ++i) {
537                 int const w = PAPER_MARGIN / 5;
538                 int x = int(w * i + xo_);
539                 // only consider the changebar space if we're drawing outer left
540                 if (xo_ == 0)
541                         x += CHANGEBAR_MARGIN;
542                 int const h = yo_ + row_.height() - 1 - (i - next_depth - 1) * 3;
543
544                 pain_.line(x, yo_, x, h, LColor::depthbar);
545
546                 if (i > prev_depth)
547                         pain_.fillRectangle(x, yo_, w, 2, LColor::depthbar);
548                 if (i > next_depth)
549                         pain_.fillRectangle(x, h, w, 2, LColor::depthbar);
550         }
551 }
552
553
554 int RowPainter::paintLengthMarker(string const & prefix, VSpace const & vsp,
555         int start)
556 {
557         if (vsp.kind() == VSpace::NONE)
558                 return 0;
559
560         int const arrow_size = 4;
561         int const size = getLengthMarkerHeight(bv_, vsp);
562         int const end = start + size;
563
564         // the label to display (if any)
565         string str;
566         // y-values for top arrow
567         int ty1, ty2;
568         // y-values for bottom arrow
569         int by1, by2;
570
571         str = prefix + " (" + vsp.asLyXCommand() + ")";
572
573         if (vsp.kind() == VSpace::VFILL) {
574                 ty1 = ty2 = start;
575                 by1 = by2 = end;
576         } else {
577                 // adding or removing space
578                 bool const added = vsp.kind() != VSpace::LENGTH ||
579                                    vsp.length().len().value() > 0.0;
580                 ty1 = added ? (start + arrow_size) : start;
581                 ty2 = added ? start : (start + arrow_size);
582                 by1 = added ? (end - arrow_size) : end;
583                 by2 = added ? end : (end - arrow_size);
584         }
585
586         int const leftx = int(xo_) + leftMargin();
587         int const midx = leftx + arrow_size;
588         int const rightx = midx + arrow_size;
589
590         // first the string
591         int w = 0;
592         int a = 0;
593         int d = 0;
594
595         LyXFont font;
596         font.setColor(LColor::added_space);
597         font.decSize();
598         font.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                        LColor::none, LColor::none);
605
606         // top arrow
607         pain_.line(leftx, ty1, midx, ty2, LColor::added_space);
608         pain_.line(midx, ty2, rightx, ty1, LColor::added_space);
609
610         // bottom arrow
611         pain_.line(leftx, by1, midx, by2, LColor::added_space);
612         pain_.line(midx, by2, rightx, by1, LColor::added_space);
613
614         // joining line
615         pain_.line(midx, ty2, midx, by2, LColor::added_space);
616
617         return size;
618 }
619
620
621 int RowPainter::paintAppendixStart(int y)
622 {
623         LyXFont pb_font;
624         pb_font.setColor(LColor::appendix);
625         pb_font.decSize();
626
627         string const label = _("Appendix");
628         int w = 0;
629         int a = 0;
630         int d = 0;
631         font_metrics::rectText(label, pb_font, w, a, d);
632
633         int const text_start = int(xo_ + (width_ - w) / 2);
634         int const text_end = text_start + w;
635
636         pain_.rectText(text_start, y + d, label, pb_font, LColor::none, LColor::none);
637
638         pain_.line(int(xo_ + 1), y, text_start, y, LColor::appendix);
639         pain_.line(text_end, y, int(xo_ + width_ - 2), y, LColor::appendix);
640
641         return 3 * defaultRowHeight();
642 }
643
644
645 void RowPainter::paintFirst()
646 {
647         ParagraphParameters const & parparams = pit_->params();
648
649         int y_top = 0;
650
651         // start of appendix?
652         if (parparams.startOfAppendix())
653                 y_top += paintAppendixStart(yo_ + y_top + 2 * defaultRowHeight());
654
655         // the top margin
656         if (text_.isFirstRow(pit_, row_) && !text_.isInInset())
657                 y_top += PAPER_MARGIN;
658
659         // draw the additional space if needed:
660         y_top += paintLengthMarker(_("Space above"), parparams.spaceTop(),
661                         yo_ + y_top);
662
663         Buffer const & buffer = *bv_.buffer();
664
665         LyXLayout_ptr const & layout = pit_->layout();
666
667         if (buffer.params().paragraph_separation == BufferParams::PARSEP_SKIP) {
668                 if (pit_ != text_.ownerParagraphs().begin()) {
669                         if (layout->latextype == LATEX_PARAGRAPH
670                                 && !pit_->getDepth()) {
671                                 y_top += buffer.params().getDefSkip().inPixels(bv_);
672                         } else {
673                                 LyXLayout_ptr const & playout =
674                                         boost::prior(pit_)->layout();
675                                 if (playout->latextype == LATEX_PARAGRAPH
676                                         && !boost::prior(pit_)->getDepth()) {
677                                         // is it right to use defskip here, too? (AS)
678                                         y_top += buffer.params().getDefSkip().inPixels(bv_);
679                                 }
680                         }
681                 }
682         }
683
684         int const ww = bv_.workWidth();
685
686         bool const is_rtl = pit_->isRightToLeftPar(bv_.buffer()->params());
687         bool const is_seq = isFirstInSequence(pit_, text_.ownerParagraphs());
688         //lyxerr << "paintFirst: " << pit_->id() << " is_seq: " << is_seq << std::endl;
689
690         // should we print a label?
691         if (layout->labeltype >= LABEL_STATIC
692             && (layout->labeltype != LABEL_STATIC
693                       || layout->latextype != LATEX_ENVIRONMENT
694                       || is_seq)) {
695
696                 LyXFont font = getLabelFont();
697                 if (!pit_->getLabelstring().empty()) {
698                         double x = x_;
699                         string const str = pit_->getLabelstring();
700
701                         // this is special code for the chapter layout. This is
702                         // printed in an extra row and has a pagebreak at
703                         // the top.
704                         if (layout->counter == "chapter") {
705                                 if (buffer.params().secnumdepth >= 0) {
706                                         float spacing_val = 1.0;
707                                         if (!parparams.spacing().isDefault()) {
708                                                 spacing_val = parparams.spacing().getValue();
709                                         } else {
710                                                 spacing_val = buffer.params().spacing().getValue();
711                                         }
712
713                                         int const maxdesc =
714                                                 int(font_metrics::maxDescent(font) * layout->spacing.getValue() * spacing_val)
715                                                 + int(layout->parsep) * defaultRowHeight();
716
717                                         if (is_rtl) {
718                                                 x = ww - leftMargin() -
719                                                         font_metrics::width(str, font);
720                                         }
721
722                                         pain_.text(int(x),
723                                                 yo_ + row_.baseline() -
724                                                 row_.ascent_of_text() - maxdesc,
725                                                 str, font);
726                                 }
727                         } else {
728                                 if (is_rtl) {
729                                         x = ww - leftMargin()
730                                                 + font_metrics::width(layout->labelsep, font);
731                                 } else {
732                                         x = x_ - font_metrics::width(layout->labelsep, font)
733                                                 - font_metrics::width(str, font);
734                                 }
735
736                                 pain_.text(int(x), yo_ + row_.baseline(), str, font);
737                         }
738                 }
739
740         // the labels at the top of an environment.
741         // More or less for bibliography
742         } else if (is_seq &&
743                 (layout->labeltype == LABEL_TOP_ENVIRONMENT ||
744                 layout->labeltype == LABEL_BIBLIO ||
745                 layout->labeltype == LABEL_CENTERED_TOP_ENVIRONMENT)) {
746                 LyXFont font = getLabelFont();
747                 if (!pit_->getLabelstring().empty()) {
748                         string const str = pit_->getLabelstring();
749                         float spacing_val = 1.0;
750                         if (!parparams.spacing().isDefault()) {
751                                 spacing_val = parparams.spacing().getValue();
752                         } else {
753                                 spacing_val = buffer.params().spacing().getValue();
754                         }
755
756                         int maxdesc =
757                                 int(font_metrics::maxDescent(font) * layout->spacing.getValue() * spacing_val
758                                 + (layout->labelbottomsep * defaultRowHeight()));
759
760                         double x = x_;
761                         if (layout->labeltype == LABEL_CENTERED_TOP_ENVIRONMENT) {
762                                 x = ((is_rtl ? leftMargin() : x_)
763                                          + ww - text_.rightMargin(*pit_, *bv_.buffer())) / 2;
764                                 x -= font_metrics::width(str, font) / 2;
765                         } else if (is_rtl) {
766                                 x = ww - leftMargin() -
767                                         font_metrics::width(str, font);
768                         }
769                         pain_.text(int(x),
770                             yo_ + row_.baseline() - row_.ascent_of_text() - maxdesc,
771                                   str, font);
772                 }
773         }
774 }
775
776
777 void RowPainter::paintLast()
778 {
779         ParagraphParameters const & parparams = pit_->params();
780         int y_bottom = row_.height() - 1;
781
782         // the bottom margin
783         if (text_.isLastRow(pit_, row_) && !text_.isInInset())
784                 y_bottom -= PAPER_MARGIN;
785
786         int const ww = bv_.workWidth();
787
788         // draw the additional space if needed:
789         int const height = getLengthMarkerHeight(bv_, parparams.spaceBottom());
790         y_bottom -= paintLengthMarker(_("Space below"), parparams.spaceBottom(),
791                              yo_ + y_bottom - height);
792
793         bool const is_rtl = pit_->isRightToLeftPar(bv_.buffer()->params());
794         int const endlabel = getEndLabel(pit_, text_.ownerParagraphs());
795
796         // draw an endlabel
797         switch (endlabel) {
798         case END_LABEL_BOX:
799         case END_LABEL_FILLED_BOX: {
800                 LyXFont const font = getLabelFont();
801                 int const size = int(0.75 * font_metrics::maxAscent(font));
802                 int const y = yo_ + row_.baseline() - size;
803                 int x = is_rtl ? LEFT_MARGIN : ww - PAPER_MARGIN - size;
804
805                 if (row_.fill() <= size)
806                         x += (size - row_.fill() + 1) * (is_rtl ? -1 : 1);
807
808                 if (endlabel == END_LABEL_BOX)
809                         pain_.rectangle(x, y, size, size, LColor::eolmarker);
810                 else
811                         pain_.fillRectangle(x, y, size, size, LColor::eolmarker);
812                 break;
813         }
814
815         case END_LABEL_STATIC: {
816                 LyXFont font = getLabelFont();
817                 string const & str = pit_->layout()->endlabelstring();
818                 double const x = is_rtl ?
819                         x_ - font_metrics::width(str, font)
820                         : ww - text_.rightMargin(*pit_, *bv_.buffer()) - row_.fill();
821                 pain_.text(int(x), yo_ + row_.baseline(), str, font);
822                 break;
823         }
824
825         case END_LABEL_NO_LABEL:
826                 break;
827         }
828 }
829
830
831 void RowPainter::paintText()
832 {
833         pos_type const end = row_.endpos();
834         pos_type body_pos = pit_->beginOfBody();
835         if (body_pos > 0 &&
836                 (body_pos > end || !pit_->isLineSeparator(body_pos - 1))) {
837                 body_pos = 0;
838         }
839
840         LyXLayout_ptr const & layout = pit_->layout();
841
842         bool running_strikeout = false;
843         bool is_struckout = false;
844         int last_strikeout_x = 0;
845
846         for (pos_type vpos = row_.pos(); vpos < end; ) {
847                 if (x_ > bv_.workWidth())
848                         break;
849
850                 pos_type pos = text_.bidi.vis2log(vpos);
851
852                 if (pos >= pit_->size()) {
853                         ++vpos;
854                         continue;
855                 }
856
857                 if (x_ + singleWidth(pos) < 0) {
858                         x_ += singleWidth(pos);
859                         ++vpos;
860                         continue;
861                 }
862
863                 is_struckout = isDeletedText(*pit_, pos);
864
865                 if (is_struckout && !running_strikeout) {
866                         running_strikeout = true;
867                         last_strikeout_x = int(x_);
868                 }
869
870                 bool const highly_editable_inset = pit_->isInset(pos)
871                         && isHighlyEditableInset(pit_->getInset(pos));
872
873                 // if we reach the end of a struck out range, paint it
874                 // we also don't paint across things like tables
875                 if (running_strikeout && (highly_editable_inset || !is_struckout)) {
876                         int const middle = yo_ + (row_.baseline() + row_.top_of_text()) / 2;
877                         pain_.line(last_strikeout_x, middle, int(x_), middle,
878                                 LColor::strikeout, Painter::line_solid, Painter::line_thin);
879                         running_strikeout = false;
880                 }
881
882                 if (body_pos > 0 && pos == body_pos - 1) {
883                         int const lwidth = font_metrics::width(layout->labelsep,
884                                 getLabelFont());
885
886                         x_ += label_hfill_ + lwidth - singleWidth(body_pos - 1);
887                 }
888
889                 if (pit_->isHfill(pos)) {
890                         x_ += 1;
891
892                         int const y0 = yo_ + row_.baseline();
893                         int const y1 = y0 - defaultRowHeight() / 2;
894
895                         pain_.line(int(x_), y1, int(x_), y0, LColor::added_space);
896
897                         if (hfillExpansion(*pit_, row_, pos)) {
898                                 int const y2 = (y0 + y1) / 2;
899
900                                 if (pos >= body_pos) {
901                                         pain_.line(int(x_), y2, int(x_ + hfill_), y2,
902                                                   LColor::added_space,
903                                                   Painter::line_onoffdash);
904                                         x_ += hfill_;
905                                 } else {
906                                         pain_.line(int(x_), y2, int(x_ + label_hfill_), y2,
907                                                   LColor::added_space,
908                                                   Painter::line_onoffdash);
909                                         x_ += label_hfill_;
910                                 }
911                                 pain_.line(int(x_), y1, int(x_), y0, LColor::added_space);
912                         }
913                         x_ += 2;
914                         ++vpos;
915                 } else if (pit_->isSeparator(pos)) {
916                         x_ += singleWidth(pos);
917                         if (pos >= body_pos)
918                                 x_ += separator_;
919                         ++vpos;
920                 } else {
921                         paintFromPos(vpos);
922                 }
923         }
924
925         // if we reach the end of a struck out range, paint it
926         if (running_strikeout) {
927                 int const middle = yo_ + (row_.baseline() + row_.top_of_text()) / 2;
928                 pain_.line(last_strikeout_x, middle, int(x_), middle,
929                         LColor::strikeout, Painter::line_solid, Painter::line_thin);
930                 running_strikeout = false;
931         }
932 }
933
934
935 void RowPainter::paint()
936 {
937         // FIXME: what is this fixing ?
938         if (text_.isInInset() && x_ < 0)
939                 x_ = 0;
940         x_ += xo_;
941
942         // background has already been cleared.
943         if (&text_ == bv_.text)
944                 paintBackground();
945
946         // paint the selection background
947         if (text_.selection.set() && &text_ == bv_.cursor().innerText())
948                 paintSelection();
949
950         // vertical lines for appendix
951         paintAppendix();
952
953         // environment depth brackets
954         paintDepthBar();
955
956         // changebar
957         paintChangeBar();
958
959         if (row_.pos() == 0)
960                 paintFirst();
961
962         if (row_.endpos() >= pit_->size())
963                 paintLast();
964
965         // paint text
966         paintText();
967 }
968
969
970 int paintRows(BufferView const & bv, LyXText const & text,
971         ParagraphList::iterator pit, RowList::iterator rit,
972         int xo, int yo, int y)
973 {
974         //lyxerr << "  paintRows: rit: " << &*rit << endl;
975         int const y2 = bv.painter().paperHeight();
976
977         ParagraphList::iterator end = text.ownerParagraphs().end();
978         bool active = false;
979
980         for ( ; pit != end; ++pit) {
981                 RowList::iterator row = pit->rows.begin();
982                 RowList::iterator rend = pit->rows.end();
983
984                 for ( ; row != rend; ++row) {
985                         if (row == rit)
986                                 active = true;
987                         if (active) {
988                                 RowPainter painter(bv, text, pit, row, y + yo, xo, y + bv.top_y());
989                                 painter.paint();
990                                 y += row->height();
991                         } else {
992                                 //lyxerr << "   paintRows: row: " << &*row << " ignored" << endl;
993                         }
994                 }
995                 if (yo + y >= y2)
996                         return y;
997         }
998
999         return y;
1000 }
1001
1002 } // namespace anon
1003
1004
1005 int paintText(BufferView & bv)
1006 {
1007         int const topy = bv.top_y();
1008         ParagraphList::iterator pit;
1009         RowList::iterator rit = bv.text->getRowNearY(topy, pit);
1010         int const y = pit->y + rit->y_offset() - topy;
1011         return paintRows(bv, *bv.text, pit, rit, 0, 0, y);
1012 }
1013
1014
1015 void paintTextInset(BufferView & bv, LyXText & text, int xo, int yo)
1016 {
1017         ParagraphList::iterator pit = text.ownerParagraphs().begin();
1018         paintRows(bv, text, pit, pit->rows.begin(), xo, yo, 0);
1019 }
1020
1021
1022 int getLengthMarkerHeight(BufferView const & bv, VSpace const & vsp)
1023 {
1024         if (vsp.kind() == VSpace::NONE)
1025                 return 0;
1026
1027         int const arrow_size = 4;
1028         int const space_size = vsp.inPixels(bv);
1029
1030         LyXFont font;
1031         font.decSize();
1032         int const min_size = max(3 * arrow_size, font_metrics::maxHeight(font));
1033
1034         if (vsp.length().len().value() < 0.0)
1035                 return min_size;
1036         else
1037                 return max(min_size, space_size);
1038 }