]> git.lyx.org Git - lyx.git/blob - src/rowpainter.cpp
more careful check for mathed to normal text change and vice versa for correct displa...
[lyx.git] / src / rowpainter.cpp
1 /**
2  * \file rowpainter.cpp
3  * This file is part of LyX, the document processor.
4  * Licence details can be found in the file COPYING.
5  *
6  * \author various
7  * \author John Levon
8  *
9  * Full author contact details are available in file CREDITS.
10  */
11
12 #include <config.h>
13 #include <algorithm>
14
15 #include "rowpainter.h"
16
17 #include "Bidi.h"
18 #include "Buffer.h"
19 #include "CoordCache.h"
20 #include "Cursor.h"
21 #include "BufferParams.h"
22 #include "BufferView.h"
23 #include "Changes.h"
24 #include "Encoding.h"
25 #include "Language.h"
26 #include "Layout.h"
27 #include "LyXRC.h"
28 #include "Row.h"
29 #include "MetricsInfo.h"
30 #include "Paragraph.h"
31 #include "ParagraphMetrics.h"
32 #include "ParagraphParameters.h"
33 #include "TextMetrics.h"
34 #include "VSpace.h"
35
36 #include "frontends/FontMetrics.h"
37 #include "frontends/Painter.h"
38
39 #include "insets/InsetText.h"
40
41 #include "mathed/InsetMath.h"
42
43 #include "support/debug.h"
44 #include "support/gettext.h"
45 #include "support/textutils.h"
46
47 #include "support/lassert.h"
48 #include <boost/crc.hpp>
49
50 using namespace std;
51
52 namespace lyx {
53
54 using frontend::Painter;
55 using frontend::FontMetrics;
56
57 RowPainter::RowPainter(PainterInfo & pi,
58         Text const & text, pit_type pit, Row const & row, Bidi & bidi, int x, int y)
59         : pi_(pi), text_(text),
60           text_metrics_(pi_.base.bv->textMetrics(&text)),
61           pars_(text.paragraphs()),
62           row_(row), pit_(pit), par_(text.paragraphs()[pit]),
63           pm_(text_metrics_.parMetrics(pit)),
64           bidi_(bidi), change_(pi_.change_),
65           xo_(x), yo_(y), width_(text_metrics_.width()),
66           line_thickness_(1.0), line_offset_(2)
67 {
68         bidi_.computeTables(par_, pi_.base.bv->buffer(), row_);
69
70         if (lyxrc.zoom >= 100) {
71                 // derive the line thickness from zoom factor
72                 // the zoom is given in percent
73                 // (increase thickness at 150%, 250% etc.)
74                 line_thickness_ = (float)(int((lyxrc.zoom + 50) / 100.0));
75                 // adjust line_offset_ too
76                 line_offset_ = int(2 * line_thickness_) + 1;
77         }
78
79         x_ = row_.x + xo_;
80
81         //lyxerr << "RowPainter: x: " << x_ << " xo: " << xo_ << " yo: " << yo_ << endl;
82         //row_.dump();
83
84         LASSERT(pit >= 0, /**/);
85         LASSERT(pit < int(text.paragraphs().size()), /**/);
86 }
87
88
89 FontInfo RowPainter::labelFont() const
90 {
91         FontInfo f = text_.labelFont(par_);
92         // selected text?
93         if (row_.begin_margin_sel || pi_.selected)
94                 f.setPaintColor(Color_selectiontext);
95         return f;
96 }
97
98
99 int RowPainter::leftMargin() const
100 {
101         return text_metrics_.leftMargin(text_metrics_.width(), pit_,
102                 row_.pos());
103 }
104
105 // If you want to debug inset metrics uncomment the following line:
106 //#define DEBUG_METRICS
107 // This draws green lines around each inset.
108
109
110 void RowPainter::paintInset(Inset const * inset, pos_type const pos)
111 {
112         Font const font = text_metrics_.displayFont(pit_, pos);
113
114         LASSERT(inset, return);
115         // Backup full_repaint status because some insets (InsetTabular)
116         // requires a full repaint
117         bool pi_full_repaint = pi_.full_repaint;
118
119         // FIXME: We should always use font, see documentation of
120         // noFontChange() in Inset.h.
121         pi_.base.font = inset->noFontChange() ?
122                 pi_.base.bv->buffer().params().getFont().fontInfo() :
123                 font.fontInfo();
124         pi_.ltr_pos = (bidi_.level(pos) % 2 == 0);
125         pi_.change_ = change_.changed() ? change_ : par_.lookupChange(pos);
126
127         int const x1 = int(x_);
128         pi_.base.bv->coordCache().insets().add(inset, x1, yo_);
129         // insets are painted completely. Recursive
130         // FIXME: it is wrong to completely paint the background
131         // if we want to do single row painting.
132         inset->drawBackground(pi_, x1, yo_);
133         inset->drawSelection(pi_, x1, yo_);
134         inset->draw(pi_, x1, yo_);
135
136         Dimension const & dim = pm_.insetDimension(inset);
137
138         paintForeignMark(x_, font.language(), dim.descent());
139
140         x_ += dim.width();
141
142         // Restore full_repaint status.
143         pi_.full_repaint = pi_full_repaint;
144
145 #ifdef DEBUG_METRICS
146         int const x2 = x1 + dim.wid;
147         int const y1 = yo_ + dim.des;
148         int const y2 = yo_ - dim.asc;
149         pi_.pain.line(x1, y1, x1, y2, Color_green);
150         pi_.pain.line(x1, y1, x2, y1, Color_green);
151         pi_.pain.line(x2, y1, x2, y2, Color_green);
152         pi_.pain.line(x1, y2, x2, y2, Color_green);
153 #endif
154 }
155
156
157 void RowPainter::paintHebrewComposeChar(pos_type & vpos, FontInfo const & font)
158 {
159         pos_type pos = bidi_.vis2log(vpos);
160
161         docstring str;
162
163         // first char
164         char_type c = par_.getChar(pos);
165         str += c;
166         ++vpos;
167
168         int const width = theFontMetrics(font).width(c);
169         int dx = 0;
170
171         for (pos_type i = pos - 1; i >= 0; --i) {
172                 c = par_.getChar(i);
173                 if (!Encodings::isHebrewComposeChar(c)) {
174                         if (isPrintableNonspace(c)) {
175                                 int const width2 = pm_.singleWidth(i,
176                                         text_metrics_.displayFont(pit_, i));
177                                 dx = (c == 0x05e8 || // resh
178                                       c == 0x05d3)   // dalet
179                                         ? width2 - width
180                                         : (width2 - width) / 2;
181                         }
182                         break;
183                 }
184         }
185
186         // Draw nikud
187         pi_.pain.text(int(x_) + dx, yo_, str, font);
188 }
189
190
191 void RowPainter::paintArabicComposeChar(pos_type & vpos, FontInfo const & font)
192 {
193         pos_type pos = bidi_.vis2log(vpos);
194         docstring str;
195
196         // first char
197         char_type c = par_.getChar(pos);
198         c = par_.transformChar(c, pos);
199         str += c;
200         ++vpos;
201
202         int const width = theFontMetrics(font).width(c);
203         int dx = 0;
204
205         for (pos_type i = pos - 1; i >= 0; --i) {
206                 c = par_.getChar(i);
207                 if (!Encodings::isArabicComposeChar(c)) {
208                         if (isPrintableNonspace(c)) {
209                                 int const width2 = pm_.singleWidth(i,
210                                                 text_metrics_.displayFont(pit_, i));
211                                 dx = (width2 - width) / 2;
212                         }
213                         break;
214                 }
215         }
216         // Draw nikud
217         pi_.pain.text(int(x_) + dx, yo_, str, font);
218 }
219
220
221 void RowPainter::paintChars(pos_type & vpos, FontInfo const & font,
222                             bool hebrew, bool arabic)
223 {
224         // This method takes up 70% of time when typing
225         pos_type pos = bidi_.vis2log(vpos);
226         // first character
227         char_type prev_char = par_.getChar(pos);
228         vector<char_type> str;
229         str.reserve(100);
230         str.push_back(prev_char);
231
232         if (arabic) {
233                 char_type c = str[0];
234                 if (c == '(')
235                         c = ')';
236                 else if (c == ')')
237                         c = '(';
238                 str[0] = par_.transformChar(c, pos);
239         }
240
241         pos_type const end = row_.endpos();
242         FontSpan const font_span = par_.fontSpan(pos);
243         // Track-change status.
244         Change const & change_running = par_.lookupChange(pos);
245
246         // selected text?
247         bool const selection = (pos >= row_.sel_beg && pos < row_.sel_end)
248                 || pi_.selected;
249
250         // spelling correct?
251         bool const spell_state =
252                 lyxrc.spellcheck_continuously && par_.isMisspelled(pos);
253
254         // collect as much similar chars as we can
255         for (++vpos ; vpos < end ; ++vpos) {
256                 // Work-around bug #6920
257                 // The bug can be reproduced with DejaVu font under Linux.
258                 // The issue is that we compute the metrics character by character
259                 // in ParagraphMetrics::singleWidth(); but we paint word by word
260                 // for performance reason.
261                 // Maybe a more general fix would be draw character by character
262                 // for some predefined fonts on some platform. In arabic and
263                 // Hebrew we already do paint this way.
264                 if (prev_char == 'f')
265                         break;
266                 
267                 pos = bidi_.vis2log(vpos);
268                 if (pos < font_span.first || pos > font_span.last)
269                         break;
270
271                 bool const new_selection = pos >= row_.sel_beg && pos < row_.sel_end;
272                 if (new_selection != selection)
273                         // Selection ends or starts here.
274                         break;
275
276                 bool const new_spell_state =
277                         lyxrc.spellcheck_continuously && par_.isMisspelled(pos);
278                 if (new_spell_state != spell_state)
279                         // Spell checker state changed here.
280                         break;
281
282                 Change const & change = par_.lookupChange(pos);
283                 if (!change_running.isSimilarTo(change))
284                         // Track change type or author has changed.
285                         break;
286
287                 char_type c = par_.getChar(pos);
288
289                 if (c == '\t')
290                         break;
291
292                 if (!isPrintableNonspace(c))
293                         break;
294
295                 /* Because we do our own bidi, at this point the strings are
296                  * already in visual order. However, Qt also applies its own
297                  * bidi algorithm to strings that it paints to the screen.
298                  * Therefore, if we were to paint Hebrew/Arabic words as a
299                  * single string, the letters in the words would get reversed
300                  * again. In order to avoid that, we don't collect Hebrew/
301                  * Arabic characters, but rather paint them one at a time.
302                  * See also http://thread.gmane.org/gmane.editors.lyx.devel/79740
303                  */
304                 if (hebrew)
305                         break;
306
307                 /* FIXME: these checks are irrelevant, since 'arabic' and
308                  * 'hebrew' alone are already going to trigger a break.
309                  * However, this should not be removed completely, because
310                  * if an alternative solution is found which allows grouping
311                  * of arabic and hebrew characters, then these breaks may have
312                  * to be re-applied.
313
314                 if (arabic && Encodings::isArabicComposeChar(c))
315                         break;
316
317                 if (hebrew && Encodings::isHebrewComposeChar(c))
318                         break;
319                 */
320
321                 if (arabic) {
322                         if (c == '(')
323                                 c = ')';
324                         else if (c == ')')
325                                 c = '(';
326                         c = par_.transformChar(c, pos);
327                         /* see comment in hebrew, explaining why we break */
328                         break;
329                 }
330
331                 str.push_back(c);
332                 prev_char = c;
333         }
334
335         docstring s(&str[0], str.size());
336
337         if (s[0] == '\t')
338                 s.replace(0,1,from_ascii("    "));
339
340         if (!selection && !change_running.changed()) {
341                 x_ += pi_.pain.text(int(x_), yo_, s, font);
342                 return;
343         }
344
345         FontInfo copy = font;
346         if (change_running.changed())
347                 copy.setPaintColor(change_running.color());
348         else if (selection)
349                 copy.setPaintColor(Color_selectiontext);
350
351         x_ += pi_.pain.text(int(x_), yo_, s, copy);
352 }
353
354
355 void RowPainter::paintForeignMark(double orig_x, Language const * lang,
356                 int desc)
357 {
358         if (!lyxrc.mark_foreign_language)
359                 return;
360         if (lang == latex_language)
361                 return;
362         if (lang == pi_.base.bv->buffer().params().language)
363                 return;
364
365         int const y = yo_ + 1 + desc + int(line_thickness_/2);
366         pi_.pain.line(int(orig_x), y, int(x_), y, Color_language,
367                 Painter::line_solid, line_thickness_);
368 }
369
370
371 void RowPainter::paintMisspelledMark(double orig_x, bool changed)
372 {
373         // if changed the misspelled marker gets placed slightly lower than normal
374         // to avoid drawing at the same vertical offset
375         int const y = yo_ + (changed ? int(line_thickness_ + 1.0) : 0) + line_offset_;
376         pi_.pain.line(int(orig_x), y, int(x_), y, Color_error,
377                 Painter::line_onoffdash, line_thickness_);
378 }
379
380
381 void RowPainter::paintFromPos(pos_type & vpos, bool changed)
382 {
383         pos_type const pos = bidi_.vis2log(vpos);
384         Font const orig_font = text_metrics_.displayFont(pit_, pos);
385         double const orig_x = x_;
386
387         // usual characters, no insets
388         char_type const c = par_.getChar(pos);
389
390         // special case languages
391         string const & lang = orig_font.language()->lang();
392         bool const hebrew = lang == "hebrew";
393         bool const arabic = lang == "arabic_arabtex" || lang == "arabic_arabi" ||
394                                                 lang == "farsi";
395
396         // spelling correct?
397         bool const misspelled =
398                 lyxrc.spellcheck_continuously && par_.isMisspelled(pos);
399
400         // draw as many chars as we can
401         if ((!hebrew && !arabic)
402                 || (hebrew && !Encodings::isHebrewComposeChar(c))
403                 || (arabic && !Encodings::isArabicComposeChar(c))) {
404                 paintChars(vpos, orig_font.fontInfo(), hebrew, arabic);
405         } else if (hebrew) {
406                 paintHebrewComposeChar(vpos, orig_font.fontInfo());
407         } else if (arabic) {
408                 paintArabicComposeChar(vpos, orig_font.fontInfo());
409         }
410
411         paintForeignMark(orig_x, orig_font.language());
412
413         if (lyxrc.spellcheck_continuously && misspelled) {
414                 // check for cursor position
415                 // don't draw misspelled marker for words at cursor position
416                 // we don't want to disturb the process of text editing
417                 BufferView const * bv = pi_.base.bv;
418                 Cursor const & cur = bv->cursor();
419                 bool current_word = false;
420                 if (cur.inTexted() && par_.id() == cur.paragraph().id()) {
421                         pos_type cpos = cur.pos();
422                         if (cpos > 0 && cpos == par_.size() && !par_.isWordSeparator(cpos-1))
423                                 --cpos;
424                         current_word = par_.isSameSpellRange(pos, cpos) ;
425                 }
426                 if (!current_word)
427                         paintMisspelledMark(orig_x, changed);
428         }
429 }
430
431
432 void RowPainter::paintChangeBar()
433 {
434         pos_type const start = row_.pos();
435         pos_type end = row_.endpos();
436
437         if (par_.size() == end) {
438                 // this is the last row of the paragraph;
439                 // thus, we must also consider the imaginary end-of-par character
440                 end++;
441         }
442
443         if (start == end || !par_.isChanged(start, end))
444                 return;
445
446         int const height = text_metrics_.isLastRow(pit_, row_)
447                 ? row_.ascent()
448                 : row_.height();
449
450         pi_.pain.fillRectangle(5, yo_ - row_.ascent(), 3, height, Color_changebar);
451 }
452
453
454 void RowPainter::paintAppendix()
455 {
456         // only draw the appendix frame once (for the main text)
457         if (!par_.params().appendix() || !text_.isMainText())
458                 return;
459
460         int y = yo_ - row_.ascent();
461
462         if (par_.params().startOfAppendix())
463                 y += 2 * defaultRowHeight();
464
465         pi_.pain.line(1, y, 1, yo_ + row_.height(), Color_appendix);
466         pi_.pain.line(width_ - 2, y, width_ - 2, yo_ + row_.height(), Color_appendix);
467 }
468
469
470 void RowPainter::paintDepthBar()
471 {
472         depth_type const depth = par_.getDepth();
473
474         if (depth <= 0)
475                 return;
476
477         depth_type prev_depth = 0;
478         if (!text_metrics_.isFirstRow(pit_, row_)) {
479                 pit_type pit2 = pit_;
480                 if (row_.pos() == 0)
481                         --pit2;
482                 prev_depth = pars_[pit2].getDepth();
483         }
484
485         depth_type next_depth = 0;
486         if (!text_metrics_.isLastRow(pit_, row_)) {
487                 pit_type pit2 = pit_;
488                 if (row_.endpos() >= pars_[pit2].size())
489                         ++pit2;
490                 next_depth = pars_[pit2].getDepth();
491         }
492
493         for (depth_type i = 1; i <= depth; ++i) {
494                 int const w = nestMargin() / 5;
495                 int x = int(xo_) + w * i;
496                 // only consider the changebar space if we're drawing outermost text
497                 if (text_.isMainText())
498                         x += changebarMargin();
499
500                 int const starty = yo_ - row_.ascent();
501                 int const h =  row_.height() - 1 - (i - next_depth - 1) * 3;
502
503                 pi_.pain.line(x, starty, x, starty + h, Color_depthbar);
504
505                 if (i > prev_depth)
506                         pi_.pain.fillRectangle(x, starty, w, 2, Color_depthbar);
507                 if (i > next_depth)
508                         pi_.pain.fillRectangle(x, starty + h, w, 2, Color_depthbar);
509         }
510 }
511
512
513 int RowPainter::paintAppendixStart(int y)
514 {
515         FontInfo pb_font = sane_font;
516         pb_font.setColor(Color_appendix);
517         pb_font.decSize();
518
519         int w = 0;
520         int a = 0;
521         int d = 0;
522
523         docstring const label = _("Appendix");
524         theFontMetrics(pb_font).rectText(label, w, a, d);
525
526         int const text_start = int(xo_ + (width_ - w) / 2);
527         int const text_end = text_start + w;
528
529         pi_.pain.rectText(text_start, y + d, label, pb_font, Color_none, Color_none);
530
531         pi_.pain.line(int(xo_ + 1), y, text_start, y, Color_appendix);
532         pi_.pain.line(text_end, y, int(xo_ + width_ - 2), y, Color_appendix);
533
534         return 3 * defaultRowHeight();
535 }
536
537
538 void RowPainter::paintFirst()
539 {
540         ParagraphParameters const & pparams = par_.params();
541         Buffer const & buffer = pi_.base.bv->buffer();
542         BufferParams const & bparams = buffer.params();
543         Layout const & layout = par_.layout();
544
545         int y_top = 0;
546
547         // start of appendix?
548         if (pparams.startOfAppendix())
549                 y_top += paintAppendixStart(yo_ - row_.ascent() + 2 * defaultRowHeight());
550
551         if (bparams.paragraph_separation == BufferParams::ParagraphSkipSeparation
552                 && pit_ != 0) {
553                 if (layout.latextype == LATEX_PARAGRAPH
554                     && !par_.getDepth()) {
555                         y_top += bparams.getDefSkip().inPixels(*pi_.base.bv);
556                 } else {
557                         Layout const & playout = pars_[pit_ - 1].layout();
558                         if (playout.latextype == LATEX_PARAGRAPH
559                             && !pars_[pit_ - 1].getDepth()) {
560                                 // is it right to use defskip here, too? (AS)
561                                 y_top += bparams.getDefSkip().inPixels(*pi_.base.bv);
562                         }
563                 }
564         }
565
566         bool const is_rtl = text_.isRTL(par_);
567         bool const is_seq = text_.isFirstInSequence(pit_);
568         //lyxerr << "paintFirst: " << par_.id() << " is_seq: " << is_seq << endl;
569
570         // should we print a label?
571         if (layout.labeltype >= LABEL_STATIC
572             && (layout.labeltype != LABEL_STATIC
573                       || layout.latextype != LATEX_ENVIRONMENT
574                       || is_seq)) {
575
576                 FontInfo const font = labelFont();
577                 FontMetrics const & fm = theFontMetrics(font);
578
579                 docstring const str = par_.labelString();
580                 if (!str.empty()) {
581                         double x = x_;
582
583                         // this is special code for the chapter layout. This is
584                         // printed in an extra row and has a pagebreak at
585                         // the top.
586                         if (layout.counter == "chapter") {
587                                 double spacing_val = 1.0;
588                                 if (!pparams.spacing().isDefault()) {
589                                         spacing_val = pparams.spacing().getValue();
590                                 } else {
591                                         spacing_val = bparams.spacing().getValue();
592                                 }
593
594                                 int const labeladdon = int(fm.maxHeight() * layout.spacing.getValue() * spacing_val);
595
596                                 int const maxdesc = int(fm.maxDescent() * layout.spacing.getValue() * spacing_val)
597                                         + int(layout.parsep) * defaultRowHeight();
598
599                                 if (is_rtl) {
600                                         x = width_ - leftMargin() -
601                                                 fm.width(str);
602                                 }
603
604                                 pi_.pain.text(int(x), yo_ - maxdesc - labeladdon, str, font);
605                         } else {
606                                 if (is_rtl) {
607                                         x = width_ - leftMargin()
608                                                 + fm.width(layout.labelsep);
609                                 } else {
610                                         x = x_ - fm.width(layout.labelsep)
611                                                 - fm.width(str);
612                                 }
613
614                                 pi_.pain.text(int(x), yo_, str, font);
615                         }
616                 }
617
618         // the labels at the top of an environment.
619         // More or less for bibliography
620         } else if (is_seq &&
621                 (layout.labeltype == LABEL_TOP_ENVIRONMENT ||
622                 layout.labeltype == LABEL_BIBLIO ||
623                 layout.labeltype == LABEL_CENTERED_TOP_ENVIRONMENT)) {
624                 FontInfo const font = labelFont();
625                 docstring const str = par_.labelString();
626                 if (!str.empty()) {
627                         double spacing_val = 1.0;
628                         if (!pparams.spacing().isDefault())
629                                 spacing_val = pparams.spacing().getValue();
630                         else
631                                 spacing_val = bparams.spacing().getValue();
632
633                         FontMetrics const & fm = theFontMetrics(font);
634
635                         int const labeladdon = int(fm.maxHeight()
636                                 * layout.spacing.getValue() * spacing_val);
637
638                         int maxdesc =
639                                 int(fm.maxDescent() * layout.spacing.getValue() * spacing_val
640                                 + (layout.labelbottomsep * defaultRowHeight()));
641
642                         double x = x_;
643                         if (layout.labeltype == LABEL_CENTERED_TOP_ENVIRONMENT) {
644                                 if (is_rtl)
645                                         x = leftMargin();
646                                 x += (width_ - text_metrics_.rightMargin(pm_) - leftMargin()) / 2;
647                                 x -= fm.width(str) / 2;
648                         } else if (is_rtl) {
649                                 x = width_ - leftMargin() -     fm.width(str);
650                         }
651                         pi_.pain.text(int(x), yo_ - maxdesc - labeladdon, str, font);
652                 }
653         }
654 }
655
656
657 /** Check if the current paragraph is the last paragraph in a
658     proof environment */
659 static int getEndLabel(pit_type p, Text const & text)
660 {
661         ParagraphList const & pars = text.paragraphs();
662         pit_type pit = p;
663         depth_type par_depth = pars[p].getDepth();
664         while (pit != pit_type(pars.size())) {
665                 Layout const & layout = pars[pit].layout();
666                 int const endlabeltype = layout.endlabeltype;
667
668                 if (endlabeltype != END_LABEL_NO_LABEL) {
669                         if (p + 1 == pit_type(pars.size()))
670                                 return endlabeltype;
671
672                         depth_type const next_depth =
673                                 pars[p + 1].getDepth();
674                         if (par_depth > next_depth ||
675                             (par_depth == next_depth && layout != pars[p + 1].layout()))
676                                 return endlabeltype;
677                         break;
678                 }
679                 if (par_depth == 0)
680                         break;
681                 pit = text.outerHook(pit);
682                 if (pit != pit_type(pars.size()))
683                         par_depth = pars[pit].getDepth();
684         }
685         return END_LABEL_NO_LABEL;
686 }
687
688
689 void RowPainter::paintLast()
690 {
691         bool const is_rtl = text_.isRTL(par_);
692         int const endlabel = getEndLabel(pit_, text_);
693
694         // paint imaginary end-of-paragraph character
695
696         Change const & change = par_.lookupChange(par_.size());
697         if (change.changed()) {
698                 FontMetrics const & fm =
699                         theFontMetrics(pi_.base.bv->buffer().params().getFont());
700                 int const length = fm.maxAscent() / 2;
701                 Color col = change.color();
702
703                 pi_.pain.line(int(x_) + 1, yo_ + 2, int(x_) + 1, yo_ + 2 - length, col,
704                            Painter::line_solid, 3);
705
706                 if (change.deleted()) {
707                         pi_.pain.line(int(x_) + 1 - length, yo_ + 2, int(x_) + 1 + length,
708                                 yo_ + 2, col, Painter::line_solid, 3);
709                 } else {
710                         pi_.pain.line(int(x_) + 1 - length, yo_ + 2, int(x_) + 1,
711                                 yo_ + 2, col, Painter::line_solid, 3);
712                 }
713         }
714
715         // draw an endlabel
716
717         switch (endlabel) {
718         case END_LABEL_BOX:
719         case END_LABEL_FILLED_BOX: {
720                 FontInfo const font = labelFont();
721                 FontMetrics const & fm = theFontMetrics(font);
722                 int const size = int(0.75 * fm.maxAscent());
723                 int const y = yo_ - size;
724                 int const max_row_width = width_ - size - Inset::TEXT_TO_INSET_OFFSET;
725                 int x = is_rtl ? nestMargin() + changebarMargin()
726                         : max_row_width - text_metrics_.rightMargin(pm_);
727
728                 // If needed, move the box a bit to avoid overlapping with text.
729                 int const rem = max_row_width - row_.width();
730                 if (rem <= 0)
731                         x += is_rtl ? rem : - rem;
732
733                 if (endlabel == END_LABEL_BOX)
734                         pi_.pain.rectangle(x, y, size, size, Color_eolmarker);
735                 else
736                         pi_.pain.fillRectangle(x, y, size, size, Color_eolmarker);
737                 break;
738         }
739
740         case END_LABEL_STATIC: {
741                 FontInfo const font = labelFont();
742                 FontMetrics const & fm = theFontMetrics(font);
743                 docstring const & str = par_.layout().endlabelstring();
744                 double const x = is_rtl ? x_ - fm.width(str) : x_;
745                 pi_.pain.text(int(x), yo_, str, font);
746                 break;
747         }
748
749         case END_LABEL_NO_LABEL:
750                 if (lyxrc.paragraph_markers && size_type(pit_ + 1) < pars_.size()) {
751                         docstring const s = docstring(1, char_type(0x00B6));
752                         FontInfo f = FontInfo();
753                         FontMetrics const & fm = theFontMetrics(f);
754                         f.setColor(Color_paragraphmarker);
755                         pi_.pain.text(int(x_), yo_, s, f);
756                         x_ += fm.width(s);
757                 }
758                 break;
759         }
760 }
761
762
763 void RowPainter::paintOnlyInsets()
764 {
765         CoordCache const & cache = pi_.base.bv->coordCache();
766         pos_type const end = row_.endpos();
767         for (pos_type pos = row_.pos(); pos != end; ++pos) {
768                 // If outer row has changed, nested insets are repaint completely.
769                 Inset const * inset = par_.getInset(pos);
770                 bool const nested_inset = inset &&
771                                 ((inset->asInsetMath() &&
772                                   !inset->asInsetMath()->asMacroTemplate())
773                                  || inset->asInsetText()
774                                  || inset->asInsetTabular());
775                 if (!nested_inset)
776                         continue;
777                 if (x_ > pi_.base.bv->workWidth()
778                     || !cache.getInsets().has(inset))
779                         continue;
780                 x_ = cache.getInsets().x(inset);
781
782                 bool const pi_selected = pi_.selected;
783                 Cursor const & cur = pi_.base.bv->cursor();
784                 if (cur.selection() && cur.text() == &text_
785                           && cur.normalAnchor().text() == &text_)
786                         pi_.selected = row_.sel_beg <= pos && row_.sel_end > pos;
787                 paintInset(inset, pos);
788                 pi_.selected = pi_selected;
789         }
790 }
791
792
793 void RowPainter::paintText()
794 {
795         pos_type const end = row_.endpos();
796         // Spaces at logical line breaks in bidi text must be skipped during
797         // painting. However, they may appear visually in the middle
798         // of a row; they must be skipped, wherever they are...
799         // * logically "abc_[HEBREW_\nHEBREW]"
800         // * visually "abc_[_WERBEH\nWERBEH]"
801         pos_type skipped_sep_vpos = -1;
802         pos_type body_pos = par_.beginOfBody();
803         if (body_pos > 0 &&
804                 (body_pos > end || !par_.isLineSeparator(body_pos - 1))) {
805                 body_pos = 0;
806         }
807
808         Layout const & layout = par_.layout();
809
810         Change change_running;
811         int change_last_x = 0;
812
813         // check for possible inline completion
814         DocIterator const & inlineCompletionPos = pi_.base.bv->inlineCompletionPos();
815         pos_type inlineCompletionVPos = -1;
816         if (inlineCompletionPos.inTexted()
817             && inlineCompletionPos.text() == &text_
818             && inlineCompletionPos.pit() == pit_
819             && inlineCompletionPos.pos() - 1 >= row_.pos()
820             && inlineCompletionPos.pos() - 1 < row_.endpos()) {
821                 // draw logically behind the previous character
822                 inlineCompletionVPos = bidi_.log2vis(inlineCompletionPos.pos() - 1);
823         }
824
825         // Use font span to speed things up, see below
826         FontSpan font_span;
827         Font font;
828
829         // If the last logical character is a separator, don't paint it, unless
830         // it's in the last row of a paragraph; see skipped_sep_vpos declaration
831         if (end > 0 && end < par_.size() && par_.isSeparator(end - 1))
832                 skipped_sep_vpos = bidi_.log2vis(end - 1);
833
834         for (pos_type vpos = row_.pos(); vpos < end; ) {
835                 if (x_ > pi_.base.bv->workWidth())
836                         break;
837
838                 // Skip the separator at the logical end of the row
839                 if (vpos == skipped_sep_vpos) {
840                         ++vpos;
841                         continue;
842                 }
843
844                 pos_type const pos = bidi_.vis2log(vpos);
845
846                 if (pos >= par_.size()) {
847                         ++vpos;
848                         continue;
849                 }
850
851                 // Use font span to speed things up, see above
852                 if (vpos < font_span.first || vpos > font_span.last) {
853                         font_span = par_.fontSpan(vpos);
854                         font = text_metrics_.displayFont(pit_, vpos);
855
856                         // split font span if inline completion is inside
857                         if (font_span.first <= inlineCompletionVPos
858                             && font_span.last > inlineCompletionVPos)
859                                 font_span.last = inlineCompletionVPos;
860                 }
861
862                 const int width_pos = pm_.singleWidth(pos, font);
863
864                 if (x_ + width_pos < 0) {
865                         x_ += width_pos;
866                         ++vpos;
867                         continue;
868                 }
869                 Change const & change = par_.lookupChange(pos);
870                 if (change.changed() && !change_running.changed()) {
871                         change_running = change;
872                         change_last_x = int(x_);
873                 }
874
875                 Inset const * inset = par_.getInset(pos);
876                 bool const highly_editable_inset = inset
877                         && inset->editable();
878
879                 // If we reach the end of a change or if the author changes, paint it.
880                 // We also don't paint across things like tables
881                 if (change_running.changed() && (highly_editable_inset
882                         || !change.changed() || !change_running.isSimilarTo(change))) {
883                         // Calculate 1/3 height of the buffer's default font
884                         FontMetrics const & fm
885                                 = theFontMetrics(pi_.base.bv->buffer().params().getFont());
886                         int const y_bar = change_running.deleted() ?
887                                 yo_ - fm.maxAscent() / 3 : yo_ + line_offset_;
888                         pi_.pain.line(change_last_x, y_bar, int(x_), y_bar,
889                                 change_running.color(), Painter::line_solid, line_thickness_);
890
891                         // Change might continue with a different author or type
892                         if (change.changed() && !highly_editable_inset) {
893                                 change_running = change;
894                                 change_last_x = int(x_);
895                         } else
896                                 change_running.setUnchanged();
897                 }
898
899                 if (body_pos > 0 && pos == body_pos - 1) {
900                         int const lwidth = theFontMetrics(labelFont())
901                                 .width(layout.labelsep);
902
903                         x_ += row_.label_hfill + lwidth - width_pos;
904                 }
905
906                 // Is the inline completion in front of character?
907                 if (font.isRightToLeft() && vpos == inlineCompletionVPos)
908                         paintInlineCompletion(font);
909
910                 if (par_.isSeparator(pos)) {
911                         Font const orig_font = text_metrics_.displayFont(pit_, pos);
912                         double const orig_x = x_;
913                         x_ += width_pos;
914                         if (pos >= body_pos)
915                                 x_ += row_.separator;
916                         paintForeignMark(orig_x, orig_font.language());
917                         ++vpos;
918
919                 } else if (inset) {
920                         // If outer row has changed, nested insets are repaint completely.
921                         pi_.base.bv->coordCache().insets().add(inset, int(x_), yo_);
922
923                         bool const pi_selected = pi_.selected;
924                         Cursor const & cur = pi_.base.bv->cursor();
925                         if (cur.selection() && cur.text() == &text_
926                                   && cur.normalAnchor().text() == &text_)
927                                 pi_.selected = row_.sel_beg <= pos && row_.sel_end > pos;
928                         paintInset(inset, pos);
929                         pi_.selected = pi_selected;
930                         ++vpos;
931
932                 } else {
933                         // paint as many characters as possible.
934                         paintFromPos(vpos, change_running.changed());
935                 }
936
937                 // Is the inline completion after character?
938                 if (!font.isRightToLeft() && vpos - 1 == inlineCompletionVPos)
939                         paintInlineCompletion(font);
940         }
941
942         // if we reach the end of a struck out range, paint it
943         if (change_running.changed()) {
944                 FontMetrics const & fm
945                         = theFontMetrics(pi_.base.bv->buffer().params().getFont());
946                 int const y_bar = change_running.deleted() ?
947                                 yo_ - fm.maxAscent() / 3 : yo_ + line_offset_;
948                 pi_.pain.line(change_last_x, y_bar, int(x_), y_bar,
949                         change_running.color(), Painter::line_solid, line_thickness_);
950                 change_running.setUnchanged();
951         }
952 }
953
954
955 void RowPainter::paintSelection()
956 {
957         if (!row_.selection())
958                 return;
959         Cursor const & curs = pi_.base.bv->cursor();
960         DocIterator beg = curs.selectionBegin();
961         beg.pit() = pit_;
962         beg.pos() = row_.sel_beg;
963
964         DocIterator end = curs.selectionEnd();
965         end.pit() = pit_;
966         end.pos() = row_.sel_end;
967
968         bool const begin_boundary = beg.pos() >= row_.endpos();
969         bool const end_boundary = row_.sel_end == row_.endpos();
970
971         DocIterator cur = beg;
972         cur.boundary(begin_boundary);
973         int x1 = text_metrics_.cursorX(beg.top(), begin_boundary);
974         int x2 = text_metrics_.cursorX(end.top(), end_boundary);
975         int const y1 = yo_ - row_.ascent();
976         int const y2 = y1 + row_.height();
977
978         int const rm = text_.isMainText() ? pi_.base.bv->rightMargin() : 0;
979         int const lm = text_.isMainText() ? pi_.base.bv->leftMargin() : 0;
980
981         // draw the margins
982         if (row_.begin_margin_sel) {
983                 if (text_.isRTL(beg.paragraph())) {
984                         pi_.pain.fillRectangle(int(xo_ + x1), y1,
985                                 text_metrics_.width() - rm - x1, y2 - y1, Color_selection);
986                 } else {
987                         pi_.pain.fillRectangle(int(xo_ + lm), y1, x1 - lm, y2 - y1,
988                                 Color_selection);
989                 }
990         }
991
992         if (row_.end_margin_sel) {
993                 if (text_.isRTL(beg.paragraph())) {
994                         pi_.pain.fillRectangle(int(xo_ + lm), y1, x2 - lm, y2 - y1,
995                                 Color_selection);
996                 } else {
997                         pi_.pain.fillRectangle(int(xo_ + x2), y1, text_metrics_.width() - rm - x2,
998                                 y2 - y1, Color_selection);
999                 }
1000         }
1001
1002         // if we are on a boundary from the beginning, it's probably
1003         // a RTL boundary and we jump to the other side directly as this
1004         // segement is 0-size and confuses the logic below
1005         if (cur.boundary())
1006                 cur.boundary(false);
1007
1008         // go through row and draw from RTL boundary to RTL boundary
1009         while (cur < end) {
1010                 bool draw_now = false;
1011
1012                 // simplified cursorForward code below which does not
1013                 // descend into insets and which does not go into the
1014                 // next line. Compare the logic with the original cursorForward
1015
1016                 // if left of boundary -> just jump to right side, but
1017                 // for RTL boundaries don't, because: abc|DDEEFFghi -> abcDDEEF|Fghi
1018                 if (cur.boundary()) {
1019                         cur.boundary(false);
1020                 }       else if (text_metrics_.isRTLBoundary(cur.pit(), cur.pos() + 1)) {
1021                         // in front of RTL boundary -> Stay on this side of the boundary
1022                         // because:  ab|cDDEEFFghi -> abc|DDEEFFghi
1023                         ++cur.pos();
1024                         cur.boundary(true);
1025                         draw_now = true;
1026                 } else {
1027                         // move right
1028                         ++cur.pos();
1029
1030                         // line end?
1031                         if (cur.pos() == row_.endpos())
1032                                 cur.boundary(true);
1033                 }
1034
1035                 if (x1 == -1) {
1036                         // the previous segment was just drawn, now the next starts
1037                         x1 = text_metrics_.cursorX(cur.top(), cur.boundary());
1038                 }
1039
1040                 if (!(cur < end) || draw_now) {
1041                         x2 = text_metrics_.cursorX(cur.top(), cur.boundary());
1042                         pi_.pain.fillRectangle(int(xo_ + min(x1, x2)), y1, abs(x2 - x1),
1043                                 y2 - y1, Color_selection);
1044
1045                         // reset x1, so it is set again next round (which will be on the
1046                         // right side of a boundary or at the selection end)
1047                         x1 = -1;
1048                 }
1049         }
1050 }
1051
1052
1053 void RowPainter::paintInlineCompletion(Font const & font)
1054 {
1055         docstring completion = pi_.base.bv->inlineCompletion();
1056         FontInfo f = font.fontInfo();
1057         bool rtl = font.isRightToLeft();
1058
1059         // draw the unique and the non-unique completion part
1060         // Note: this is not time-critical as it is
1061         // only done once per screen.
1062         size_t uniqueTo = pi_.base.bv->inlineCompletionUniqueChars();
1063         docstring s1 = completion.substr(0, uniqueTo);
1064         docstring s2 = completion.substr(uniqueTo);
1065         ColorCode c1 = Color_inlinecompletion;
1066         ColorCode c2 = Color_nonunique_inlinecompletion;
1067
1068         // right to left?
1069         if (rtl) {
1070                 swap(s1, s2);
1071                 swap(c1, c2);
1072         }
1073
1074         if (s1.size() > 0) {
1075                 f.setColor(c1);
1076                 pi_.pain.text(int(x_), yo_, s1, f);
1077                 x_ += theFontMetrics(font).width(s1);
1078         }
1079
1080         if (s2.size() > 0) {
1081                 f.setColor(c2);
1082                 pi_.pain.text(int(x_), yo_, s2, f);
1083                 x_ += theFontMetrics(font).width(s2);
1084         }
1085 }
1086
1087 } // namespace lyx