]> git.lyx.org Git - lyx.git/blob - src/TextMetrics.cpp
Fix ticket #9224: text overflows through adjacent insets
[lyx.git] / src / TextMetrics.cpp
1 /**
2  * \file src/TextMetrics.cpp
3  * This file is part of LyX, the document processor.
4  * Licence details can be found in the file COPYING.
5  *
6  * \author Asger Alstrup
7  * \author Lars Gullik Bjønnes
8  * \author Jean-Marc Lasgouttes
9  * \author John Levon
10  * \author André Pönitz
11  * \author Dekel Tsur
12  * \author Jürgen Vigna
13  * \author Abdelrazak Younes
14  *
15  * Full author contact details are available in file CREDITS.
16  */
17
18 #include <config.h>
19
20 #include "TextMetrics.h"
21
22 #include "Buffer.h"
23 #include "buffer_funcs.h"
24 #include "BufferParams.h"
25 #include "BufferView.h"
26 #include "CoordCache.h"
27 #include "Cursor.h"
28 #include "CutAndPaste.h"
29 #include "HSpace.h"
30 #include "InsetList.h"
31 #include "Layout.h"
32 #include "LyXRC.h"
33 #include "MetricsInfo.h"
34 #include "ParagraphParameters.h"
35 #include "RowPainter.h"
36 #include "Text.h"
37 #include "TextClass.h"
38 #include "VSpace.h"
39
40 #include "insets/InsetText.h"
41
42 #include "mathed/MathMacroTemplate.h"
43
44 #include "frontends/FontMetrics.h"
45 #include "frontends/Painter.h"
46
47 #include "support/debug.h"
48 #include "support/lassert.h"
49
50 #include <cmath>
51
52 using namespace std;
53
54
55 namespace lyx {
56
57 using frontend::FontMetrics;
58
59 namespace {
60
61 int numberOfSeparators(Row const & row)
62 {
63         int n = 0;
64         Row::const_iterator cit = row.begin();
65         Row::const_iterator const end = row.end();
66         for ( ; cit != end ; ++cit)
67                 if (cit->type == Row::SEPARATOR)
68                         ++n;
69         return n;
70 }
71
72
73 void setSeparatorWidth(Row & row, double w)
74 {
75         row.separator = w;
76         Row::iterator it = row.begin();
77         Row::iterator const end = row.end();
78         for ( ; it != end ; ++it)
79                 if (it->type == Row::SEPARATOR)
80                         it->extra = w;
81 }
82
83
84 int numberOfLabelHfills(Paragraph const & par, Row const & row)
85 {
86         pos_type last = row.endpos() - 1;
87         pos_type first = row.pos();
88
89         // hfill *DO* count at the beginning of paragraphs!
90         if (first) {
91                 while (first < last && par.isHfill(first))
92                         ++first;
93         }
94
95         last = min(last, par.beginOfBody());
96         int n = 0;
97         for (pos_type p = first; p < last; ++p) {
98                 if (par.isHfill(p))
99                         ++n;
100         }
101         return n;
102 }
103
104
105 int numberOfHfills(Row const & row, pos_type const body_pos)
106 {
107         int n = 0;
108         Row::const_iterator cit = row.begin();
109         Row::const_iterator const end = row.end();
110         for ( ; cit != end ; ++cit)
111                 if (cit->pos >= body_pos
112                     && cit->inset && cit->inset->isHfill())
113                         ++n;
114         return n;
115 }
116
117
118 }
119
120 /////////////////////////////////////////////////////////////////////
121 //
122 // TextMetrics
123 //
124 /////////////////////////////////////////////////////////////////////
125
126
127 TextMetrics::TextMetrics(BufferView * bv, Text * text)
128         : bv_(bv), text_(text)
129 {
130         LBUFERR(bv_);
131         max_width_ = bv_->workWidth();
132         dim_.wid = max_width_;
133         dim_.asc = 10;
134         dim_.des = 10;
135 }
136
137
138 bool TextMetrics::contains(pit_type pit) const
139 {
140         return par_metrics_.find(pit) != par_metrics_.end();
141 }
142
143
144 ParagraphMetrics const & TextMetrics::parMetrics(pit_type pit) const
145 {
146         return const_cast<TextMetrics *>(this)->parMetrics(pit, true);
147 }
148
149
150
151 pair<pit_type, ParagraphMetrics const *> TextMetrics::first() const
152 {
153         ParMetricsCache::const_iterator it = par_metrics_.begin();
154         return make_pair(it->first, &it->second);
155 }
156
157
158 pair<pit_type, ParagraphMetrics const *> TextMetrics::last() const
159 {
160         LBUFERR(!par_metrics_.empty());
161         ParMetricsCache::const_reverse_iterator it = par_metrics_.rbegin();
162         return make_pair(it->first, &it->second);
163 }
164
165
166 ParagraphMetrics & TextMetrics::parMetrics(pit_type pit, bool redo)
167 {
168         ParMetricsCache::iterator pmc_it = par_metrics_.find(pit);
169         if (pmc_it == par_metrics_.end()) {
170                 pmc_it = par_metrics_.insert(
171                         make_pair(pit, ParagraphMetrics(text_->getPar(pit)))).first;
172         }
173         if (pmc_it->second.rows().empty() && redo)
174                 redoParagraph(pit);
175         return pmc_it->second;
176 }
177
178
179 bool TextMetrics::metrics(MetricsInfo & mi, Dimension & dim, int min_width)
180 {
181         LBUFERR(mi.base.textwidth > 0);
182         max_width_ = mi.base.textwidth;
183         // backup old dimension.
184         Dimension const old_dim = dim_;
185         // reset dimension.
186         dim_ = Dimension();
187         dim_.wid = min_width;
188         pit_type const npar = text_->paragraphs().size();
189         if (npar > 1)
190                 // If there is more than one row, expand the text to
191                 // the full allowable width.
192                 dim_.wid = max_width_;
193
194         //lyxerr << "TextMetrics::metrics: width: " << mi.base.textwidth
195         //      << " maxWidth: " << max_width_ << "\nfont: " << mi.base.font << endl;
196
197         bool changed = false;
198         unsigned int h = 0;
199         for (pit_type pit = 0; pit != npar; ++pit) {
200                 changed |= redoParagraph(pit);
201                 ParagraphMetrics const & pm = par_metrics_[pit];
202                 h += pm.height();
203                 if (dim_.wid < pm.width())
204                         dim_.wid = pm.width();
205         }
206
207         dim_.asc = par_metrics_[0].ascent();
208         dim_.des = h - dim_.asc;
209         //lyxerr << "dim_.wid " << dim_.wid << endl;
210         //lyxerr << "dim_.asc " << dim_.asc << endl;
211         //lyxerr << "dim_.des " << dim_.des << endl;
212
213         changed |= dim_ != old_dim;
214         dim = dim_;
215         return changed;
216 }
217
218
219 int TextMetrics::rightMargin(ParagraphMetrics const & pm) const
220 {
221         return main_text_? pm.rightMargin(*bv_) : 0;
222 }
223
224
225 int TextMetrics::rightMargin(pit_type const pit) const
226 {
227         return main_text_? par_metrics_[pit].rightMargin(*bv_) : 0;
228 }
229
230
231 void TextMetrics::applyOuterFont(Font & font) const
232 {
233         FontInfo lf(font_.fontInfo());
234         lf.reduce(bv_->buffer().params().getFont().fontInfo());
235         font.fontInfo().realize(lf);
236 }
237
238
239 Font TextMetrics::displayFont(pit_type pit, pos_type pos) const
240 {
241         LASSERT(pos >= 0, { static Font f; return f; });
242
243         ParagraphList const & pars = text_->paragraphs();
244         Paragraph const & par = pars[pit];
245         Layout const & layout = par.layout();
246         Buffer const & buffer = bv_->buffer();
247         // FIXME: broken?
248         BufferParams const & params = buffer.params();
249         pos_type const body_pos = par.beginOfBody();
250
251         // We specialize the 95% common case:
252         if (!par.getDepth()) {
253                 Font f = par.getFontSettings(params, pos);
254                 if (!text_->isMainText())
255                         applyOuterFont(f);
256                 bool lab = layout.labeltype == LABEL_MANUAL && pos < body_pos;
257
258                 FontInfo const & lf = lab ? layout.labelfont : layout.font;
259                 FontInfo rlf = lab ? layout.reslabelfont : layout.resfont;
260
261                 // In case the default family has been customized
262                 if (lf.family() == INHERIT_FAMILY)
263                         rlf.setFamily(params.getFont().fontInfo().family());
264                 f.fontInfo().realize(rlf);
265                 return f;
266         }
267
268         // The uncommon case need not be optimized as much
269         FontInfo const & layoutfont = pos < body_pos ?
270                 layout.labelfont : layout.font;
271
272         Font font = par.getFontSettings(params, pos);
273         font.fontInfo().realize(layoutfont);
274
275         if (!text_->isMainText())
276                 applyOuterFont(font);
277
278         // Realize against environment font information
279         // NOTE: the cast to pit_type should be removed when pit_type
280         // changes to a unsigned integer.
281         if (pit < pit_type(pars.size()))
282                 font.fontInfo().realize(text_->outerFont(pit).fontInfo());
283
284         // Realize with the fonts of lesser depth.
285         font.fontInfo().realize(params.getFont().fontInfo());
286
287         return font;
288 }
289
290
291 bool TextMetrics::isRTL(CursorSlice const & sl, bool boundary) const
292 {
293         if (!sl.text())
294                 return false;
295
296         int correction = 0;
297         if (boundary && sl.pos() > 0)
298                 correction = -1;
299
300         return displayFont(sl.pit(), sl.pos() + correction).isVisibleRightToLeft();
301 }
302
303
304 bool TextMetrics::isRTLBoundary(pit_type pit, pos_type pos) const
305 {
306         // no RTL boundary at paragraph start
307         if (pos == 0)
308                 return false;
309
310         Font const & left_font = displayFont(pit, pos - 1);
311
312         return isRTLBoundary(pit, pos, left_font);
313 }
314
315
316 // isRTLBoundary returns false on a real end-of-line boundary,
317 // because otherwise the two boundary types get mixed up.
318 // This is the whole purpose of this being in TextMetrics.
319 bool TextMetrics::isRTLBoundary(pit_type pit, pos_type pos,
320                 Font const & font) const
321 {
322         if (// no RTL boundary at paragraph start
323             pos == 0
324             // if the metrics have not been calculated, then we are not
325             // on screen and can safely ignore issues about boundaries.
326             || !contains(pit))
327                 return false;
328
329         ParagraphMetrics & pm = par_metrics_[pit];
330         // no RTL boundary in empty paragraph
331         if (pm.rows().empty())
332                 return false;
333
334         pos_type endpos = pm.getRow(pos - 1, false).endpos();
335         pos_type startpos = pm.getRow(pos, false).pos();
336         // no RTL boundary at line start:
337         // abc\n   -> toggle to RTL ->    abc\n     (and not:    abc\n|
338         // |                              |                               )
339         if (pos == startpos && pos == endpos) // start of cur row, end of prev row
340                 return false;
341
342         Paragraph const & par = text_->getPar(pit);
343         // no RTL boundary at line break:
344         // abc|\n    -> move right ->   abc\n       (and not:    abc\n|
345         // FED                          FED|                     FED     )
346         if (startpos == pos && endpos == pos && endpos != par.size()
347                 && (par.isNewline(pos - 1)
348                         || par.isEnvSeparator(pos - 1)
349                         || par.isLineSeparator(pos - 1)
350                         || par.isSeparator(pos - 1)))
351                 return false;
352
353         bool left = font.isVisibleRightToLeft();
354         bool right;
355         if (pos == par.size())
356                 right = par.isRTL(bv_->buffer().params());
357         else
358                 right = displayFont(pit, pos).isVisibleRightToLeft();
359
360         return left != right;
361 }
362
363
364 bool TextMetrics::redoParagraph(pit_type const pit)
365 {
366         Paragraph & par = text_->getPar(pit);
367         // IMPORTANT NOTE: We pass 'false' explicitly in order to not call
368         // redoParagraph() recursively inside parMetrics.
369         Dimension old_dim = parMetrics(pit, false).dim();
370         ParagraphMetrics & pm = par_metrics_[pit];
371         pm.reset(par);
372
373         Buffer & buffer = bv_->buffer();
374         main_text_ = (text_ == &buffer.text());
375         bool changed = false;
376
377         // Check whether there are InsetBibItems that need fixing
378         // FIXME: This check ought to be done somewhere else. It is the reason
379         // why text_ is not const. But then, where else to do it?
380         // Well, how can you end up with either (a) a biblio environment that
381         // has no InsetBibitem or (b) a biblio environment with more than one
382         // InsetBibitem? I think the answer is: when paragraphs are merged;
383         // when layout is set; when material is pasted.
384         if (par.brokenBiblio()) {
385                 Cursor & cur = const_cast<Cursor &>(bv_->cursor());
386                 // In some cases, we do not know how to record undo
387                 if (&cur.inset() == &text_->inset())
388                         cur.recordUndo(ATOMIC_UNDO, pit, pit);
389
390                 int const moveCursor = par.fixBiblio(buffer);
391
392                 // Is it necessary to update the cursor?
393                 if (&cur.inset() == &text_->inset() && cur.pit() == pit) {
394                         if (moveCursor > 0)
395                                 cur.posForward();
396                         else if (moveCursor < 0 && cur.pos() >= -moveCursor)
397                                 cur.posBackward();
398                 }
399         }
400
401         // Optimisation: this is used in the next two loops
402         // so better to calculate that once here.
403         int const right_margin = rightMargin(pm);
404
405         // iterator pointing to paragraph to resolve macros
406         DocIterator parPos = text_->macrocontextPosition();
407         if (!parPos.empty())
408                 parPos.pit() = pit;
409         else {
410                 LYXERR(Debug::INFO, "MacroContext not initialised!"
411                         << " Going through the buffer again and hope"
412                         << " the context is better then.");
413                 // FIXME audit updateBuffer calls
414                 // This should not be here, but it is not clear yet where else it
415                 // should be.
416                 bv_->buffer().updateBuffer();
417                 parPos = text_->macrocontextPosition();
418                 LBUFERR(!parPos.empty());
419                 parPos.pit() = pit;
420         }
421
422         // redo insets
423         Font const bufferfont = buffer.params().getFont();
424         InsetList::const_iterator ii = par.insetList().begin();
425         InsetList::const_iterator iend = par.insetList().end();
426         for (; ii != iend; ++ii) {
427                 // FIXME Doesn't this HAVE to be non-empty?
428                 // position already initialized?
429                 if (!parPos.empty()) {
430                         parPos.pos() = ii->pos;
431
432                         // A macro template would normally not be visible
433                         // by itself. But the tex macro semantics allow
434                         // recursion, so we artifically take the context
435                         // after the macro template to simulate this.
436                         if (ii->inset->lyxCode() == MATHMACRO_CODE)
437                                 parPos.pos()++;
438                 }
439
440                 // do the metric calculation
441                 Dimension dim;
442                 int const w = max_width_ - leftMargin(max_width_, pit, ii->pos)
443                         - right_margin;
444                 Font const & font = ii->inset->inheritFont() ?
445                         displayFont(pit, ii->pos) : bufferfont;
446                 MacroContext mc(&buffer, parPos);
447                 MetricsInfo mi(bv_, font.fontInfo(), w, mc);
448                 ii->inset->metrics(mi, dim);
449                 Dimension const old_dim = pm.insetDimension(ii->inset);
450                 if (old_dim != dim) {
451                         pm.setInsetDimension(ii->inset, dim);
452                         changed = true;
453                 }
454         }
455
456         par.setBeginOfBody();
457         pos_type first = 0;
458         size_t row_index = 0;
459         // maximum pixel width of a row
460         do {
461                 if (row_index == pm.rows().size())
462                         pm.rows().push_back(Row());
463                 Row & row = pm.rows()[row_index];
464                 row.pos(first);
465                 breakRow(row, right_margin, pit);
466                 setRowHeight(row, pit);
467                 row.setChanged(false);
468                 if (row_index || row.endpos() < par.size())
469                         // If there is more than one row, expand the text to
470                         // the full allowable width. This setting here is needed
471                         // for the computeRowMetrics() below.
472                         dim_.wid = max_width_;
473                 int const max_row_width = max(dim_.wid, row.width());
474                 computeRowMetrics(pit, row, max_row_width);
475                 first = row.endpos();
476                 ++row_index;
477
478                 pm.dim().wid = max(pm.dim().wid, row.width());
479                 pm.dim().des += row.height();
480         } while (first < par.size());
481
482         if (row_index < pm.rows().size())
483                 pm.rows().resize(row_index);
484
485         // Make sure that if a par ends in newline, there is one more row
486         // under it
487         if (first > 0 && par.isNewline(first - 1)) {
488                 if (row_index == pm.rows().size())
489                         pm.rows().push_back(Row());
490                 Row & row = pm.rows()[row_index];
491                 row.pos(first);
492                 row.endpos(first);
493                 setRowHeight(row, pit);
494                 row.setChanged(false);
495                 int const max_row_width = max(dim_.wid, row.width());
496                 computeRowMetrics(pit, row, max_row_width);
497                 pm.dim().des += row.height();
498         }
499
500         pm.dim().asc += pm.rows()[0].ascent();
501         pm.dim().des -= pm.rows()[0].ascent();
502
503         changed |= old_dim.height() != pm.dim().height();
504
505         return changed;
506 }
507
508
509 LyXAlignment TextMetrics::getAlign(Paragraph const & par, pos_type const pos) const
510 {
511         Layout const & layout = par.layout();
512
513         LyXAlignment align;
514         if (par.params().align() == LYX_ALIGN_LAYOUT)
515                 align = layout.align;
516         else
517                 align = par.params().align();
518
519         // handle alignment inside tabular cells
520         Inset const & owner = text_->inset();
521         switch (owner.contentAlignment()) {
522         case LYX_ALIGN_CENTER:
523         case LYX_ALIGN_LEFT:
524         case LYX_ALIGN_RIGHT:
525                 if (align == LYX_ALIGN_NONE || align == LYX_ALIGN_BLOCK)
526                         align = owner.contentAlignment();
527                 break;
528         default:
529                 // unchanged (use align)
530                 break;
531         }
532
533         // Display-style insets should always be on a centered row
534         if (Inset const * inset = par.getInset(pos)) {
535                 switch (inset->display()) {
536                 case Inset::AlignLeft:
537                         align = LYX_ALIGN_BLOCK;
538                         break;
539                 case Inset::AlignCenter:
540                         align = LYX_ALIGN_CENTER;
541                         break;
542                 case Inset::Inline:
543                         // unchanged (use align)
544                         break;
545                 case Inset::AlignRight:
546                         align = LYX_ALIGN_RIGHT;
547                         break;
548                 }
549         }
550
551         // Has the user requested we not justify stuff?
552         if (!bv_->buffer().params().justification
553             && align == LYX_ALIGN_BLOCK)
554                 align = LYX_ALIGN_LEFT;
555
556         return align;
557 }
558
559
560 void TextMetrics::computeRowMetrics(pit_type const pit,
561                 Row & row, int width) const
562 {
563         row.label_hfill = 0;
564         row.separator = 0;
565
566         Paragraph const & par = text_->getPar(pit);
567
568         double const w = width - row.right_margin - row.width();
569         // FIXME: put back this assertion when the crash on new doc is solved.
570         //LASSERT(w >= 0, /**/);
571
572         bool const is_rtl = text_->isRTL(par);
573         if (is_rtl)
574                 row.x = rightMargin(pit);
575         else
576                 row.x = leftMargin(max_width_, pit, row.pos());
577
578         // is there a manual margin with a manual label
579         Layout const & layout = par.layout();
580
581         int nlh = 0;
582         if (layout.margintype == MARGIN_MANUAL
583             && layout.labeltype == LABEL_MANUAL) {
584                 /// We might have real hfills in the label part
585                 nlh = numberOfLabelHfills(par, row);
586
587                 // A manual label par (e.g. List) has an auto-hfill
588                 // between the label text and the body of the
589                 // paragraph too.
590                 // But we don't want to do this auto hfill if the par
591                 // is empty.
592                 if (!par.empty())
593                         ++nlh;
594
595                 if (nlh && !par.getLabelWidthString().empty())
596                         row.label_hfill = labelFill(pit, row) / double(nlh);
597         }
598
599         double hfill = 0;
600         // are there any hfills in the row?
601         if (int const nh = numberOfHfills(row, par.beginOfBody())) {
602                 if (w > 0)
603                         hfill = w / double(nh);
604         // we don't have to look at the alignment if it is ALIGN_LEFT and
605         // if the row is already larger then the permitted width as then
606         // we force the LEFT_ALIGN'edness!
607         } else if (int(row.width()) < max_width_) {
608                 // is it block, flushleft or flushright?
609                 // set x how you need it
610                 switch (getAlign(par, row.pos())) {
611                 case LYX_ALIGN_BLOCK: {
612                         int const ns = numberOfSeparators(row);
613                         /** If we have separators, and this row has
614                          * not be broken abruptly by a display inset
615                          * or newline, then stretch it */
616                         if (ns && !row.right_boundary()
617                             && row.endpos() != par.size()) {
618                                 setSeparatorWidth(row, w / ns);
619                                 row.dimension().wid = width;
620                         } else if (is_rtl) {
621                                 row.dimension().wid = width;
622                                 row.x += w;
623                         }
624                         break;
625                 }
626                 case LYX_ALIGN_RIGHT:
627                         row.x += w;
628                         break;
629                 case LYX_ALIGN_CENTER:
630                         row.dimension().wid = width - int(w / 2);
631                         row.x += w / 2;
632                         break;
633                 case LYX_ALIGN_LEFT:
634                 case LYX_ALIGN_NONE:
635                 case LYX_ALIGN_LAYOUT:
636                 case LYX_ALIGN_SPECIAL:
637                 case LYX_ALIGN_DECIMAL:
638                         break;
639                 }
640         }
641
642 #if 0
643         if (is_rtl) {
644                 pos_type body_pos = par.beginOfBody();
645                 pos_type end = row.endpos();
646
647                 if (body_pos > 0
648                     && (body_pos > end || !par.isLineSeparator(body_pos - 1))) {
649                         row.x += theFontMetrics(text_->labelFont(par)).
650                                 width(layout.labelsep);
651                         if (body_pos <= end)
652                                 row.x += row.label_hfill;
653                 }
654         }
655 #endif
656
657         // Finally,  handle hfill insets
658         pos_type const endpos = row.endpos();
659         pos_type body_pos = par.beginOfBody();
660         if (body_pos > 0
661             && (body_pos > endpos || !par.isLineSeparator(body_pos - 1)))
662                 body_pos = 0;
663         ParagraphMetrics & pm = par_metrics_[pit];
664         Row::iterator cit = row.begin();
665         Row::iterator const cend = row.end();
666         for ( ; cit != cend; ++cit) {
667                 if (row.label_hfill && cit->endpos == body_pos
668                     && cit->type == Row::SPACE)
669                         cit->dim.wid -= int(row.label_hfill * (nlh - 1));
670                 if (!cit->inset || !cit->inset->isHfill())
671                         continue;
672                 if (pm.hfillExpansion(row, cit->pos))
673                         cit->dim.wid = int(cit->pos >= body_pos ?
674                                            max(hfill, 5.0) : row.label_hfill);
675                 else
676                         cit->dim.wid = 5;
677                 // Cache the inset dimension.
678                 bv_->coordCache().insets().add(cit->inset, cit->dim);
679                 pm.setInsetDimension(cit->inset, cit->dim);
680         }
681 }
682
683
684 int TextMetrics::labelFill(pit_type const pit, Row const & row) const
685 {
686         Paragraph const & par = text_->getPar(pit);
687         LBUFERR(par.beginOfBody() > 0 || par.isEnvSeparator(0));
688
689         double w = 0;
690         Row::const_iterator cit = row.begin();
691         Row::const_iterator const end = row.end();
692         // iterate over elements before main body (except the last one,
693         // which is extra space).
694         while (cit!= end && cit->endpos < par.beginOfBody()) {
695                 w += cit->width();
696                 ++cit;
697         }
698
699         docstring const & label = par.params().labelWidthString();
700         if (label.empty())
701                 return 0;
702
703         FontMetrics const & fm
704                 = theFontMetrics(text_->labelFont(par));
705
706         return max(0, fm.width(label) - int(w));
707 }
708
709
710 #if 0
711 // Not used, see TextMetrics::breakRow
712 // this needs special handling - only newlines count as a break point
713 static pos_type addressBreakPoint(pos_type i, Paragraph const & par)
714 {
715         pos_type const end = par.size();
716
717         for (; i < end; ++i)
718                 if (par.isNewline(i))
719                         return i + 1;
720
721         return end;
722 }
723 #endif
724
725
726 int TextMetrics::labelEnd(pit_type const pit) const
727 {
728         // labelEnd is only needed if the layout fills a flushleft label.
729         if (text_->getPar(pit).layout().margintype != MARGIN_MANUAL)
730                 return 0;
731         // return the beginning of the body
732         return leftMargin(max_width_, pit);
733 }
734
735 namespace {
736
737 /**
738  * Calling Text::getFont is slow. While rebreaking we scan a
739  * paragraph from left to right calling getFont for every char.  This
740  * simple class address this problem by hidding an optimization trick
741  * (not mine btw -AB): the font is reused in the whole font span.  The
742  * class handles transparently the "hidden" (not part of the fontlist)
743  * label font (as getFont does).
744  **/
745 class FontIterator
746 {
747 public:
748         ///
749         FontIterator(TextMetrics const & tm,
750                 Paragraph const & par, pit_type pit, pos_type pos)
751                 : tm_(tm), par_(par), pit_(pit), pos_(pos),
752                 font_(tm.displayFont(pit, pos)),
753                 endspan_(par.fontSpan(pos).last),
754                 bodypos_(par.beginOfBody())
755         {}
756
757         ///
758         Font const & operator*() const { return font_; }
759
760         ///
761         FontIterator & operator++()
762         {
763                 ++pos_;
764                 if (pos_ < par_.size() && (pos_ > endspan_ || pos_ == bodypos_)) {
765                         font_ = tm_.displayFont(pit_, pos_);
766                         endspan_ = par_.fontSpan(pos_).last;
767                 }
768                 return *this;
769         }
770
771         ///
772         Font * operator->() { return &font_; }
773
774 private:
775         ///
776         TextMetrics const & tm_;
777         ///
778         Paragraph const & par_;
779         ///
780         pit_type pit_;
781         ///
782         pos_type pos_;
783         ///
784         Font font_;
785         ///
786         pos_type endspan_;
787         ///
788         pos_type bodypos_;
789 };
790
791 } // anon namespace
792
793 /** This is the function where the hard work is done. The code here is
794  * very sensitive to small changes :) Note that part of the
795  * intelligence is also in Row::shorten_if_needed
796  */
797 void TextMetrics::breakRow(Row & row, int const right_margin, pit_type const pit) const
798 {
799         Paragraph const & par = text_->getPar(pit);
800         pos_type const end = par.size();
801         pos_type const pos = row.pos();
802         int const width = max_width_ - right_margin;
803         pos_type const body_pos = par.beginOfBody();
804         row.clear();
805         // This make get changed in computeRowMetrics depending on RTL
806         row.x = leftMargin(max_width_, pit, pos);
807         row.dimension().wid = row.x;
808         row.right_margin = right_margin;
809
810         if (pos >= end || row.width() > width) {
811                 row.dimension().wid += right_margin;
812                 row.endpos(end);
813                 return;
814         }
815
816         ParagraphMetrics const & pm = par_metrics_[pit];
817         ParagraphList const & pars = text_->paragraphs();
818
819 #if 0
820         //FIXME: As long as leftMargin() is not correctly implemented for
821         // MARGIN_RIGHT_ADDRESS_BOX, we should also not do this here.
822         // Otherwise, long rows will be painted off the screen.
823         if (par.layout().margintype == MARGIN_RIGHT_ADDRESS_BOX)
824                 return addressBreakPoint(pos, par);
825 #endif
826
827         // check for possible inline completion
828         DocIterator const & inlineCompletionPos = bv_->inlineCompletionPos();
829         pos_type inlineCompletionLPos = -1;
830         if (inlineCompletionPos.inTexted()
831             && inlineCompletionPos.text() == text_
832             && inlineCompletionPos.pit() == pit) {
833                 // draw logically behind the previous character
834                 inlineCompletionLPos = inlineCompletionPos.pos() - 1;
835         }
836
837         // Now we iterate through until we reach the right margin
838         // or the end of the par, then build a representation of the row.
839         pos_type i = pos;
840         FontIterator fi = FontIterator(*this, par, pit, pos);
841         while (i < end && row.width() < width) {
842                 char_type c = par.getChar(i);
843                 // The most special cases are handled first.
844                 if (par.isInset(i)) {
845                         Inset const * ins = par.getInset(i);
846                         Dimension dim = pm.insetDimension(ins);
847                         row.add(i, ins, dim, *fi, par.lookupChange(i));
848                 } else if (c == ' ' && i + 1 == body_pos) {
849                         // There is a space at i, but it should not be
850                         // added as a separator, because it is just
851                         // before body_pos. Instead, insert some spacing to
852                         // align text
853                         FontMetrics const & fm = theFontMetrics(text_->labelFont(par));
854                         // this is needed to make sure that the row width is correct
855                         row.finalizeLast();
856                         int const add = max(fm.width(par.layout().labelsep),
857                                             labelEnd(pit) - row.width());
858                         row.addSpace(i, add, *fi, par.lookupChange(i));
859                 } else if (par.isLineSeparator(i)) {
860                         // In theory, no inset has this property. If
861                         // this is done, a new addSeparator which
862                         // takes an inset as parameter should be
863                         // added.
864                         LATTEST(!par.isInset(i));
865                         row.addSeparator(i, c, *fi, par.lookupChange(i));
866                 } else if (c == '\t')
867                         row.addSpace(i, theFontMetrics(*fi).width(from_ascii("    ")),
868                                      *fi, par.lookupChange(i));
869                 else
870                         row.add(i, c, *fi, par.lookupChange(i));
871
872                 // add inline completion width
873                 if (inlineCompletionLPos == i &&
874                     !bv_->inlineCompletion().empty()) {
875                         Font f = *fi;
876                         f.fontInfo().setColor(Color_inlinecompletion);
877                         row.addVirtual(i + 1, bv_->inlineCompletion(),
878                                           f, Change());
879                 }
880
881                 // Handle some situations that abruptly terminate the row
882                 // - A newline inset
883                 // - Before a display inset
884                 // - After a display inset
885                 Inset const * inset = 0;
886                 if (par.isNewline(i) || par.isEnvSeparator(i)
887                     || (i + 1 < end && (inset = par.getInset(i + 1))
888                         && inset->display())
889                     || (!row.empty() && row.back().inset
890                         && row.back().inset->display())) {
891                         row.right_boundary(true);
892                         ++i;
893                         break;
894                 }
895
896                 ++i;
897                 ++fi;
898         }
899         row.finalizeLast();
900         row.endpos(i);
901
902         // End of paragraph marker
903         if (lyxrc.paragraph_markers
904             && i == end && size_type(pit + 1) < pars.size()) {
905                 // add a virtual element for the end-of-paragraph
906                 // marker; it is shown on screen, but does not exist
907                 // in the paragraph.
908                 Font f(text_->layoutFont(pit));
909                 f.fontInfo().setColor(Color_paragraphmarker);
910                 BufferParams const & bparams
911                         = text_->inset().buffer().params();
912                 f.setLanguage(par.getParLanguage(bparams));
913                 row.addVirtual(end, docstring(1, char_type(0x00B6)), f, Change());
914         }
915
916         // if the row is too large, try to cut at last separator.
917         row.shortenIfNeeded(body_pos, width);
918
919         // if the row ends with a separator that is not at end of
920         // paragraph, remove it
921         if (!row.empty() && row.back().type == Row::SEPARATOR
922             && row.endpos() < par.size())
923                 row.pop_back();
924
925         // make sure that the RTL elements are in reverse ordering
926         row.reverseRTL(text_->isRTL(par));
927 }
928
929
930 void TextMetrics::setRowHeight(Row & row, pit_type const pit,
931                                     bool topBottomSpace) const
932 {
933         Paragraph const & par = text_->getPar(pit);
934         // get the maximum ascent and the maximum descent
935         double layoutasc = 0;
936         double layoutdesc = 0;
937         double const dh = defaultRowHeight();
938
939         // ok, let us initialize the maxasc and maxdesc value.
940         // Only the fontsize count. The other properties
941         // are taken from the layoutfont. Nicer on the screen :)
942         Layout const & layout = par.layout();
943
944         // as max get the first character of this row then it can
945         // increase but not decrease the height. Just some point to
946         // start with so we don't have to do the assignment below too
947         // often.
948         Buffer const & buffer = bv_->buffer();
949         Font font = displayFont(pit, row.pos());
950         FontSize const tmpsize = font.fontInfo().size();
951         font.fontInfo() = text_->layoutFont(pit);
952         FontSize const size = font.fontInfo().size();
953         font.fontInfo().setSize(tmpsize);
954
955         FontInfo labelfont = text_->labelFont(par);
956
957         FontMetrics const & labelfont_metrics = theFontMetrics(labelfont);
958         FontMetrics const & fontmetrics = theFontMetrics(font);
959
960         // these are minimum values
961         double const spacing_val = layout.spacing.getValue()
962                 * text_->spacing(par);
963         //lyxerr << "spacing_val = " << spacing_val << endl;
964         int maxasc  = int(fontmetrics.maxAscent()  * spacing_val);
965         int maxdesc = int(fontmetrics.maxDescent() * spacing_val);
966
967         // insets may be taller
968         ParagraphMetrics const & pm = par_metrics_[pit];
969         Row::const_iterator cit = row.begin();
970         Row::const_iterator cend = row.end();
971         for ( ; cit != cend; ++cit) {
972                 if (cit->inset) {
973                         Dimension const & dim = pm.insetDimension(cit->inset);
974                         maxasc  = max(maxasc,  dim.ascent());
975                         maxdesc = max(maxdesc, dim.descent());
976                 }
977         }
978
979         // Check if any custom fonts are larger (Asger)
980         // This is not completely correct, but we can live with the small,
981         // cosmetic error for now.
982         int labeladdon = 0;
983
984         FontSize maxsize =
985                 par.highestFontInRange(row.pos(), row.endpos(), size);
986         if (maxsize > font.fontInfo().size()) {
987                 // use standard paragraph font with the maximal size
988                 FontInfo maxfont = font.fontInfo();
989                 maxfont.setSize(maxsize);
990                 FontMetrics const & maxfontmetrics = theFontMetrics(maxfont);
991                 maxasc  = max(maxasc,  maxfontmetrics.maxAscent());
992                 maxdesc = max(maxdesc, maxfontmetrics.maxDescent());
993         }
994
995         // This is nicer with box insets:
996         ++maxasc;
997         ++maxdesc;
998
999         ParagraphList const & pars = text_->paragraphs();
1000         Inset const & inset = text_->inset();
1001
1002         // is it a top line?
1003         if (row.pos() == 0 && topBottomSpace) {
1004                 BufferParams const & bufparams = buffer.params();
1005                 // some parskips VERY EASY IMPLEMENTATION
1006                 if (bufparams.paragraph_separation == BufferParams::ParagraphSkipSeparation
1007                     && !inset.getLayout().parbreakIsNewline()
1008                     && !par.layout().parbreak_is_newline
1009                     && pit > 0
1010                     && ((layout.isParagraph() && par.getDepth() == 0)
1011                         || (pars[pit - 1].layout().isParagraph()
1012                             && pars[pit - 1].getDepth() == 0))) {
1013                         maxasc += bufparams.getDefSkip().inPixels(*bv_);
1014                 }
1015
1016                 if (par.params().startOfAppendix())
1017                         maxasc += int(3 * dh);
1018
1019                 // special code for the top label
1020                 if (layout.labelIsAbove()
1021                     && (!layout.isParagraphGroup() || text_->isFirstInSequence(pit))
1022                     && !par.labelString().empty()) {
1023                         labeladdon = int(
1024                                   labelfont_metrics.maxHeight()
1025                                         * layout.spacing.getValue()
1026                                         * text_->spacing(par)
1027                                 + (layout.topsep + layout.labelbottomsep) * dh);
1028                 }
1029
1030                 // Add the layout spaces, for example before and after
1031                 // a section, or between the items of a itemize or enumerate
1032                 // environment.
1033
1034                 pit_type prev = text_->depthHook(pit, par.getDepth());
1035                 Paragraph const & prevpar = pars[prev];
1036                 if (prev != pit
1037                     && prevpar.layout() == layout
1038                     && prevpar.getDepth() == par.getDepth()
1039                     && prevpar.getLabelWidthString()
1040                                         == par.getLabelWidthString()) {
1041                         layoutasc = layout.itemsep * dh;
1042                 } else if (pit != 0 || row.pos() != 0) {
1043                         if (layout.topsep > 0)
1044                                 layoutasc = layout.topsep * dh;
1045                 }
1046
1047                 prev = text_->outerHook(pit);
1048                 if (prev != pit_type(pars.size())) {
1049                         maxasc += int(pars[prev].layout().parsep * dh);
1050                 } else if (pit != 0) {
1051                         Paragraph const & prevpar = pars[pit - 1];
1052                         if (prevpar.getDepth() != 0 ||
1053                                         prevpar.layout() == layout) {
1054                                 maxasc += int(layout.parsep * dh);
1055                         }
1056                 }
1057         }
1058
1059         // is it a bottom line?
1060         if (row.endpos() >= par.size() && topBottomSpace) {
1061                 // add the layout spaces, for example before and after
1062                 // a section, or between the items of a itemize or enumerate
1063                 // environment
1064                 pit_type nextpit = pit + 1;
1065                 if (nextpit != pit_type(pars.size())) {
1066                         pit_type cpit = pit;
1067
1068                         if (pars[cpit].getDepth() > pars[nextpit].getDepth()) {
1069                                 double usual = pars[cpit].layout().bottomsep * dh;
1070                                 double unusual = 0;
1071                                 cpit = text_->depthHook(cpit, pars[nextpit].getDepth());
1072                                 if (pars[cpit].layout() != pars[nextpit].layout()
1073                                     || pars[nextpit].getLabelWidthString() != pars[cpit].getLabelWidthString())
1074                                         unusual = pars[cpit].layout().bottomsep * dh;
1075                                 layoutdesc = max(unusual, usual);
1076                         } else if (pars[cpit].getDepth() == pars[nextpit].getDepth()) {
1077                                 if (pars[cpit].layout() != pars[nextpit].layout()
1078                                         || pars[nextpit].getLabelWidthString() != pars[cpit].getLabelWidthString())
1079                                         layoutdesc = int(pars[cpit].layout().bottomsep * dh);
1080                         }
1081                 }
1082         }
1083
1084         // incalculate the layout spaces
1085         maxasc  += int(layoutasc  * 2 / (2 + pars[pit].getDepth()));
1086         maxdesc += int(layoutdesc * 2 / (2 + pars[pit].getDepth()));
1087
1088         // FIXME: the correct way is to do the following is to move the
1089         // following code in another method specially tailored for the
1090         // main Text. The following test is thus bogus.
1091         // Top and bottom margin of the document (only at top-level)
1092         if (main_text_ && topBottomSpace) {
1093                 if (pit == 0 && row.pos() == 0)
1094                         maxasc += 20;
1095                 if (pit + 1 == pit_type(pars.size()) &&
1096                     row.endpos() == par.size() &&
1097                                 !(row.endpos() > 0 && par.isNewline(row.endpos() - 1)))
1098                         maxdesc += 20;
1099         }
1100
1101         row.dimension().asc = maxasc + labeladdon;
1102         row.dimension().des = maxdesc;
1103 }
1104
1105
1106 // x is an absolute screen coord
1107 // returns the column near the specified x-coordinate of the row
1108 // x is set to the real beginning of this column
1109 pos_type TextMetrics::getPosNearX(Row const & row, int & x,
1110                                   bool & boundary) const
1111 {
1112         /// For the main Text, it is possible that this pit is not
1113         /// yet in the CoordCache when moving cursor up.
1114         /// x Paragraph coordinate is always 0 for main text anyway.
1115         int const xo = origin_.x_;
1116         x -= xo;
1117
1118         pos_type pos = row.pos();
1119         boundary = false;
1120         if (row.empty())
1121                 x = int(row.x);
1122         else if (x <= row.x) {
1123                 pos = row.front().left_pos();
1124                 x = int(row.x);
1125         } else if (x >= row.width() - row.right_margin) {
1126                 pos = row.back().right_pos();
1127                 x = row.width() - row.right_margin;
1128         } else {
1129                 double w = row.x;
1130                 Row::const_iterator cit = row.begin();
1131                 Row::const_iterator cend = row.end();
1132                 for ( ; cit != cend; ++cit) {
1133                         if (w <= x &&  w + cit->width() > x) {
1134                                 double x_offset = x - w;
1135                                 pos = cit->x2pos(x_offset);
1136                                 x = int(x_offset + w);
1137                                 break;
1138                         }
1139                         w += cit->width();
1140                 }
1141                 if (cit == row.end()) {
1142                         pos = row.back().right_pos();
1143                         x = row.width() - row.right_margin;
1144                 }
1145                 /** This tests for the case where the cursor is placed
1146                  * just before a font direction change. See comment on
1147                  * the boundary_ member in DocIterator.h to understand
1148                  * how boundary helps here.
1149                  */
1150                 else if (pos == cit->endpos
1151                          && cit + 1 != row.end()
1152                          && cit->font.isVisibleRightToLeft() != (cit + 1)->font.isVisibleRightToLeft())
1153                         boundary = true;
1154         }
1155
1156         /** This tests for the case where the cursor is set at the end
1157          * of a row which has been broken due something else than a
1158          * separator (a display inset or a forced breaking of the
1159          * row). We know that there is a separator when the end of the
1160          * row is larger than the end of its last element.
1161          */
1162         if (!row.empty() && pos == row.back().endpos
1163             && row.back().endpos == row.endpos())
1164                 boundary = true;
1165
1166         x += xo;
1167         return pos;
1168 }
1169
1170
1171 pos_type TextMetrics::x2pos(pit_type pit, int row, int x) const
1172 {
1173         // We play safe and use parMetrics(pit) to make sure the
1174         // ParagraphMetrics will be redone and OK to use if needed.
1175         // Otherwise we would use an empty ParagraphMetrics in
1176         // upDownInText() while in selection mode.
1177         ParagraphMetrics const & pm = parMetrics(pit);
1178
1179         LBUFERR(row < int(pm.rows().size()));
1180         bool bound = false;
1181         Row const & r = pm.rows()[row];
1182         return getPosNearX(r, x, bound);
1183 }
1184
1185
1186 void TextMetrics::newParMetricsDown()
1187 {
1188         pair<pit_type, ParagraphMetrics> const & last = *par_metrics_.rbegin();
1189         pit_type const pit = last.first + 1;
1190         if (pit == int(text_->paragraphs().size()))
1191                 return;
1192
1193         // do it and update its position.
1194         redoParagraph(pit);
1195         par_metrics_[pit].setPosition(last.second.position()
1196                 + last.second.descent() + par_metrics_[pit].ascent());
1197 }
1198
1199
1200 void TextMetrics::newParMetricsUp()
1201 {
1202         pair<pit_type, ParagraphMetrics> const & first = *par_metrics_.begin();
1203         if (first.first == 0)
1204                 return;
1205
1206         pit_type const pit = first.first - 1;
1207         // do it and update its position.
1208         redoParagraph(pit);
1209         par_metrics_[pit].setPosition(first.second.position()
1210                 - first.second.ascent() - par_metrics_[pit].descent());
1211 }
1212
1213 // y is screen coordinate
1214 pit_type TextMetrics::getPitNearY(int y)
1215 {
1216         LASSERT(!text_->paragraphs().empty(), return -1);
1217         LASSERT(!par_metrics_.empty(), return -1);
1218         LYXERR(Debug::DEBUG, "y: " << y << " cache size: " << par_metrics_.size());
1219
1220         // look for highest numbered paragraph with y coordinate less than given y
1221         pit_type pit = -1;
1222         int yy = -1;
1223         ParMetricsCache::const_iterator it = par_metrics_.begin();
1224         ParMetricsCache::const_iterator et = par_metrics_.end();
1225         ParMetricsCache::const_iterator last = et;
1226         --last;
1227
1228         ParagraphMetrics const & pm = it->second;
1229
1230         if (y < it->second.position() - int(pm.ascent())) {
1231                 // We are looking for a position that is before the first paragraph in
1232                 // the cache (which is in priciple off-screen, that is before the
1233                 // visible part.
1234                 if (it->first == 0)
1235                         // We are already at the first paragraph in the inset.
1236                         return 0;
1237                 // OK, this is the paragraph we are looking for.
1238                 pit = it->first - 1;
1239                 newParMetricsUp();
1240                 return pit;
1241         }
1242
1243         ParagraphMetrics const & pm_last = par_metrics_[last->first];
1244
1245         if (y >= last->second.position() + int(pm_last.descent())) {
1246                 // We are looking for a position that is after the last paragraph in
1247                 // the cache (which is in priciple off-screen), that is before the
1248                 // visible part.
1249                 pit = last->first + 1;
1250                 if (pit == int(text_->paragraphs().size()))
1251                         //  We are already at the last paragraph in the inset.
1252                         return last->first;
1253                 // OK, this is the paragraph we are looking for.
1254                 newParMetricsDown();
1255                 return pit;
1256         }
1257
1258         for (; it != et; ++it) {
1259                 LYXERR(Debug::DEBUG, "examining: pit: " << it->first
1260                         << " y: " << it->second.position());
1261
1262                 ParagraphMetrics const & pm = par_metrics_[it->first];
1263
1264                 if (it->first >= pit && int(it->second.position()) - int(pm.ascent()) <= y) {
1265                         pit = it->first;
1266                         yy = it->second.position();
1267                 }
1268         }
1269
1270         LYXERR(Debug::DEBUG, "found best y: " << yy << " for pit: " << pit);
1271
1272         return pit;
1273 }
1274
1275
1276 Row const & TextMetrics::getPitAndRowNearY(int & y, pit_type & pit,
1277         bool assert_in_view, bool up)
1278 {
1279         ParagraphMetrics const & pm = par_metrics_[pit];
1280
1281         int yy = pm.position() - pm.ascent();
1282         LBUFERR(!pm.rows().empty());
1283         RowList::const_iterator rit = pm.rows().begin();
1284         RowList::const_iterator rlast = pm.rows().end();
1285         --rlast;
1286         for (; rit != rlast; yy += rit->height(), ++rit)
1287                 if (yy + rit->height() > y)
1288                         break;
1289
1290         if (assert_in_view) {
1291                 if (!up && yy + rit->height() > y) {
1292                         if (rit != pm.rows().begin()) {
1293                                 y = yy;
1294                                 --rit;
1295                         } else if (pit != 0) {
1296                                 --pit;
1297                                 newParMetricsUp();
1298                                 ParagraphMetrics const & pm2 = par_metrics_[pit];
1299                                 rit = pm2.rows().end();
1300                                 --rit;
1301                                 y = yy;
1302                         }
1303                 } else if (up && yy != y) {
1304                         if (rit != rlast) {
1305                                 y = yy + rit->height();
1306                                 ++rit;
1307                         } else if (pit < int(text_->paragraphs().size()) - 1) {
1308                                 ++pit;
1309                                 newParMetricsDown();
1310                                 ParagraphMetrics const & pm2 = par_metrics_[pit];
1311                                 rit = pm2.rows().begin();
1312                                 y = pm2.position();
1313                         }
1314                 }
1315         }
1316         return *rit;
1317 }
1318
1319
1320 // x,y are absolute screen coordinates
1321 // sets cursor recursively descending into nested editable insets
1322 Inset * TextMetrics::editXY(Cursor & cur, int x, int y,
1323         bool assert_in_view, bool up)
1324 {
1325         if (lyxerr.debugging(Debug::WORKAREA)) {
1326                 LYXERR0("TextMetrics::editXY(cur, " << x << ", " << y << ")");
1327                 cur.bv().coordCache().dump();
1328         }
1329         pit_type pit = getPitNearY(y);
1330         LASSERT(pit != -1, return 0);
1331
1332         int yy = y; // is modified by getPitAndRowNearY
1333         Row const & row = getPitAndRowNearY(yy, pit, assert_in_view, up);
1334
1335         cur.pit() = pit;
1336
1337         // Do we cover an inset?
1338         InsetList::InsetTable * it = checkInsetHit(pit, x, yy);
1339
1340         if (!it) {
1341                 // No inset, set position in the text
1342                 bool bound = false; // is modified by getPosNearX
1343                 int xx = x; // is modified by getPosNearX
1344                 cur.pos() = getPosNearX(row, xx, bound);
1345                 cur.boundary(bound);
1346                 cur.setCurrentFont();
1347                 cur.setTargetX(xx);
1348                 return 0;
1349         }
1350
1351         Inset * inset = it->inset;
1352         //lyxerr << "inset " << inset << " hit at x: " << x << " y: " << y << endl;
1353
1354         // Set position in front of inset
1355         cur.pos() = it->pos;
1356         cur.boundary(false);
1357         cur.setTargetX(x);
1358
1359         // Try to descend recursively inside the inset.
1360         inset = inset->editXY(cur, x, yy);
1361
1362         if (cur.top().text() == text_)
1363                 cur.setCurrentFont();
1364         return inset;
1365 }
1366
1367
1368 void TextMetrics::setCursorFromCoordinates(Cursor & cur, int const x, int const y)
1369 {
1370         LASSERT(text_ == cur.text(), return);
1371         pit_type const pit = getPitNearY(y);
1372         LASSERT(pit != -1, return);
1373
1374         ParagraphMetrics const & pm = par_metrics_[pit];
1375
1376         int yy = pm.position() - pm.ascent();
1377         LYXERR(Debug::DEBUG, "x: " << x << " y: " << y <<
1378                 " pit: " << pit << " yy: " << yy);
1379
1380         int r = 0;
1381         LBUFERR(pm.rows().size());
1382         for (; r < int(pm.rows().size()) - 1; ++r) {
1383                 Row const & row = pm.rows()[r];
1384                 if (int(yy + row.height()) > y)
1385                         break;
1386                 yy += row.height();
1387         }
1388
1389         Row const & row = pm.rows()[r];
1390
1391         LYXERR(Debug::DEBUG, "row " << r << " from pos: " << row.pos());
1392
1393         bool bound = false;
1394         int xx = x;
1395         pos_type const pos = getPosNearX(row, xx, bound);
1396
1397         LYXERR(Debug::DEBUG, "setting cursor pit: " << pit << " pos: " << pos);
1398
1399         text_->setCursor(cur, pit, pos, true, bound);
1400         // remember new position.
1401         cur.setTargetX();
1402 }
1403
1404
1405 //takes screen x,y coordinates
1406 InsetList::InsetTable * TextMetrics::checkInsetHit(pit_type pit, int x, int y)
1407 {
1408         Paragraph const & par = text_->paragraphs()[pit];
1409         ParagraphMetrics const & pm = par_metrics_[pit];
1410
1411         LYXERR(Debug::DEBUG, "x: " << x << " y: " << y << "  pit: " << pit);
1412
1413         InsetList::const_iterator iit = par.insetList().begin();
1414         InsetList::const_iterator iend = par.insetList().end();
1415         for (; iit != iend; ++iit) {
1416                 Inset * inset = iit->inset;
1417
1418                 LYXERR(Debug::DEBUG, "examining inset " << inset);
1419
1420                 if (!bv_->coordCache().getInsets().has(inset)) {
1421                         LYXERR(Debug::DEBUG, "inset has no cached position");
1422                         return 0;
1423                 }
1424
1425                 Dimension const & dim = pm.insetDimension(inset);
1426                 Point p = bv_->coordCache().getInsets().xy(inset);
1427
1428                 LYXERR(Debug::DEBUG, "xo: " << p.x_ << "..." << p.x_ + dim.wid
1429                         << " yo: " << p.y_ - dim.asc << "..." << p.y_ + dim.des);
1430
1431                 if (x >= p.x_ && x <= p.x_ + dim.wid
1432                     && y >= p.y_ - dim.asc && y <= p.y_ + dim.des) {
1433                         LYXERR(Debug::DEBUG, "Hit inset: " << inset);
1434                         return const_cast<InsetList::InsetTable *>(&(*iit));
1435                 }
1436         }
1437
1438         LYXERR(Debug::DEBUG, "No inset hit. ");
1439         return 0;
1440 }
1441
1442
1443 //takes screen x,y coordinates
1444 Inset * TextMetrics::checkInsetHit(int x, int y)
1445 {
1446         pit_type const pit = getPitNearY(y);
1447         LASSERT(pit != -1, return 0);
1448         InsetList::InsetTable * it = checkInsetHit(pit, x, y);
1449
1450         if (!it)
1451                 return 0;
1452
1453         return it->inset;
1454 }
1455
1456
1457 int TextMetrics::cursorX(CursorSlice const & sl,
1458                 bool boundary) const
1459 {
1460         LASSERT(sl.text() == text_, return 0);
1461
1462         ParagraphMetrics const & pm = par_metrics_[sl.pit()];
1463         if (pm.rows().empty())
1464                 return 0;
1465         Row const & row = pm.getRow(sl.pos(), boundary);
1466         pos_type const pos = sl.pos();
1467
1468         /**
1469          * When boundary is true, position i is in the row element (pos, endpos)
1470          * if
1471          *    pos < i <= endpos
1472          * whereas, when boundary is false, the test is
1473          *    pos <= i < endpos
1474          * The correction below allows to handle both cases.
1475         */
1476         int const boundary_corr = (boundary && pos) ? -1 : 0;
1477
1478         /** Early return in trivial cases
1479          * 1) the row is empty
1480          * 2) the position is the left-most position of the row; there
1481          * is a quirck herehowever: if the first element is virtual
1482          * (end-of-par marker for example), then we have to look
1483          * closer
1484          */
1485         if (row.empty()
1486             || (pos == row.begin()->left_pos()
1487                 && pos != row.begin()->right_pos()))
1488                 return int(row.x);
1489
1490         Row::const_iterator cit = row.begin();
1491         double x = row.x;
1492         for ( ; cit != row.end() ; ++cit) {
1493                 /** Look whether the cursor is inside the element's
1494                  * span. Note that it is necessary to take the
1495                  * boundary in account, and to accept virtual
1496                  * elements, which have pos == endpos.
1497                  */
1498                 if (pos + boundary_corr >= cit->pos
1499                     && (pos + boundary_corr < cit->endpos
1500                         || cit->pos == cit->endpos)) {
1501                                 x += cit->pos2x(pos);
1502                                 break;
1503                 }
1504                 x += cit->width();
1505         }
1506
1507         return int(x);
1508 }
1509
1510
1511 int TextMetrics::cursorY(CursorSlice const & sl, bool boundary) const
1512 {
1513         //lyxerr << "TextMetrics::cursorY: boundary: " << boundary << endl;
1514         ParagraphMetrics const & pm = par_metrics_[sl.pit()];
1515         if (pm.rows().empty())
1516                 return 0;
1517
1518         int h = 0;
1519         h -= par_metrics_[0].rows()[0].ascent();
1520         for (pit_type pit = 0; pit < sl.pit(); ++pit) {
1521                 h += par_metrics_[pit].height();
1522         }
1523         int pos = sl.pos();
1524         if (pos && boundary)
1525                 --pos;
1526         size_t const rend = pm.pos2row(pos);
1527         for (size_t rit = 0; rit != rend; ++rit)
1528                 h += pm.rows()[rit].height();
1529         h += pm.rows()[rend].ascent();
1530         return h;
1531 }
1532
1533
1534 // the cursor set functions have a special mechanism. When they
1535 // realize you left an empty paragraph, they will delete it.
1536
1537 bool TextMetrics::cursorHome(Cursor & cur)
1538 {
1539         LASSERT(text_ == cur.text(), return false);
1540         ParagraphMetrics const & pm = par_metrics_[cur.pit()];
1541         Row const & row = pm.getRow(cur.pos(),cur.boundary());
1542         return text_->setCursor(cur, cur.pit(), row.pos());
1543 }
1544
1545
1546 bool TextMetrics::cursorEnd(Cursor & cur)
1547 {
1548         LASSERT(text_ == cur.text(), return false);
1549         // if not on the last row of the par, put the cursor before
1550         // the final space exept if I have a spanning inset or one string
1551         // is so long that we force a break.
1552         pos_type end = cur.textRow().endpos();
1553         if (end == 0)
1554                 // empty text, end-1 is no valid position
1555                 return false;
1556         bool boundary = false;
1557         if (end != cur.lastpos()) {
1558                 if (!cur.paragraph().isLineSeparator(end-1)
1559                     && !cur.paragraph().isNewline(end-1)
1560                     && !cur.paragraph().isEnvSeparator(end-1))
1561                         boundary = true;
1562                 else
1563                         --end;
1564         }
1565         return text_->setCursor(cur, cur.pit(), end, true, boundary);
1566 }
1567
1568
1569 void TextMetrics::deleteLineForward(Cursor & cur)
1570 {
1571         LASSERT(text_ == cur.text(), return);
1572         if (cur.lastpos() == 0) {
1573                 // Paragraph is empty, so we just go forward
1574                 text_->cursorForward(cur);
1575         } else {
1576                 cur.resetAnchor();
1577                 cur.setSelection(true); // to avoid deletion
1578                 cursorEnd(cur);
1579                 cur.setSelection();
1580                 // What is this test for ??? (JMarc)
1581                 if (!cur.selection())
1582                         text_->deleteWordForward(cur);
1583                 else
1584                         cap::cutSelection(cur, true, false);
1585                 cur.checkBufferStructure();
1586         }
1587 }
1588
1589
1590 bool TextMetrics::isLastRow(pit_type pit, Row const & row) const
1591 {
1592         ParagraphList const & pars = text_->paragraphs();
1593         return row.endpos() >= pars[pit].size()
1594                 && pit + 1 == pit_type(pars.size());
1595 }
1596
1597
1598 bool TextMetrics::isFirstRow(pit_type pit, Row const & row) const
1599 {
1600         return row.pos() == 0 && pit == 0;
1601 }
1602
1603
1604 int TextMetrics::leftMargin(int max_width, pit_type pit) const
1605 {
1606         return leftMargin(max_width, pit, text_->paragraphs()[pit].size());
1607 }
1608
1609
1610 int TextMetrics::leftMargin(int max_width,
1611                 pit_type const pit, pos_type const pos) const
1612 {
1613         ParagraphList const & pars = text_->paragraphs();
1614
1615         LASSERT(pit >= 0, return 0);
1616         LASSERT(pit < int(pars.size()), return 0);
1617         Paragraph const & par = pars[pit];
1618         LASSERT(pos >= 0, return 0);
1619         LASSERT(pos <= par.size(), return 0);
1620         Buffer const & buffer = bv_->buffer();
1621         //lyxerr << "TextMetrics::leftMargin: pit: " << pit << " pos: " << pos << endl;
1622         DocumentClass const & tclass = buffer.params().documentClass();
1623         Layout const & layout = par.layout();
1624
1625         docstring parindent = layout.parindent;
1626
1627         int l_margin = 0;
1628
1629         if (text_->isMainText())
1630                 l_margin += bv_->leftMargin();
1631
1632         l_margin += theFontMetrics(buffer.params().getFont()).signedWidth(
1633                 tclass.leftmargin());
1634
1635         if (par.getDepth() != 0) {
1636                 // find the next level paragraph
1637                 pit_type newpar = text_->outerHook(pit);
1638                 if (newpar != pit_type(pars.size())) {
1639                         if (pars[newpar].layout().isEnvironment()) {
1640                                 l_margin = leftMargin(max_width, newpar);
1641                                 // Remove the parindent that has been added
1642                                 // if the paragraph was empty.
1643                                 if (pars[newpar].empty() &&
1644                                     buffer.params().paragraph_separation ==
1645                                     BufferParams::ParagraphIndentSeparation) {
1646                                         docstring pi = pars[newpar].layout().parindent;
1647                                         l_margin -= theFontMetrics(
1648                                                 buffer.params().getFont()).signedWidth(pi);
1649                                 }
1650                         }
1651                         if (tclass.isDefaultLayout(par.layout())
1652                             || tclass.isPlainLayout(par.layout())) {
1653                                 if (pars[newpar].params().noindent())
1654                                         parindent.erase();
1655                                 else
1656                                         parindent = pars[newpar].layout().parindent;
1657                         }
1658                 }
1659         }
1660
1661         // This happens after sections or environments in standard classes.
1662         // We have to check the previous layout at same depth.
1663         if (buffer.params().paragraph_separation ==
1664                         BufferParams::ParagraphSkipSeparation)
1665                 parindent.erase();
1666         else if (pit > 0 && pars[pit - 1].getDepth() >= par.getDepth()) {
1667                 pit_type prev = text_->depthHook(pit, par.getDepth());
1668                 if (par.layout() == pars[prev].layout()) {
1669                         if (prev != pit - 1
1670                             && pars[pit - 1].layout().nextnoindent)
1671                                 parindent.erase();
1672                 } else if (pars[prev].layout().nextnoindent)
1673                         parindent.erase();
1674         }
1675
1676         FontInfo const labelfont = text_->labelFont(par);
1677         FontMetrics const & labelfont_metrics = theFontMetrics(labelfont);
1678
1679         switch (layout.margintype) {
1680         case MARGIN_DYNAMIC:
1681                 if (!layout.leftmargin.empty()) {
1682                         l_margin += theFontMetrics(buffer.params().getFont()).signedWidth(
1683                                 layout.leftmargin);
1684                 }
1685                 if (!par.labelString().empty()) {
1686                         l_margin += labelfont_metrics.signedWidth(layout.labelindent);
1687                         l_margin += labelfont_metrics.width(par.labelString());
1688                         l_margin += labelfont_metrics.width(layout.labelsep);
1689                 }
1690                 break;
1691
1692         case MARGIN_MANUAL: {
1693                 l_margin += labelfont_metrics.signedWidth(layout.labelindent);
1694                 // The width of an empty par, even with manual label, should be 0
1695                 if (!par.empty() && pos >= par.beginOfBody()) {
1696                         if (!par.getLabelWidthString().empty()) {
1697                                 docstring labstr = par.getLabelWidthString();
1698                                 l_margin += labelfont_metrics.width(labstr);
1699                                 l_margin += labelfont_metrics.width(layout.labelsep);
1700                         }
1701                 }
1702                 break;
1703         }
1704
1705         case MARGIN_STATIC: {
1706                 l_margin += theFontMetrics(buffer.params().getFont()).
1707                         signedWidth(layout.leftmargin) * 4      / (par.getDepth() + 4);
1708                 break;
1709         }
1710
1711         case MARGIN_FIRST_DYNAMIC:
1712                 if (layout.labeltype == LABEL_MANUAL) {
1713                         // if we are at position 0, we are never in the body
1714                         if (pos > 0 && pos >= par.beginOfBody())
1715                                 l_margin += labelfont_metrics.signedWidth(layout.leftmargin);
1716                         else
1717                                 l_margin += labelfont_metrics.signedWidth(layout.labelindent);
1718                 } else if (pos != 0
1719                            // Special case to fix problems with
1720                            // theorems (JMarc)
1721                            || (layout.labeltype == LABEL_STATIC
1722                                && layout.latextype == LATEX_ENVIRONMENT
1723                                && !text_->isFirstInSequence(pit))) {
1724                         l_margin += labelfont_metrics.signedWidth(layout.leftmargin);
1725                 } else if (!layout.labelIsAbove()) {
1726                         l_margin += labelfont_metrics.signedWidth(layout.labelindent);
1727                         l_margin += labelfont_metrics.width(layout.labelsep);
1728                         l_margin += labelfont_metrics.width(par.labelString());
1729                 }
1730                 break;
1731
1732         case MARGIN_RIGHT_ADDRESS_BOX: {
1733 #if 0
1734                 // The left margin depends on the widest row in this paragraph.
1735                 // This code is wrong because it depends on the rows, but at the
1736                 // same time this function is used in redoParagraph to construct
1737                 // the rows.
1738                 ParagraphMetrics const & pm = par_metrics_[pit];
1739                 RowList::const_iterator rit = pm.rows().begin();
1740                 RowList::const_iterator end = pm.rows().end();
1741                 int minfill = max_width;
1742                 for ( ; rit != end; ++rit)
1743                         if (rit->fill() < minfill)
1744                                 minfill = rit->fill();
1745                 l_margin += theFontMetrics(buffer.params().getFont()).signedWidth(layout.leftmargin);
1746                 l_margin += minfill;
1747 #endif
1748                 // also wrong, but much shorter.
1749                 l_margin += max_width / 2;
1750                 break;
1751         }
1752         }
1753
1754         if (!par.params().leftIndent().zero())
1755                 l_margin += par.params().leftIndent().inPixels(max_width);
1756
1757         LyXAlignment align;
1758
1759         if (par.params().align() == LYX_ALIGN_LAYOUT)
1760                 align = layout.align;
1761         else
1762                 align = par.params().align();
1763
1764         // set the correct parindent
1765         if (pos == 0
1766             && (layout.labeltype == LABEL_NO_LABEL
1767                 || layout.labeltype == LABEL_ABOVE
1768                 || layout.labeltype == LABEL_CENTERED
1769                 || (layout.labeltype == LABEL_STATIC
1770                     && layout.latextype == LATEX_ENVIRONMENT
1771                     && !text_->isFirstInSequence(pit)))
1772             && (align == LYX_ALIGN_BLOCK || align == LYX_ALIGN_LEFT)
1773             && !par.params().noindent()
1774             // in some insets, paragraphs are never indented
1775             && !text_->inset().neverIndent()
1776             // display style insets are always centered, omit indentation
1777             && !(!par.empty()
1778                  && par.isInset(pos)
1779                  && par.getInset(pos)->display())
1780             && (!(tclass.isDefaultLayout(par.layout())
1781                   || tclass.isPlainLayout(par.layout()))
1782                 || buffer.params().paragraph_separation
1783                                 == BufferParams::ParagraphIndentSeparation)) {
1784                         // use the parindent of the layout when the
1785                         // default indentation is used otherwise use
1786                         // the indentation set in the document
1787                         // settings
1788                         if (buffer.params().getIndentation().asLyXCommand() == "default")
1789                                 l_margin += theFontMetrics(
1790                                         buffer.params().getFont()).signedWidth(parindent);
1791                         else
1792                                 l_margin += buffer.params().getIndentation().inPixels(*bv_);
1793                 }
1794
1795         return l_margin;
1796 }
1797
1798
1799 void TextMetrics::draw(PainterInfo & pi, int x, int y) const
1800 {
1801         if (par_metrics_.empty())
1802                 return;
1803
1804         origin_.x_ = x;
1805         origin_.y_ = y;
1806
1807         ParMetricsCache::iterator it = par_metrics_.begin();
1808         ParMetricsCache::iterator const pm_end = par_metrics_.end();
1809         y -= it->second.ascent();
1810         for (; it != pm_end; ++it) {
1811                 ParagraphMetrics const & pmi = it->second;
1812                 y += pmi.ascent();
1813                 pit_type const pit = it->first;
1814                 // Save the paragraph position in the cache.
1815                 it->second.setPosition(y);
1816                 drawParagraph(pi, pit, x, y);
1817                 y += pmi.descent();
1818         }
1819 }
1820
1821
1822 void TextMetrics::drawParagraph(PainterInfo & pi, pit_type pit, int x, int y) const
1823 {
1824         BufferParams const & bparams = bv_->buffer().params();
1825         ParagraphMetrics const & pm = par_metrics_[pit];
1826         if (pm.rows().empty())
1827                 return;
1828
1829         bool const original_drawing_state = pi.pain.isDrawingEnabled();
1830         int const ww = bv_->workHeight();
1831         size_t const nrows = pm.rows().size();
1832
1833         Cursor const & cur = bv_->cursor();
1834         DocIterator sel_beg = cur.selectionBegin();
1835         DocIterator sel_end = cur.selectionEnd();
1836         bool selection = cur.selection()
1837                 // This is our text.
1838                 && cur.text() == text_
1839                 // if the anchor is outside, this is not our selection
1840                 && cur.normalAnchor().text() == text_
1841                 && pit >= sel_beg.pit() && pit <= sel_end.pit();
1842
1843         // We store the begin and end pos of the selection relative to this par
1844         DocIterator sel_beg_par = cur.selectionBegin();
1845         DocIterator sel_end_par = cur.selectionEnd();
1846
1847         // We care only about visible selection.
1848         if (selection) {
1849                 if (pit != sel_beg.pit()) {
1850                         sel_beg_par.pit() = pit;
1851                         sel_beg_par.pos() = 0;
1852                 }
1853                 if (pit != sel_end.pit()) {
1854                         sel_end_par.pit() = pit;
1855                         sel_end_par.pos() = sel_end_par.lastpos();
1856                 }
1857         }
1858
1859         for (size_t i = 0; i != nrows; ++i) {
1860
1861                 Row const & row = pm.rows()[i];
1862                 if (i)
1863                         y += row.ascent();
1864
1865                 bool const inside = (y + row.descent() >= 0
1866                         && y - row.ascent() < ww);
1867                 // It is not needed to draw on screen if we are not inside.
1868                 pi.pain.setDrawingEnabled(inside && original_drawing_state);
1869                 RowPainter rp(pi, *text_, pit, row, x, y);
1870
1871                 if (selection)
1872                         row.setSelectionAndMargins(sel_beg_par, sel_end_par);
1873                 else
1874                         row.setSelection(-1, -1);
1875
1876                 // The row knows nothing about the paragraph, so we have to check
1877                 // whether this row is the first or last and update the margins.
1878                 if (row.selection()) {
1879                         if (row.sel_beg == 0)
1880                                 row.begin_margin_sel = sel_beg.pit() < pit;
1881                         if (row.sel_end == sel_end_par.lastpos())
1882                                 row.end_margin_sel = sel_end.pit() > pit;
1883                 }
1884
1885                 // Row signature; has row changed since last paint?
1886                 row.setCrc(pm.computeRowSignature(row, bparams));
1887                 bool row_has_changed = row.changed();
1888
1889                 // Take this opportunity to spellcheck the row contents.
1890                 if (row_has_changed && lyxrc.spellcheck_continuously) {
1891                         text_->getPar(pit).spellCheck();
1892                 }
1893
1894                 // Don't paint the row if a full repaint has not been requested
1895                 // and if it has not changed.
1896                 if (!pi.full_repaint && !row_has_changed) {
1897                         // Paint only the insets if the text itself is
1898                         // unchanged.
1899                         rp.paintOnlyInsets();
1900                         y += row.descent();
1901                         continue;
1902                 }
1903
1904                 // Clear background of this row if paragraph background was not
1905                 // already cleared because of a full repaint.
1906                 if (!pi.full_repaint && row_has_changed) {
1907                         pi.pain.fillRectangle(x, y - row.ascent(),
1908                                 width(), row.height(), pi.background_color);
1909                 }
1910
1911                 // Instrumentation for testing row cache (see also
1912                 // 12 lines lower):
1913                 if (lyxerr.debugging(Debug::PAINTING) && inside
1914                         && (row.selection() || pi.full_repaint || row_has_changed)) {
1915                                 string const foreword = text_->isMainText() ?
1916                                         "main text redraw " : "inset text redraw: ";
1917                         LYXERR(Debug::PAINTING, foreword << "pit=" << pit << " row=" << i
1918                                 << " row_selection="    << row.selection()
1919                                 << " full_repaint="     << pi.full_repaint
1920                                 << " row_has_changed="  << row_has_changed);
1921                 }
1922
1923                 // Backup full_repaint status and force full repaint
1924                 // for inner insets as the Row has been cleared out.
1925                 bool tmp = pi.full_repaint;
1926                 pi.full_repaint = true;
1927
1928                 rp.paintSelection();
1929                 rp.paintAppendix();
1930                 rp.paintDepthBar();
1931                 rp.paintChangeBar();
1932                 bool const is_rtl = text_->isRTL(text_->getPar(pit));
1933                 if (i == 0 && !is_rtl)
1934                         rp.paintFirst();
1935                 if (i == nrows - 1 && is_rtl)
1936                         rp.paintLast();
1937                 rp.paintText();
1938                 if (i == nrows - 1 && !is_rtl)
1939                         rp.paintLast();
1940                 if (i == 0 && is_rtl)
1941                         rp.paintFirst();
1942                 y += row.descent();
1943
1944                 // Restore full_repaint status.
1945                 pi.full_repaint = tmp;
1946         }
1947         // Re-enable screen drawing for future use of the painter.
1948         pi.pain.setDrawingEnabled(original_drawing_state);
1949
1950         //LYXERR(Debug::PAINTING, ".");
1951 }
1952
1953
1954 void TextMetrics::completionPosAndDim(Cursor const & cur, int & x, int & y,
1955         Dimension & dim) const
1956 {
1957         Cursor const & bvcur = cur.bv().cursor();
1958
1959         // get word in front of cursor
1960         docstring word = text_->previousWord(bvcur.top());
1961         DocIterator wordStart = bvcur;
1962         wordStart.pos() -= word.length();
1963
1964         // get position on screen of the word start and end
1965         //FIXME: Is it necessary to explicitly set this to false?
1966         wordStart.boundary(false);
1967         Point lxy = cur.bv().getPos(wordStart);
1968         Point rxy = cur.bv().getPos(bvcur);
1969
1970         // calculate dimensions of the word
1971         Row row;
1972         row.pos(wordStart.pos());
1973         row.endpos(bvcur.pos());
1974         setRowHeight(row, bvcur.pit(), false);
1975         dim = row.dimension();
1976         dim.wid = abs(rxy.x_ - lxy.x_);
1977
1978         // calculate position of word
1979         y = lxy.y_;
1980         x = min(rxy.x_, lxy.x_);
1981
1982         //lyxerr << "wid=" << dim.width() << " x=" << x << " y=" << y << " lxy.x_=" << lxy.x_ << " rxy.x_=" << rxy.x_ << " word=" << word << std::endl;
1983         //lyxerr << " wordstart=" << wordStart << " bvcur=" << bvcur << " cur=" << cur << std::endl;
1984 }
1985
1986 int defaultRowHeight()
1987 {
1988         return int(theFontMetrics(sane_font).maxHeight() *  1.2);
1989 }
1990
1991 } // namespace lyx