]> git.lyx.org Git - lyx.git/blob - src/text.C
redo undo
[lyx.git] / src / text.C
1 /**
2  * \file src/text.C
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  *
14  * Full author contact details are available in file CREDITS.
15  */
16
17 #include <config.h>
18
19 #include "lyxtext.h"
20
21 #include "author.h"
22 #include "buffer.h"
23 #include "bufferparams.h"
24 #include "BufferView.h"
25 #include "cursor.h"
26 #include "debug.h"
27 #include "dispatchresult.h"
28 #include "encoding.h"
29 #include "funcrequest.h"
30 #include "FontIterator.h"
31 #include "gettext.h"
32 #include "language.h"
33 #include "LColor.h"
34 #include "lyxlength.h"
35 #include "lyxlex.h"
36 #include "lyxrc.h"
37 #include "lyxrow.h"
38 #include "lyxrow_funcs.h"
39 #include "metricsinfo.h"
40 #include "paragraph.h"
41 #include "paragraph_funcs.h"
42 #include "ParagraphParameters.h"
43 #include "rowpainter.h"
44 #include "undo.h"
45 #include "vspace.h"
46 #include "WordLangTuple.h"
47
48 #include "frontends/font_metrics.h"
49 #include "frontends/LyXView.h"
50
51 #include "insets/insettext.h"
52
53 #include "support/lstrings.h"
54 #include "support/textutils.h"
55 #include "support/tostr.h"
56 #include "support/std_sstream.h"
57
58 using lyx::pos_type;
59 using lyx::word_location;
60
61 using lyx::support::bformat;
62 using lyx::support::contains;
63 using lyx::support::lowercase;
64 using lyx::support::split;
65 using lyx::support::uppercase;
66
67 using std::advance;
68 using std::distance;
69 using std::max;
70 using std::min;
71 using std::endl;
72 using std::string;
73
74
75 /// some space for drawing the 'nested' markers (in pixel)
76 extern int const NEST_MARGIN = 20;
77 /// margin for changebar
78 extern int const CHANGEBAR_MARGIN = 10;
79 /// right margin
80 extern int const RIGHT_MARGIN = 10;
81
82
83 namespace {
84
85 int numberOfSeparators(Paragraph const & par, Row const & row)
86 {
87         pos_type const first = max(row.pos(), par.beginOfBody());
88         pos_type const last = row.endpos() - 1;
89         int n = 0;
90         for (pos_type p = first; p < last; ++p) {
91                 if (par.isSeparator(p))
92                         ++n;
93         }
94         return n;
95 }
96
97
98 unsigned int maxParagraphWidth(ParagraphList const & plist)
99 {
100         unsigned int width = 0;
101         ParagraphList::const_iterator pit = plist.begin();
102         ParagraphList::const_iterator end = plist.end();
103                 for (; pit != end; ++pit)
104                         width = std::max(width, pit->width);
105         return width;
106 }
107
108
109 int numberOfLabelHfills(Paragraph const & par, Row const & row)
110 {
111         pos_type last = row.endpos() - 1;
112         pos_type first = row.pos();
113
114         // hfill *DO* count at the beginning of paragraphs!
115         if (first) {
116                 while (first < last && par.isHfill(first))
117                         ++first;
118         }
119
120         last = min(last, par.beginOfBody());
121         int n = 0;
122         for (pos_type p = first; p < last; ++p) {
123                 if (par.isHfill(p))
124                         ++n;
125         }
126         return n;
127 }
128
129
130 int numberOfHfills(Paragraph const & par, Row const & row)
131 {
132         pos_type const last = row.endpos() - 1;
133         pos_type first = row.pos();
134
135         // hfill *DO* count at the beginning of paragraphs!
136         if (first) {
137                 while (first < last && par.isHfill(first))
138                         ++first;
139         }
140
141         first = max(first, par.beginOfBody());
142
143         int n = 0;
144         for (pos_type p = first; p < last; ++p) {
145                 if (par.isHfill(p))
146                         ++n;
147         }
148         return n;
149 }
150
151 } // namespace anon
152
153
154 BufferView * LyXText::bv()
155 {
156         BOOST_ASSERT(bv_owner != 0);
157         return bv_owner;
158 }
159
160
161 double LyXText::spacing(Paragraph const & par) const
162 {
163         if (par.params().spacing().isDefault())
164                 return bv()->buffer()->params().spacing().getValue();
165         return par.params().spacing().getValue();
166 }
167
168
169 BufferView * LyXText::bv() const
170 {
171         BOOST_ASSERT(bv_owner != 0);
172         return bv_owner;
173 }
174
175
176 void LyXText::updateParPositions()
177 {
178         ParagraphList::iterator pit = paragraphs().begin();
179         ParagraphList::iterator end = paragraphs().end();
180         for (height_ = 0; pit != end; ++pit) {
181                 pit->y = height_;
182                 height_ += pit->height;
183         }
184 }
185
186
187 int LyXText::width() const
188 {
189         return width_;
190 }
191
192
193 int LyXText::height() const
194 {
195         return height_;
196 }
197
198
199 int LyXText::singleWidth(ParagraphList::iterator pit, pos_type pos) const
200 {
201         if (pos >= pit->size())
202                 return 0;
203
204         char const c = pit->getChar(pos);
205         return singleWidth(pit, pos, c, getFont(pit, pos));
206 }
207
208
209 int LyXText::singleWidth(ParagraphList::iterator pit,
210                          pos_type pos, char c, LyXFont const & font) const
211 {
212         if (pos >= pit->size()) {
213                 lyxerr << "in singleWidth(), pos: " << pos << endl;
214                 BOOST_ASSERT(false);
215                 return 0;
216         }
217
218         // The most common case is handled first (Asger)
219         if (IsPrintable(c)) {
220                 if (!font.language()->RightToLeft()) {
221                         if ((lyxrc.font_norm_type == LyXRC::ISO_8859_6_8 ||
222                              lyxrc.font_norm_type == LyXRC::ISO_10646_1)
223                             && font.language()->lang() == "arabic") {
224                                 if (Encodings::IsComposeChar_arabic(c))
225                                         return 0;
226                                 else
227                                         c = pit->transformChar(c, pos);
228                         } else if (font.language()->lang() == "hebrew" &&
229                                  Encodings::IsComposeChar_hebrew(c))
230                                 return 0;
231                 }
232                 return font_metrics::width(c, font);
233         }
234
235         if (c == Paragraph::META_INSET)
236                 return pit->getInset(pos)->width();
237
238         if (IsSeparatorChar(c))
239                 c = ' ';
240         return font_metrics::width(c, font);
241 }
242
243
244 int LyXText::leftMargin(ParagraphList::iterator pit) const
245 {
246         return leftMargin(pit, pit->size());
247 }
248
249
250 int LyXText::leftMargin(ParagraphList::iterator pit, pos_type pos) const
251 {
252         LyXTextClass const & tclass =
253                 bv()->buffer()->params().getLyXTextClass();
254         LyXLayout_ptr const & layout = pit->layout();
255
256         string parindent = layout->parindent;
257
258         int x = NEST_MARGIN + CHANGEBAR_MARGIN;
259
260         x += font_metrics::signedWidth(tclass.leftmargin(), tclass.defaultfont());
261
262         // This is the way LyX handles LaTeX-Environments.
263         // I have had this idea very late, so it seems to be a
264         // later added hack and this is true
265         if (pit->getDepth() == 0) {
266                 if (pit->layout() == tclass.defaultLayout()) {
267                         // find the previous same level paragraph
268                         if (pit != paragraphs().begin()) {
269                                 ParagraphList::iterator newpit =
270                                         depthHook(pit, paragraphs(), pit->getDepth());
271                                 if (newpit == pit && newpit->layout()->nextnoindent)
272                                         parindent.erase();
273                         }
274                 }
275         } else {
276                 // find the next level paragraph
277                 ParagraphList::iterator newpar =
278                         outerHook(pit, paragraphs());
279
280                 // Make a corresponding row. Need to call leftMargin()
281                 // to check whether it is a sufficent paragraph.
282                 if (newpar != paragraphs().end()
283                     && newpar->layout()->isEnvironment()) {
284                         x = leftMargin(newpar);
285                 }
286
287                 if (newpar != paragraphs().end()
288                     && pit->layout() == tclass.defaultLayout()) {
289                         if (newpar->params().noindent())
290                                 parindent.erase();
291                         else
292                                 parindent = newpar->layout()->parindent;
293                 }
294         }
295
296         LyXFont const labelfont = getLabelFont(pit);
297         switch (layout->margintype) {
298         case MARGIN_DYNAMIC:
299                 if (!layout->leftmargin.empty())
300                         x += font_metrics::signedWidth(layout->leftmargin,
301                                                   tclass.defaultfont());
302                 if (!pit->getLabelstring().empty()) {
303                         x += font_metrics::signedWidth(layout->labelindent,
304                                                   labelfont);
305                         x += font_metrics::width(pit->getLabelstring(),
306                                             labelfont);
307                         x += font_metrics::width(layout->labelsep, labelfont);
308                 }
309                 break;
310
311         case MARGIN_MANUAL:
312                 x += font_metrics::signedWidth(layout->labelindent, labelfont);
313                 // The width of an empty par, even with manual label, should be 0
314                 if (!pit->empty() && pos >= pit->beginOfBody()) {
315                         if (!pit->getLabelWidthString().empty()) {
316                                 x += font_metrics::width(pit->getLabelWidthString(),
317                                                labelfont);
318                                 x += font_metrics::width(layout->labelsep, labelfont);
319                         }
320                 }
321                 break;
322
323         case MARGIN_STATIC:
324                 x += font_metrics::signedWidth(layout->leftmargin, tclass.defaultfont()) * 4
325                         / (pit->getDepth() + 4);
326                 break;
327
328         case MARGIN_FIRST_DYNAMIC:
329                 if (layout->labeltype == LABEL_MANUAL) {
330                         if (pos >= pit->beginOfBody()) {
331                                 x += font_metrics::signedWidth(layout->leftmargin,
332                                                           labelfont);
333                         } else {
334                                 x += font_metrics::signedWidth(layout->labelindent,
335                                                           labelfont);
336                         }
337                 } else if (pos != 0
338                            // Special case to fix problems with
339                            // theorems (JMarc)
340                            || (layout->labeltype == LABEL_STATIC
341                                && layout->latextype == LATEX_ENVIRONMENT
342                                && !isFirstInSequence(pit, paragraphs()))) {
343                         x += font_metrics::signedWidth(layout->leftmargin,
344                                                   labelfont);
345                 } else if (layout->labeltype != LABEL_TOP_ENVIRONMENT
346                            && layout->labeltype != LABEL_BIBLIO
347                            && layout->labeltype !=
348                            LABEL_CENTERED_TOP_ENVIRONMENT) {
349                         x += font_metrics::signedWidth(layout->labelindent,
350                                                   labelfont);
351                         x += font_metrics::width(layout->labelsep, labelfont);
352                         x += font_metrics::width(pit->getLabelstring(),
353                                             labelfont);
354                 }
355                 break;
356
357         case MARGIN_RIGHT_ADDRESS_BOX: {
358 #if 0
359                 // ok, a terrible hack. The left margin depends on the widest
360                 // row in this paragraph.
361                 RowList::iterator rit = pit->rows.begin();
362                 RowList::iterator end = pit->rows.end();
363 #warning This is wrong.
364                 int minfill = maxwidth_;
365                 for ( ; rit != end; ++rit)
366                         if (rit->fill() < minfill)
367                                 minfill = rit->fill();
368                 x += font_metrics::signedWidth(layout->leftmargin,
369                         tclass.defaultfont());
370                 x += minfill;
371 #endif
372                 // also wrong, but much shorter.
373                 x += maxwidth_ / 2;
374                 break;
375         }
376         }
377         
378
379         if (!pit->params().leftIndent().zero())
380                 x += pit->params().leftIndent().inPixels(maxwidth_);
381
382         LyXAlignment align;
383
384         if (pit->params().align() == LYX_ALIGN_LAYOUT)
385                 align = layout->align;
386         else
387                 align = pit->params().align();
388
389         // set the correct parindent
390         if (pos == 0
391             && (layout->labeltype == LABEL_NO_LABEL
392                || layout->labeltype == LABEL_TOP_ENVIRONMENT
393                || layout->labeltype == LABEL_CENTERED_TOP_ENVIRONMENT
394                || (layout->labeltype == LABEL_STATIC
395                    && layout->latextype == LATEX_ENVIRONMENT
396                    && !isFirstInSequence(pit, paragraphs())))
397             && align == LYX_ALIGN_BLOCK
398             && !pit->params().noindent()
399             // in tabulars and ert paragraphs are never indented!
400             && (!pit->inInset()
401                 || !pit->inInset()->owner()
402                 || (pit->inInset()->owner()->lyxCode() != InsetOld::TABULAR_CODE
403                     && pit->inInset()->owner()->lyxCode() != InsetOld::ERT_CODE))
404             && (pit->layout() != tclass.defaultLayout()
405                 || bv()->buffer()->params().paragraph_separation ==
406                    BufferParams::PARSEP_INDENT))
407         {
408                 x += font_metrics::signedWidth(parindent, tclass.defaultfont());
409         }
410
411         return x;
412 }
413
414
415 int LyXText::rightMargin(Paragraph const & par) const
416 {
417         LyXTextClass const & tclass = bv()->buffer()->params().getLyXTextClass();
418
419         return
420                 RIGHT_MARGIN
421                 + font_metrics::signedWidth(tclass.rightmargin(),
422                                        tclass.defaultfont())
423                 + font_metrics::signedWidth(par.layout()->rightmargin,
424                                        tclass.defaultfont())
425                 * 4 / (par.getDepth() + 4);
426 }
427
428
429 int LyXText::labelEnd(ParagraphList::iterator pit) const
430 {
431         // labelEnd is only needed if the layout fills a flushleft label.
432         if (pit->layout()->margintype != MARGIN_MANUAL)
433                 return 0;
434         // return the beginning of the body
435         return leftMargin(pit);
436 }
437
438
439 namespace {
440
441 // this needs special handling - only newlines count as a break point
442 pos_type addressBreakPoint(pos_type i, Paragraph const & par)
443 {
444         pos_type const end = par.size();
445
446         for (; i < end; ++i)
447                 if (par.isNewline(i))
448                         return i + 1;
449
450         return end;
451 }
452
453 };
454
455
456 void LyXText::rowBreakPoint(ParagraphList::iterator pit, Row & row) const
457 {
458         pos_type const end = pit->size();
459         pos_type const pos = row.pos();
460         if (pos == end) {
461                 row.endpos(end);
462                 return;
463         }
464
465         // maximum pixel width of a row
466         int width = maxwidth_ - rightMargin(*pit); // - leftMargin(pit, row);
467         if (width < 0) {
468                 row.endpos(end);
469                 return;
470         }
471
472         LyXLayout_ptr const & layout = pit->layout();
473
474         if (layout->margintype == MARGIN_RIGHT_ADDRESS_BOX) {
475                 row.endpos(addressBreakPoint(pos, *pit));
476                 return;
477         }
478
479         pos_type const body_pos = pit->beginOfBody();
480
481
482         // Now we iterate through until we reach the right margin
483         // or the end of the par, then choose the possible break
484         // nearest that.
485
486         int const left = leftMargin(pit, pos);
487         int x = left;
488
489         // pixel width since last breakpoint
490         int chunkwidth = 0;
491
492         FontIterator fi = FontIterator(*this, pit, pos);
493         pos_type point = end;
494         pos_type i = pos;
495         for ( ; i < end; ++i, ++fi) {
496                 char const c = pit->getChar(i);
497
498                 {
499                         int thiswidth = singleWidth(pit, i, c, *fi);
500
501                         // add the auto-hfill from label end to the body
502                         if (body_pos && i == body_pos) {
503                                 int add = font_metrics::width(layout->labelsep, getLabelFont(pit));
504                                 if (pit->isLineSeparator(i - 1))
505                                         add -= singleWidth(pit, i - 1);
506
507                                 add = std::max(add, labelEnd(pit) - x);
508                                 thiswidth += add;
509                         }
510
511                         x += thiswidth;
512                         chunkwidth += thiswidth;
513                 }
514
515                 // break before a character that will fall off
516                 // the right of the row
517                 if (x >= width) {
518                         // if no break before, break here
519                         if (point == end || chunkwidth >= width - left) {
520                                 if (i > pos)
521                                         point = i;
522                                 else
523                                         point = i + 1;
524
525                         }
526                         // exit on last registered breakpoint:
527                         break;
528                 }
529
530                 if (pit->isNewline(i)) {
531                         point = i + 1;
532                         break;
533                 }
534                 // Break before...
535                 if (i + 1 < end) {
536                         if (pit->isInset(i + 1) && pit->getInset(i + 1)->display()) {
537                                 point = i + 1;
538                                 break;
539                         }
540                         // ...and after.
541                         if (pit->isInset(i) && pit->getInset(i)->display()) {
542                                 point = i + 1;
543                                 break;
544                         }
545                 }
546                 
547                 if (!pit->isInset(i) || pit->getInset(i)->isChar()) {
548                         // some insets are line separators too
549                         if (pit->isLineSeparator(i)) {
550                                 // register breakpoint:
551                                 point = i + 1;
552                                 chunkwidth = 0;
553                         }
554                 }
555         }
556
557         // maybe found one, but the par is short enough.
558         if (i == end && x < width)
559                 point = end;
560
561         // manual labels cannot be broken in LaTeX. But we
562         // want to make our on-screen rendering of footnotes
563         // etc. still break
564         if (body_pos && point < body_pos)
565                 point = body_pos;
566
567         row.endpos(point);
568 }
569
570
571 void LyXText::setRowWidth(ParagraphList::iterator pit, Row & row) const
572 {
573         // get the pure distance
574         pos_type const end = row.endpos();
575
576         string labelsep = pit->layout()->labelsep;
577         int w = leftMargin(pit, row.pos());
578
579         pos_type const body_pos = pit->beginOfBody();
580         pos_type i = row.pos();
581
582         if (i < end) {
583                 FontIterator fi = FontIterator(*this, pit, i);
584                 for ( ; i < end; ++i, ++fi) {
585                         if (body_pos > 0 && i == body_pos) {
586                                 w += font_metrics::width(labelsep, getLabelFont(pit));
587                                 if (pit->isLineSeparator(i - 1))
588                                         w -= singleWidth(pit, i - 1);
589                                 w = max(w, labelEnd(pit));
590                         }
591                         char const c = pit->getChar(i);
592                         w += singleWidth(pit, i, c, *fi);
593                 }
594         }
595
596         if (body_pos > 0 && body_pos >= end) {
597                 w += font_metrics::width(labelsep, getLabelFont(pit));
598                 if (end > 0 && pit->isLineSeparator(end - 1))
599                         w -= singleWidth(pit, end - 1);
600                 w = max(w, labelEnd(pit));
601         }
602
603         row.width(w + rightMargin(*pit));
604 }
605
606
607 // returns the minimum space a manual label needs on the screen in pixel
608 int LyXText::labelFill(ParagraphList::iterator pit, Row const & row) const
609 {
610         pos_type last = pit->beginOfBody();
611
612         BOOST_ASSERT(last > 0);
613
614         // -1 because a label ends with a space that is in the label
615         --last;
616
617         // a separator at this end does not count
618         if (pit->isLineSeparator(last))
619                 --last;
620
621         int w = 0;
622         for (pos_type i = row.pos(); i <= last; ++i)
623                 w += singleWidth(pit, i);
624
625         string const & label = pit->params().labelWidthString();
626         if (label.empty())
627                 return 0;
628
629         return max(0, font_metrics::width(label, getLabelFont(pit)) - w);
630 }
631
632
633 LColor_color LyXText::backgroundColor() const
634 {
635         return LColor_color(LColor::color(background_color_));
636 }
637
638
639 void LyXText::setHeightOfRow(ParagraphList::iterator pit, Row & row)
640 {
641         // get the maximum ascent and the maximum descent
642         double layoutasc = 0;
643         double layoutdesc = 0;
644         double const dh = defaultRowHeight();
645
646         // ok, let us initialize the maxasc and maxdesc value.
647         // Only the fontsize count. The other properties
648         // are taken from the layoutfont. Nicer on the screen :)
649         LyXLayout_ptr const & layout = pit->layout();
650
651         // as max get the first character of this row then it can
652         // increase but not decrease the height. Just some point to
653         // start with so we don't have to do the assignment below too
654         // often.
655         LyXFont font = getFont(pit, row.pos());
656         LyXFont::FONT_SIZE const tmpsize = font.size();
657         font = getLayoutFont(pit);
658         LyXFont::FONT_SIZE const size = font.size();
659         font.setSize(tmpsize);
660
661         LyXFont labelfont = getLabelFont(pit);
662
663         // these are minimum values
664         double const spacing_val = layout->spacing.getValue() * spacing(*pit);
665         //lyxerr << "spacing_val = " << spacing_val << endl;
666         int maxasc  = int(font_metrics::maxAscent(font)  * spacing_val);
667         int maxdesc = int(font_metrics::maxDescent(font) * spacing_val);
668
669         // insets may be taller
670         InsetList::iterator ii = pit->insetlist.begin();
671         InsetList::iterator iend = pit->insetlist.end();
672         for ( ; ii != iend; ++ii) {
673                 if (ii->pos >= row.pos() && ii->pos < row.endpos()) {
674                         maxasc  = max(maxasc,  ii->inset->ascent());
675                         maxdesc = max(maxdesc, ii->inset->descent());
676                 }
677         }
678
679         // Check if any custom fonts are larger (Asger)
680         // This is not completely correct, but we can live with the small,
681         // cosmetic error for now.
682         int labeladdon = 0;
683         pos_type const pos_end = row.endpos();
684
685         LyXFont::FONT_SIZE maxsize =
686                 pit->highestFontInRange(row.pos(), pos_end, size);
687         if (maxsize > font.size()) {
688                 font.setSize(maxsize);
689                 maxasc  = max(maxasc,  font_metrics::maxAscent(font));
690                 maxdesc = max(maxdesc, font_metrics::maxDescent(font));
691         }
692
693         // This is nicer with box insets:
694         ++maxasc;
695         ++maxdesc;
696
697         row.ascent_of_text(maxasc);
698
699         // is it a top line?
700         if (row.pos() == 0) {
701                 BufferParams const & bufparams = bv()->buffer()->params();
702                 // some parksips VERY EASY IMPLEMENTATION
703                 if (bv()->buffer()->params().paragraph_separation
704                     == BufferParams::PARSEP_SKIP
705                         && pit != paragraphs().begin()
706                         && ((layout->isParagraph() && pit->getDepth() == 0)
707                             || (boost::prior(pit)->layout()->isParagraph()
708                                 && boost::prior(pit)->getDepth() == 0)))
709                 {
710                                 maxasc += bufparams.getDefSkip().inPixels(*bv());
711                 }
712
713                 if (pit->params().startOfAppendix())
714                         maxasc += int(3 * dh);
715
716                 // This is special code for the chapter, since the label of this
717                 // layout is printed in an extra row
718                 if (layout->counter == "chapter" && bufparams.secnumdepth >= 0) {
719                         labeladdon = int(font_metrics::maxHeight(labelfont)
720                                      * layout->spacing.getValue() * spacing(*pit));
721                 }
722
723                 // special code for the top label
724                 if ((layout->labeltype == LABEL_TOP_ENVIRONMENT
725                      || layout->labeltype == LABEL_BIBLIO
726                      || layout->labeltype == LABEL_CENTERED_TOP_ENVIRONMENT)
727                     && isFirstInSequence(pit, paragraphs())
728                     && !pit->getLabelstring().empty())
729                 {
730                         labeladdon = int(
731                                   font_metrics::maxHeight(labelfont)
732                                         * layout->spacing.getValue()
733                                         * spacing(*pit)
734                                 + (layout->topsep + layout->labelbottomsep) * dh);
735                 }
736
737                 // Add the layout spaces, for example before and after
738                 // a section, or between the items of a itemize or enumerate
739                 // environment.
740
741                 ParagraphList::iterator prev =
742                         depthHook(pit, paragraphs(), pit->getDepth());
743                 if (prev != pit
744                     && prev->layout() == layout
745                     && prev->getDepth() == pit->getDepth()
746                     && prev->getLabelWidthString() == pit->getLabelWidthString())
747                 {
748                         layoutasc = layout->itemsep * dh;
749                 } else if (pit != paragraphs().begin() || row.pos() != 0) {
750                         if (layout->topsep > 0)
751                                 layoutasc = layout->topsep * dh;
752                 }
753
754                 prev = outerHook(pit, paragraphs());
755                 if (prev != paragraphs().end()) {
756                         maxasc += int(prev->layout()->parsep * dh);
757                 } else if (pit != paragraphs().begin()) {
758                         ParagraphList::iterator prior_pit = boost::prior(pit);
759                         if (prior_pit->getDepth() != 0 ||
760                                         prior_pit->layout() == layout) {
761                                 maxasc += int(layout->parsep * dh);
762                         }
763                 }
764         }
765
766         // is it a bottom line?
767         if (row.endpos() >= pit->size()) {
768                 // add the layout spaces, for example before and after
769                 // a section, or between the items of a itemize or enumerate
770                 // environment
771                 ParagraphList::iterator nextpit = boost::next(pit);
772                 if (nextpit != paragraphs().end()) {
773                         ParagraphList::iterator cpit = pit;
774                         double usual = 0;
775                         double unusual = 0;
776
777                         if (cpit->getDepth() > nextpit->getDepth()) {
778                                 usual = cpit->layout()->bottomsep * dh;
779                                 cpit = depthHook(cpit, paragraphs(), nextpit->getDepth());
780                                 if (cpit->layout() != nextpit->layout()
781                                         || nextpit->getLabelWidthString() != cpit->getLabelWidthString())
782                                 {
783                                         unusual = cpit->layout()->bottomsep * dh;
784                                 }
785                                 layoutdesc = max(unusual, usual);
786                         } else if (cpit->getDepth() == nextpit->getDepth()) {
787                                 if (cpit->layout() != nextpit->layout()
788                                         || nextpit->getLabelWidthString() != cpit->getLabelWidthString())
789                                         layoutdesc = int(cpit->layout()->bottomsep * dh);
790                         }
791                 }
792         }
793
794         // incalculate the layout spaces
795         maxasc  += int(layoutasc  * 2 / (2 + pit->getDepth()));
796         maxdesc += int(layoutdesc * 2 / (2 + pit->getDepth()));
797
798         row.height(maxasc + maxdesc + labeladdon);
799         row.baseline(maxasc + labeladdon);
800         row.top_of_text(row.baseline() - font_metrics::maxAscent(font));
801 }
802
803
804 void LyXText::breakParagraph(LCursor & cur, char keep_layout)
805 {
806         BOOST_ASSERT(this == cur.text());
807         // allow only if at start or end, or all previous is new text
808         Paragraph & cpar = cur.paragraph();
809         ParagraphList::iterator cpit = getPar(cur.par());
810
811         if (cur.pos() != 0 && cur.pos() != cur.lastpos()
812             && cpar.isChangeEdited(0, cur.pos()))
813                 return;
814
815         LyXTextClass const & tclass =
816                 bv()->buffer()->params().getLyXTextClass();
817         LyXLayout_ptr const & layout = cpar.layout();
818
819         // this is only allowed, if the current paragraph is not empty
820         // or caption and if it has not the keepempty flag active
821         if (cur.lastpos() == 0 && !cpar.allowEmpty()
822            && layout->labeltype != LABEL_SENSITIVE)
823                 return;
824
825         // a layout change may affect also the following paragraph
826         recUndo(cur.par(), parOffset(undoSpan(cpit)) - 1);
827
828         // Always break behind a space
829         // It is better to erase the space (Dekel)
830         if (cur.pos() != cur.lastpos() && cpar.isLineSeparator(cur.pos()))
831                 cpar.erase(cur.pos());
832
833         // break the paragraph
834         if (keep_layout)
835                 keep_layout = 2;
836         else
837                 keep_layout = layout->isEnvironment();
838
839         // we need to set this before we insert the paragraph. IMO the
840         // breakParagraph call should return a bool if it inserts the
841         // paragraph before or behind and we should react on that one
842         // but we can fix this in 1.3.0 (Jug 20020509)
843         bool const isempty = cpar.allowEmpty() && cpar.empty();
844         ::breakParagraph(bv()->buffer()->params(), paragraphs(), cpit,
845                          cur.pos(), keep_layout);
846
847         cpit = getPar(cur.par());
848         ParagraphList::iterator next_par = boost::next(cpit);
849
850         // well this is the caption hack since one caption is really enough
851         if (layout->labeltype == LABEL_SENSITIVE) {
852                 if (!cur.pos())
853                         // set to standard-layout
854                         cpit->applyLayout(tclass.defaultLayout());
855                 else
856                         // set to standard-layout
857                         next_par->applyLayout(tclass.defaultLayout());
858         }
859
860         // if the cursor is at the beginning of a row without prior newline,
861         // move one row up!
862         // This touches only the screen-update. Otherwise we would may have
863         // an empty row on the screen
864         if (cur.pos() != 0 && cur.textRow().pos() == cur.pos()
865             && !cpit->isNewline(cur.pos() - 1))
866         {
867                 cursorLeft(cur);
868         }
869
870         while (!next_par->empty() && next_par->isNewline(0))
871                 next_par->erase(0);
872
873         updateCounters();
874         redoParagraph(cpit);
875         redoParagraph(next_par);
876
877         // This check is necessary. Otherwise the new empty paragraph will
878         // be deleted automatically. And it is more friendly for the user!
879         if (cur.pos() != 0 || isempty)
880                 setCursor(cur, cur.par() + 1, 0);
881         else
882                 setCursor(cur, cur.par(), 0);
883 }
884
885
886 // convenience function
887 void LyXText::redoParagraph(LCursor & cur)
888 {
889         BOOST_ASSERT(this == cur.text());
890         cur.clearSelection();
891         redoParagraph(getPar(cur.par()));
892         setCursorIntern(cur, cur.par(), cur.pos());
893 }
894
895
896 // insert a character, moves all the following breaks in the
897 // same Paragraph one to the right and make a rebreak
898 void LyXText::insertChar(LCursor & cur, char c)
899 {
900         BOOST_ASSERT(this == cur.text());
901         BOOST_ASSERT(c != Paragraph::META_INSET);
902
903         recordUndo(cur, Undo::INSERT);
904
905         Paragraph & par = cur.paragraph();
906         // try to remove this
907         ParagraphList::iterator pit = getPar(cur.par());
908
909         bool const freeSpacing = par.layout()->free_spacing ||
910                 par.isFreeSpacing();
911
912         if (lyxrc.auto_number) {
913                 static string const number_operators = "+-/*";
914                 static string const number_unary_operators = "+-";
915                 static string const number_seperators = ".,:";
916
917                 if (current_font.number() == LyXFont::ON) {
918                         if (!IsDigit(c) && !contains(number_operators, c) &&
919                             !(contains(number_seperators, c) &&
920                               cur.pos() != 0 &&
921                               cur.pos() != cur.lastpos() &&
922                               getFont(pit, cur.pos()).number() == LyXFont::ON &&
923                               getFont(pit, cur.pos() - 1).number() == LyXFont::ON)
924                            )
925                                 number(cur); // Set current_font.number to OFF
926                 } else if (IsDigit(c) &&
927                            real_current_font.isVisibleRightToLeft()) {
928                         number(cur); // Set current_font.number to ON
929
930                         if (cur.pos() != 0) {
931                                 char const c = par.getChar(cur.pos() - 1);
932                                 if (contains(number_unary_operators, c) &&
933                                     (cur.pos() == 1
934                                      || par.isSeparator(cur.pos() - 2)
935                                      || par.isNewline(cur.pos() - 2))
936                                   ) {
937                                         setCharFont(pit, cur.pos() - 1, current_font);
938                                 } else if (contains(number_seperators, c)
939                                      && cur.pos() >= 2
940                                      && getFont(pit, cur.pos() - 2).number() == LyXFont::ON) {
941                                         setCharFont(pit, cur.pos() - 1, current_font);
942                                 }
943                         }
944                 }
945         }
946
947         // First check, if there will be two blanks together or a blank at
948         // the beginning of a paragraph.
949         // I decided to handle blanks like normal characters, the main
950         // difference are the special checks when calculating the row.fill
951         // (blank does not count at the end of a row) and the check here
952
953         // The bug is triggered when we type in a description environment:
954         // The current_font is not changed when we go from label to main text
955         // and it should (along with realtmpfont) when we type the space.
956         // CHECK There is a bug here! (Asger)
957
958         // store the current font.  This is because of the use of cursor
959         // movements. The moving cursor would refresh the current font
960         LyXFont realtmpfont = real_current_font;
961         LyXFont rawtmpfont = current_font;
962
963         // When the free-spacing option is set for the current layout,
964         // disable the double-space checking
965         if (!freeSpacing && IsLineSeparatorChar(c)) {
966                 if (cur.pos() == 0) {
967                         static bool sent_space_message = false;
968                         if (!sent_space_message) {
969                                 cur.message(_("You cannot insert a space at the "
970                                         "beginning of a paragraph. Please read the Tutorial."));
971                                 sent_space_message = true;
972                                 return;
973                         }
974                 }
975                 BOOST_ASSERT(cur.pos() > 0);
976                 if (par.isLineSeparator(cur.pos() - 1)
977                     || par.isNewline(cur.pos() - 1)) {
978                         static bool sent_space_message = false;
979                         if (!sent_space_message) {
980                                 cur.message(_("You cannot type two spaces this way. "
981                                         "Please read the Tutorial."));
982                                 sent_space_message = true;
983                         }
984                         return;
985                 }
986         }
987
988         par.insertChar(cur.pos(), c);
989         setCharFont(pit, cur.pos(), rawtmpfont);
990
991         current_font = rawtmpfont;
992         real_current_font = realtmpfont;
993         redoParagraph(cur);
994         setCursor(cur, cur.par(), cur.pos() + 1, false, cur.boundary());
995         charInserted();
996 }
997
998
999 void LyXText::charInserted()
1000 {
1001         // Here we call finishUndo for every 20 characters inserted.
1002         // This is from my experience how emacs does it. (Lgb)
1003         static unsigned int counter;
1004         if (counter < 20) {
1005                 ++counter;
1006         } else {
1007                 finishUndo();
1008                 counter = 0;
1009         }
1010 }
1011
1012
1013 RowMetrics
1014 LyXText::computeRowMetrics(ParagraphList::iterator pit, Row const & row) const
1015 {
1016         RowMetrics result;
1017
1018         double w = width_ - row.width();
1019
1020         bool const is_rtl = isRTL(*pit);
1021         if (is_rtl)
1022                 result.x = rightMargin(*pit);
1023         else
1024                 result.x = leftMargin(pit, row.pos());
1025
1026         // is there a manual margin with a manual label
1027         LyXLayout_ptr const & layout = pit->layout();
1028
1029         if (layout->margintype == MARGIN_MANUAL
1030             && layout->labeltype == LABEL_MANUAL) {
1031                 /// We might have real hfills in the label part
1032                 int nlh = numberOfLabelHfills(*pit, row);
1033
1034                 // A manual label par (e.g. List) has an auto-hfill
1035                 // between the label text and the body of the
1036                 // paragraph too.
1037                 // But we don't want to do this auto hfill if the par
1038                 // is empty.
1039                 if (!pit->empty())
1040                         ++nlh;
1041
1042                 if (nlh && !pit->getLabelWidthString().empty())
1043                         result.label_hfill = labelFill(pit, row) / double(nlh);
1044         }
1045
1046         // are there any hfills in the row?
1047         int const nh = numberOfHfills(*pit, row);
1048
1049         if (nh) {
1050                 if (w > 0)
1051                         result.hfill = w / nh;
1052         // we don't have to look at the alignment if it is ALIGN_LEFT and
1053         // if the row is already larger then the permitted width as then
1054         // we force the LEFT_ALIGN'edness!
1055         } else if (int(row.width()) < maxwidth_) {
1056                 // is it block, flushleft or flushright?
1057                 // set x how you need it
1058                 int align;
1059                 if (pit->params().align() == LYX_ALIGN_LAYOUT)
1060                         align = layout->align;
1061                 else
1062                         align = pit->params().align();
1063
1064                 // Display-style insets should always be on a centred row
1065                 // The test on pit->size() is to catch zero-size pars, which
1066                 // would trigger the assert in Paragraph::getInset().
1067                 //inset = pit->size() ? pit->getInset(row.pos()) : 0;
1068                 if (!pit->empty()
1069                     && pit->isInset(row.pos())
1070                     && pit->getInset(row.pos())->display())
1071                 {
1072                         align = LYX_ALIGN_CENTER;
1073                 }
1074
1075                 switch (align) {
1076                 case LYX_ALIGN_BLOCK: {
1077                         int const ns = numberOfSeparators(*pit, row);
1078                         bool disp_inset = false;
1079                         if (row.endpos() < pit->size()) {
1080                                 InsetBase * in = pit->getInset(row.endpos());
1081                                 if (in)
1082                                         disp_inset = in->display();
1083                         }
1084                         // If we have separators, this is not the last row of a
1085                         // par, does not end in newline, and is not row above a
1086                         // display inset... then stretch it
1087                         if (ns
1088                             && row.endpos() < pit->size()
1089                             && !pit->isNewline(row.endpos() - 1)
1090                             && !disp_inset
1091                                 ) {
1092                                 result.separator = w / ns;
1093                         } else if (is_rtl) {
1094                                 result.x += w;
1095                         }
1096                         break;
1097                 }
1098                 case LYX_ALIGN_RIGHT:
1099                         result.x += w;
1100                         break;
1101                 case LYX_ALIGN_CENTER:
1102                         result.x += w / 2;
1103                         break;
1104                 }
1105         }
1106
1107         bidi.computeTables(*pit, *bv()->buffer(), row);
1108         if (is_rtl) {
1109                 pos_type body_pos = pit->beginOfBody();
1110                 pos_type end = row.endpos();
1111
1112                 if (body_pos > 0
1113                     && (body_pos > end || !pit->isLineSeparator(body_pos - 1)))
1114                 {
1115                         result.x += font_metrics::width(layout->labelsep, getLabelFont(pit));
1116                         if (body_pos <= end)
1117                                 result.x += result.label_hfill;
1118                 }
1119         }
1120
1121         return result;
1122 }
1123
1124
1125 // the cursor set functions have a special mechanism. When they
1126 // realize, that you left an empty paragraph, they will delete it.
1127
1128 void LyXText::cursorRightOneWord(LCursor & cur)
1129 {
1130         BOOST_ASSERT(this == cur.text());
1131         if (cur.pos() == cur.lastpos() && cur.par() != cur.lastpar()) {
1132                 ++cur.par();
1133                 cur.pos() = 0;
1134         } else {
1135                 // Skip through initial nonword stuff.
1136                 // Treat floats and insets as words.
1137                 while (cur.pos() != cur.lastpos() && !cur.paragraph().isWord(cur.pos()))
1138                         ++cur.pos();
1139                 // Advance through word.
1140                 while (cur.pos() != cur.lastpos() && cur.paragraph().isWord(cur.pos()))
1141                         ++cur.pos();
1142         }
1143         setCursor(cur, cur.par(), cur.pos());
1144 }
1145
1146
1147 void LyXText::cursorLeftOneWord(LCursor & cur)
1148 {
1149         BOOST_ASSERT(this == cur.text());
1150         if (cur.pos() == 0 && cur.par() != 0) {
1151                 --cur.par();
1152                 cur.pos() = cur.lastpos();
1153         } else { 
1154                 // Skip through initial nonword stuff.
1155                 // Treat floats and insets as words.
1156                 while (cur.pos() != 0 && !cur.paragraph().isWord(cur.pos() - 1))
1157                         --cur.pos();
1158                 // Advance through word.
1159                 while (cur.pos() != 0 && cur.paragraph().isWord(cur.pos() - 1))
1160                         --cur.pos();
1161         }
1162         setCursor(cur, cur.par(), cur.pos());
1163 }
1164
1165
1166 void LyXText::selectWord(LCursor & cur, word_location loc)
1167 {
1168         BOOST_ASSERT(this == cur.text());
1169         CursorSlice from = cur.top();
1170         CursorSlice to = cur.top();
1171         getWord(from, to, loc);
1172         if (cur.top() != from)
1173                 setCursor(cur, from.par(), from.pos());
1174         if (to == from)
1175                 return;
1176         cur.resetAnchor();
1177         setCursor(cur, to.par(), to.pos());
1178         cur.setSelection();
1179 }
1180
1181
1182 // Select the word currently under the cursor when no
1183 // selection is currently set
1184 bool LyXText::selectWordWhenUnderCursor(LCursor & cur, word_location loc)
1185 {
1186         BOOST_ASSERT(this == cur.text());
1187         if (cur.selection())
1188                 return false;
1189         selectWord(cur, loc);
1190         return cur.selection();
1191 }
1192
1193
1194 void LyXText::acceptChange(LCursor & cur)
1195 {
1196         BOOST_ASSERT(this == cur.text());
1197         if (!cur.selection() && cur.lastpos() != 0)
1198                 return;
1199
1200         CursorSlice const & startc = cur.selBegin();
1201         CursorSlice const & endc = cur.selEnd();
1202         if (startc.par() == endc.par()) {
1203                 recordUndoSelection(cur, Undo::INSERT);
1204                 getPar(startc)->acceptChange(startc.pos(), endc.pos());
1205                 finishUndo();
1206                 cur.clearSelection();
1207                 redoParagraph(getPar(startc));
1208                 setCursorIntern(cur, startc.par(), 0);
1209         }
1210 #warning handle multi par selection
1211 }
1212
1213
1214 void LyXText::rejectChange(LCursor & cur)
1215 {
1216         BOOST_ASSERT(this == cur.text());
1217         if (!cur.selection() && cur.lastpos() != 0)
1218                 return;
1219
1220         CursorSlice const & startc = cur.selBegin();
1221         CursorSlice const & endc = cur.selEnd();
1222         if (startc.par() == endc.par()) {
1223                 recordUndoSelection(cur, Undo::INSERT);
1224                 getPar(startc)->rejectChange(startc.pos(), endc.pos());
1225                 finishUndo();
1226                 cur.clearSelection();
1227                 redoParagraph(getPar(startc));
1228                 setCursorIntern(cur, startc.par(), 0);
1229         }
1230 #warning handle multi par selection
1231 }
1232
1233
1234 // Delete from cursor up to the end of the current or next word.
1235 void LyXText::deleteWordForward(LCursor & cur)
1236 {
1237         BOOST_ASSERT(this == cur.text());
1238         if (cur.lastpos() == 0)
1239                 cursorRight(cur);
1240         else {
1241                 cur.resetAnchor();
1242                 cur.selection() = true;
1243                 cursorRightOneWord(cur);
1244                 cur.setSelection();
1245                 cutSelection(cur, true, false);
1246         }
1247 }
1248
1249
1250 // Delete from cursor to start of current or prior word.
1251 void LyXText::deleteWordBackward(LCursor & cur)
1252 {
1253         BOOST_ASSERT(this == cur.text());
1254         if (cur.lastpos() == 0)
1255                 cursorLeft(cur);
1256         else {
1257                 cur.resetAnchor();
1258                 cur.selection() = true;
1259                 cursorLeftOneWord(cur);
1260                 cur.setSelection();
1261                 cutSelection(cur, true, false);
1262         }
1263 }
1264
1265
1266 // Kill to end of line.
1267 void LyXText::deleteLineForward(LCursor & cur)
1268 {
1269         BOOST_ASSERT(this == cur.text());
1270         if (cur.lastpos() == 0) {
1271                 // Paragraph is empty, so we just go to the right
1272                 cursorRight(cur);
1273         } else {
1274                 cur.resetAnchor();
1275                 cur.selection() = true; // to avoid deletion
1276                 cursorEnd(cur);
1277                 cur.setSelection();
1278                 // What is this test for ??? (JMarc)
1279                 if (!cur.selection())
1280                         deleteWordForward(cur);
1281                 else
1282                         cutSelection(cur, true, false);
1283         }
1284 }
1285
1286
1287 void LyXText::changeCase(LCursor & cur, LyXText::TextCase action)
1288 {
1289         BOOST_ASSERT(this == cur.text());
1290         CursorSlice from;
1291         CursorSlice to;
1292
1293         if (cur.selection()) {
1294                 from = cur.selBegin();
1295                 to = cur.selEnd();
1296         } else {
1297                 from = cursor();
1298                 getWord(from, to, lyx::PARTIAL_WORD);
1299                 setCursor(cur, to.par(), to.pos() + 1);
1300         }
1301
1302         recordUndoSelection(cur);
1303
1304         pos_type pos = from.pos();
1305         int par = from.par();
1306
1307         while (par != int(paragraphs().size()) &&
1308                (pos != to.pos() || par != to.par())) {
1309                 ParagraphList::iterator pit = getPar(par);
1310                 if (pos == pit->size()) {
1311                         ++par;
1312                         pos = 0;
1313                         continue;
1314                 }
1315                 unsigned char c = pit->getChar(pos);
1316                 if (c != Paragraph::META_INSET) {
1317                         switch (action) {
1318                         case text_lowercase:
1319                                 c = lowercase(c);
1320                                 break;
1321                         case text_capitalization:
1322                                 c = uppercase(c);
1323                                 action = text_lowercase;
1324                                 break;
1325                         case text_uppercase:
1326                                 c = uppercase(c);
1327                                 break;
1328                         }
1329                 }
1330 #warning changes
1331                 pit->setChar(pos, c);
1332                 ++pos;
1333         }
1334 }
1335
1336
1337 void LyXText::Delete(LCursor & cur)
1338 {
1339         BOOST_ASSERT(this == cur.text());
1340         // just move to the right, if we had success make a backspace
1341         CursorSlice sl = cur.top();
1342         cursorRight(cur);
1343         if (sl == cur.top()) {
1344                 recordUndo(cur, Undo::DELETE, cur.par(), max(0, cur.par() - 1));
1345                 backspace(cur);
1346         }
1347 }
1348
1349
1350 void LyXText::backspace(LCursor & cur)
1351 {
1352         BOOST_ASSERT(this == cur.text());
1353         if (cur.pos() == 0) {
1354                 // The cursor is at the beginning of a paragraph, so
1355                 // the the backspace will collapse two paragraphs into
1356                 // one.
1357
1358                 // but it's not allowed unless it's new
1359                 Paragraph & par = cur.paragraph();
1360                 if (par.isChangeEdited(0, par.size()))
1361                         return;
1362
1363                 // we may paste some paragraphs
1364
1365                 // is it an empty paragraph?
1366                 pos_type lastpos = cur.lastpos();
1367                 if (lastpos == 0 || (lastpos == 1 && par.isSeparator(0))) {
1368                         // This is an empty paragraph and we delete it just
1369                         // by moving the cursor one step
1370                         // left and let the DeleteEmptyParagraphMechanism
1371                         // handle the actual deletion of the paragraph.
1372
1373                         if (cur.par() != 0) {
1374                                 cursorLeft(cur);
1375                                 // the layout things can change the height of a row !
1376                                 redoParagraph(cur);
1377                                 return;
1378                         }
1379                 }
1380
1381                 if (cur.par() != 0)
1382                         recordUndo(cur, Undo::DELETE, cur.par() - 1);
1383
1384                 ParagraphList::iterator tmppit = getPar(cur.par());
1385                 // We used to do cursorLeftIntern() here, but it is
1386                 // not a good idea since it triggers the auto-delete
1387                 // mechanism. So we do a cursorLeftIntern()-lite,
1388                 // without the dreaded mechanism. (JMarc)
1389                 if (cur.par() != 0) {
1390                         // steps into the above paragraph.
1391                         setCursorIntern(cur, cur.par() - 1,
1392                                         getPar(cur.par() - 1)->size(),
1393                                         false);
1394                 }
1395
1396                 // Pasting is not allowed, if the paragraphs have different
1397                 // layout. I think it is a real bug of all other
1398                 // word processors to allow it. It confuses the user.
1399                 // Correction: Pasting is always allowed with standard-layout
1400                 Buffer & buf = *bv()->buffer();
1401                 BufferParams const & bufparams = buf.params();
1402                 LyXTextClass const & tclass = bufparams.getLyXTextClass();
1403                 ParagraphList::iterator const cpit = getPar(cur.par());
1404
1405                 if (cpit != tmppit
1406                     && (cpit->layout() == tmppit->layout()
1407                         || tmppit->layout() == tclass.defaultLayout())
1408                     && cpit->getAlign() == tmppit->getAlign()) {
1409                         mergeParagraph(bufparams, buf.paragraphs(), cpit);
1410
1411                         if (cur.pos() != 0 && cpit->isSeparator(cur.pos() - 1))
1412                                 --cur.pos();
1413
1414                         // the counters may have changed
1415                         updateCounters();
1416                         setCursor(cur, cur.par(), cur.pos(), false);
1417                 }
1418         } else {
1419                 // this is the code for a normal backspace, not pasting
1420                 // any paragraphs
1421                 recordUndo(cur, Undo::DELETE);
1422                 // We used to do cursorLeftIntern() here, but it is
1423                 // not a good idea since it triggers the auto-delete
1424                 // mechanism. So we do a cursorLeftIntern()-lite,
1425                 // without the dreaded mechanism. (JMarc)
1426                 setCursorIntern(cur, cur.par(), cur.pos() - 1,
1427                                 false, cur.boundary());
1428                 cur.paragraph().erase(cur.pos());
1429         }
1430
1431         if (cur.pos() == cur.lastpos())
1432                 setCurrentFont(cur);
1433
1434         redoParagraph(cur);
1435         setCursor(cur, cur.par(), cur.pos(), false, cur.boundary());
1436 }
1437
1438
1439 ParagraphList::iterator LyXText::cursorPar() const
1440 {
1441         //lyxerr << "### cursorPar: cursor: " << bv()->cursor() << endl;
1442         //lyxerr << "xxx cursorPar: cursor: " << cursor() << endl;
1443         return getPar(cursor().par());
1444 }
1445
1446
1447 ParagraphList::iterator LyXText::getPar(CursorSlice const & cur) const
1448 {
1449         return getPar(cur.par());
1450 }
1451
1452
1453 ParagraphList::iterator LyXText::getPar(int par) const
1454 {
1455         //lyxerr << "getPar: " << par << " from " << paragraphs().size() << endl;
1456         BOOST_ASSERT(par >= 0);
1457         BOOST_ASSERT(par < int(paragraphs().size()));
1458         ParagraphList::iterator pit = paragraphs().begin();
1459         advance(pit, par);
1460         return pit;
1461 }
1462
1463
1464 // y is relative to this LyXText's top
1465 RowList::iterator
1466 LyXText::getRowNearY(int y, ParagraphList::iterator & pit) const
1467 {
1468         BOOST_ASSERT(!paragraphs().empty());
1469         BOOST_ASSERT(!paragraphs().begin()->rows.empty());
1470 #if 1
1471         ParagraphList::iterator const
1472                 pend = boost::prior(paragraphs().end());
1473         pit = paragraphs().begin();
1474         while (int(pit->y + pit->height) < y && pit != pend)
1475                 ++pit;
1476
1477         RowList::iterator rit = pit->rows.end();
1478         RowList::iterator const rbegin = pit->rows.begin();
1479         do {
1480                 --rit;
1481         } while (rit != rbegin && int(pit->y + rit->y_offset()) > y);
1482
1483         return rit;
1484 #else
1485         pit = boost::prior(paragraphs().end());
1486
1487         RowList::iterator rit = lastRow();
1488         RowList::iterator rbegin = firstRow();
1489
1490         while (rit != rbegin && int(pit->y + rit->y_offset()) > y)
1491                 previousRow(pit, rit);
1492
1493         return rit;
1494 #endif
1495 }
1496
1497
1498 int LyXText::getDepth() const
1499 {
1500         return cursorPar()->getDepth();
1501 }
1502
1503
1504 RowList::iterator LyXText::firstRow() const
1505 {
1506         return paragraphs().front().rows.begin();
1507 }
1508
1509
1510 RowList::iterator LyXText::lastRow() const
1511 {
1512         return boost::prior(endRow());
1513 }
1514
1515
1516 RowList::iterator LyXText::endRow() const
1517 {
1518         return paragraphs().back().rows.end();
1519 }
1520
1521
1522 void LyXText::nextRow(ParagraphList::iterator & pit,
1523         RowList::iterator & rit) const
1524 {
1525         ++rit;
1526         if (rit == pit->rows.end()) {
1527                 ++pit;
1528                 if (pit == paragraphs().end())
1529                         --pit;
1530                 else
1531                         rit = pit->rows.begin();
1532         }
1533 }
1534
1535
1536 void LyXText::previousRow(ParagraphList::iterator & pit,
1537         RowList::iterator & rit) const
1538 {
1539         if (rit != pit->rows.begin())
1540                 --rit;
1541         else {
1542                 BOOST_ASSERT(pit != paragraphs().begin());
1543                 --pit;
1544                 rit = boost::prior(pit->rows.end());
1545         }
1546 }
1547
1548
1549 int LyXText::parOffset(ParagraphList::iterator pit) const
1550 {
1551         return distance(paragraphs().begin(), pit);
1552 }
1553
1554
1555 void LyXText::redoParagraphInternal(ParagraphList::iterator pit)
1556 {
1557         // remove rows of paragraph, keep track of height changes
1558         height_ -= pit->height;
1559
1560         // clear old data
1561         pit->rows.clear();
1562         pit->height = 0;
1563         pit->width = 0;
1564
1565         // redo insets
1566         InsetList::iterator ii = pit->insetlist.begin();
1567         InsetList::iterator iend = pit->insetlist.end();
1568         for (; ii != iend; ++ii) {
1569                 Dimension dim;
1570                 int const w = maxwidth_ - leftMargin(pit) - rightMargin(*pit);
1571                 MetricsInfo mi(bv(), getFont(pit, ii->pos), w);
1572                 ii->inset->metrics(mi, dim);
1573         }
1574
1575         // rebreak the paragraph
1576         pit->setBeginOfBody();
1577         pos_type z = 0;
1578         do {
1579                 Row row(z);
1580                 rowBreakPoint(pit, row);
1581                 setRowWidth(pit, row);
1582                 setHeightOfRow(pit, row);
1583                 row.y_offset(pit->height);
1584                 pit->rows.push_back(row);
1585                 pit->width = std::max(pit->width, row.width());
1586                 pit->height += row.height();
1587                 z = row.endpos();
1588         } while (z < pit->size());
1589
1590         height_ += pit->height;
1591         //lyxerr << "redoParagraph: " << pit->rows.size() << " rows\n";
1592 }
1593
1594
1595 void LyXText::redoParagraphs(ParagraphList::iterator pit,
1596   ParagraphList::iterator end)
1597 {
1598         for ( ; pit != end; ++pit)
1599                 redoParagraphInternal(pit);
1600         updateParPositions();
1601 }
1602
1603
1604 void LyXText::redoParagraph(ParagraphList::iterator pit)
1605 {
1606         redoParagraphInternal(pit);
1607         updateParPositions();
1608 }
1609
1610
1611 void LyXText::fullRebreak()
1612 {
1613         redoParagraphs(paragraphs().begin(), paragraphs().end());
1614         bv()->cursor().resetAnchor();
1615 }
1616
1617
1618 void LyXText::metrics(MetricsInfo & mi, Dimension & dim)
1619 {
1620         //BOOST_ASSERT(mi.base.textwidth);
1621         if (mi.base.textwidth)
1622                 maxwidth_ = mi.base.textwidth;
1623         //lyxerr << "LyXText::metrics: width: " << mi.base.textwidth
1624         //<< " maxWidth: " << maxwidth << "\nfont: " << mi.base.font
1625         //<< endl;
1626
1627         // Rebuild row cache. This recomputes height as well.
1628         redoParagraphs(paragraphs().begin(), paragraphs().end());
1629
1630         width_ = maxParagraphWidth(paragraphs());
1631
1632         // final dimension
1633         dim.asc = firstRow()->ascent_of_text();
1634         dim.des = height_ - dim.asc;
1635         dim.wid = width_;
1636 }
1637
1638
1639 // only used for inset right now. should also be used for main text
1640 void LyXText::draw(PainterInfo & pi, int x, int y) const
1641 {
1642         xo_ = x;
1643         yo_ = y;
1644         paintTextInset(*this, pi, x, y);
1645 }
1646
1647
1648 // only used for inset right now. should also be used for main text
1649 void LyXText::drawSelection(PainterInfo &, int, int) const
1650 {
1651         //lyxerr << "LyXText::drawSelection at " << x << " " << y << endl;
1652 }
1653
1654
1655 bool LyXText::isLastRow(ParagraphList::iterator pit, Row const & row) const
1656 {
1657         return row.endpos() >= pit->size()
1658                && boost::next(pit) == paragraphs().end();
1659 }
1660
1661
1662 bool LyXText::isFirstRow(ParagraphList::iterator pit, Row const & row) const
1663 {
1664         return row.pos() == 0 && pit == paragraphs().begin();
1665 }
1666
1667
1668 void LyXText::getWord(CursorSlice & from, CursorSlice & to,
1669         word_location const loc)
1670 {
1671         Paragraph & from_par = *getPar(from);
1672         switch (loc) {
1673         case lyx::WHOLE_WORD_STRICT:
1674                 if (from.pos() == 0 || from.pos() == from_par.size()
1675                     || from_par.isSeparator(from.pos())
1676                     || from_par.isKomma(from.pos())
1677                     || from_par.isNewline(from.pos())
1678                     || from_par.isSeparator(from.pos() - 1)
1679                     || from_par.isKomma(from.pos() - 1)
1680                     || from_par.isNewline(from.pos() - 1)) {
1681                         to = from;
1682                         return;
1683                 }
1684                 // no break here, we go to the next
1685
1686         case lyx::WHOLE_WORD:
1687                 // Move cursor to the beginning, when not already there.
1688                 if (from.pos() && !from_par.isSeparator(from.pos() - 1)
1689                     && !(from_par.isKomma(from.pos() - 1)
1690                          || from_par.isNewline(from.pos() - 1)))
1691                         cursorLeftOneWord(bv()->cursor());
1692                 break;
1693         case lyx::PREVIOUS_WORD:
1694                 // always move the cursor to the beginning of previous word
1695                 cursorLeftOneWord(bv()->cursor());
1696                 break;
1697         case lyx::NEXT_WORD:
1698                 lyxerr << "LyXText::getWord: NEXT_WORD not implemented yet"
1699                        << endl;
1700                 break;
1701         case lyx::PARTIAL_WORD:
1702                 break;
1703         }
1704         to = from;
1705         Paragraph & to_par = *getPar(to);
1706         while (to.pos() < to_par.size()
1707                && !to_par.isSeparator(to.pos())
1708                && !to_par.isKomma(to.pos())
1709                && !to_par.isNewline(to.pos())
1710                && !to_par.isHfill(to.pos())
1711                && !to_par.isInset(to.pos()))
1712         {
1713                 ++to.pos();
1714         }
1715 }
1716
1717
1718 void LyXText::write(Buffer const & buf, std::ostream & os) const
1719 {
1720         ParagraphList::const_iterator pit = paragraphs().begin();
1721         ParagraphList::const_iterator end = paragraphs().end();
1722         Paragraph::depth_type dth = 0;
1723         for (; pit != end; ++pit)
1724                 pit->write(buf, os, buf.params(), dth);
1725 }
1726
1727
1728 bool LyXText::read(Buffer const & buf, LyXLex & lex)
1729 {
1730         static Change current_change;
1731
1732         bool the_end_read = false;
1733         ParagraphList::iterator pit = paragraphs().begin();
1734         Paragraph::depth_type depth = 0;
1735
1736         while (lex.isOK()) {
1737                 lex.nextToken();
1738                 string token = lex.getString();
1739
1740                 if (token.empty())
1741                         continue;
1742
1743                 if (in_inset_) {
1744
1745                         if (token == "\\end_inset") {
1746                                 the_end_read = true;
1747                                 break;
1748                         }
1749
1750                         if (token == "\\end_document") {
1751                                 lex.printError("\\end_document read in inset! Error in document!");
1752                                 return false;
1753                         }
1754
1755                 } else {
1756
1757                         if (token == "\\end_document") {
1758                                 the_end_read = true;
1759                                 continue;
1760                         }
1761
1762                 }
1763
1764                 // FIXME: ugly.
1765                 int unknown = 0;
1766
1767                 if (token == "\\begin_layout") {
1768                         lex.pushToken(token);
1769
1770                         Paragraph par;
1771                         par.params().depth(depth);
1772                         if (buf.params().tracking_changes)
1773                                 par.trackChanges();
1774                         LyXFont f(LyXFont::ALL_INHERIT, buf.params().language);
1775                         par.setFont(0, f);
1776
1777                         // insert after
1778                         if (pit != paragraphs().end())
1779                                 ++pit;
1780
1781                         pit = paragraphs().insert(pit, par);
1782
1783                         // FIXME: goddamn InsetTabular makes us pass a Buffer
1784                         // not BufferParams
1785                         ::readParagraph(buf, *pit, lex);
1786
1787                 } else if (token == "\\begin_deeper") {
1788                         ++depth;
1789                 } else if (token == "\\end_deeper") {
1790                         if (!depth) {
1791                                 lex.printError("\\end_deeper: " "depth is already null");
1792                         } else {
1793                                 --depth;
1794                         }
1795                 } else {
1796                         ++unknown;
1797                 }
1798
1799         }
1800         return the_end_read;
1801 }
1802
1803
1804 int LyXText::ascent() const
1805 {
1806         return firstRow()->ascent_of_text();
1807 }
1808
1809
1810 int LyXText::descent() const
1811 {
1812         return height_ - firstRow()->ascent_of_text();
1813 }
1814
1815
1816 int LyXText::cursorX(CursorSlice const & cur) const
1817 {
1818         ParagraphList::iterator pit = getPar(cur);
1819         if (pit->rows.empty())
1820                 return xo_;
1821
1822         Row const & row = *pit->getRow(cur.pos());
1823         
1824         pos_type pos = cur.pos();
1825         pos_type cursor_vpos = 0;
1826
1827         RowMetrics const m = computeRowMetrics(pit, row);
1828         double x = m.x;
1829
1830         pos_type const row_pos  = row.pos();
1831         pos_type const end      = row.endpos();
1832
1833         if (end <= row_pos)
1834                 cursor_vpos = row_pos;
1835         else if (pos >= end)
1836                 cursor_vpos = isRTL(*pit) ? row_pos : end;
1837         else if (pos > row_pos && pos >= end)
1838                 // Place cursor after char at (logical) position pos - 1
1839                 cursor_vpos = (bidi.level(pos - 1) % 2 == 0)
1840                         ? bidi.log2vis(pos - 1) + 1 : bidi.log2vis(pos - 1);
1841         else
1842                 // Place cursor before char at (logical) position pos
1843                 cursor_vpos = (bidi.level(pos) % 2 == 0)
1844                         ? bidi.log2vis(pos) : bidi.log2vis(pos) + 1;
1845
1846         pos_type body_pos = pit->beginOfBody();
1847         if (body_pos > 0 &&
1848             (body_pos > end || !pit->isLineSeparator(body_pos - 1)))
1849                 body_pos = 0;
1850
1851         for (pos_type vpos = row_pos; vpos < cursor_vpos; ++vpos) {
1852                 pos_type pos = bidi.vis2log(vpos);
1853                 if (body_pos > 0 && pos == body_pos - 1) {
1854                         x += m.label_hfill
1855                                 + font_metrics::width(pit->layout()->labelsep,
1856                                                       getLabelFont(pit));
1857                         if (pit->isLineSeparator(body_pos - 1))
1858                                 x -= singleWidth(pit, body_pos - 1);
1859                 }
1860
1861                 if (hfillExpansion(*pit, row, pos)) {
1862                         x += singleWidth(pit, pos);
1863                         if (pos >= body_pos)
1864                                 x += m.hfill;
1865                         else
1866                                 x += m.label_hfill;
1867                 } else if (pit->isSeparator(pos)) {
1868                         x += singleWidth(pit, pos);
1869                         if (pos >= body_pos)
1870                                 x += m.separator;
1871                 } else
1872                         x += singleWidth(pit, pos);
1873         }
1874         return xo_ + int(x);
1875 }
1876
1877
1878 int LyXText::cursorY(CursorSlice const & cur) const
1879 {
1880         Paragraph & par = *getPar(cur);
1881         Row & row = *par.getRow(cur.pos());
1882         return yo_ + par.y + row.y_offset() + row.baseline();
1883 }
1884
1885
1886 CursorSlice & LyXText::cursor()
1887 {
1888         //lyxerr << "# accessing slice " << findText(this) << endl;
1889         if (this != bv()->cursor().text()) {
1890                 lyxerr << "cursor: " << bv()->cursor()
1891                         << "\ntext: " << bv()->cursor().text() 
1892                         << "\nthis: " << this << endl;
1893                 BOOST_ASSERT(false);
1894         }
1895         return bv()->cursor().top();
1896 }
1897
1898
1899 CursorSlice const & LyXText::cursor() const
1900 {
1901         if (this != bv()->cursor().text()) {
1902                 lyxerr << "cursor: " << bv()->cursor()
1903                         << "\ntext: " << bv()->cursor().text() 
1904                         << "\nthis: " << this << endl;
1905                 BOOST_ASSERT(false);
1906         }
1907         return bv()->cursor().top();
1908 }
1909
1910
1911 void LyXText::replaceSelection(LCursor & cur)
1912 {
1913         BOOST_ASSERT(this == cur.text());
1914         if (cur.selection()) {
1915                 cutSelection(cur, true, false);
1916                 cur.update();
1917         }
1918 }
1919
1920
1921 // Returns the current font and depth as a message.
1922 string LyXText::currentState(LCursor & cur)
1923 {
1924         BOOST_ASSERT(this == cur.text());
1925         Buffer * buffer = bv()->buffer();
1926         Paragraph const & par = cur.paragraph();
1927         std::ostringstream os;
1928
1929         bool const show_change = buffer->params().tracking_changes
1930                 && cur.pos() != cur.lastpos()
1931                 && par.lookupChange(cur.pos()) != Change::UNCHANGED;
1932
1933         if (show_change) {
1934                 Change change = par.lookupChangeFull(cur.pos());
1935                 Author const & a = buffer->params().authors().get(change.author);
1936                 os << _("Change: ") << a.name();
1937                 if (!a.email().empty())
1938                         os << " (" << a.email() << ")";
1939                 if (change.changetime)
1940                         os << _(" at ") << ctime(&change.changetime);
1941                 os << " : ";
1942         }
1943
1944         // I think we should only show changes from the default
1945         // font. (Asger)
1946         LyXFont font = real_current_font;
1947         font.reduce(buffer->params().getLyXTextClass().defaultfont());
1948
1949         // avoid _(...) re-entrance problem
1950         string const s = font.stateText(&buffer->params());
1951         os << bformat(_("Font: %1$s"), s);
1952
1953         // os << bformat(_("Font: %1$s"), font.stateText(&buffer->params));
1954
1955         // The paragraph depth
1956         int depth = getDepth();
1957         if (depth > 0)
1958                 os << bformat(_(", Depth: %1$s"), tostr(depth));
1959
1960         // The paragraph spacing, but only if different from
1961         // buffer spacing.
1962         Spacing const & spacing = par.params().spacing();
1963         if (!spacing.isDefault()) {
1964                 os << _(", Spacing: ");
1965                 switch (spacing.getSpace()) {
1966                 case Spacing::Single:
1967                         os << _("Single");
1968                         break;
1969                 case Spacing::Onehalf:
1970                         os << _("OneHalf");
1971                         break;
1972                 case Spacing::Double:
1973                         os << _("Double");
1974                         break;
1975                 case Spacing::Other:
1976                         os << _("Other (") << spacing.getValue() << ')';
1977                         break;
1978                 case Spacing::Default:
1979                         // should never happen, do nothing
1980                         break;
1981                 }
1982         }
1983 #ifdef DEVEL_VERSION
1984         os << _(", Paragraph: ") << par.id();
1985         os << _(", Position: ") << cur.pos();
1986         Row & row = cur.textRow();
1987         os << bformat(_(", Row b:%1$d e:%2$d"), row.pos(), row.endpos());
1988         os << _(", Inset: ");
1989         InsetOld * inset = par.inInset();
1990         if (inset)
1991                 os << inset << " owner: " << inset->owner();
1992         else
1993                 os << -1;
1994 #endif
1995         return os.str();
1996 }
1997
1998
1999 string LyXText::getPossibleLabel(LCursor & cur) const
2000 {
2001         ParagraphList & plist = paragraphs();
2002         ParagraphList::iterator pit = getPar(cur.par());
2003
2004         LyXLayout_ptr layout = pit->layout();
2005
2006         if (layout->latextype == LATEX_PARAGRAPH && pit != plist.begin()) {
2007                 ParagraphList::iterator pit2 = boost::prior(pit);
2008
2009                 LyXLayout_ptr const & layout2 = pit2->layout();
2010
2011                 if (layout2->latextype != LATEX_PARAGRAPH) {
2012                         pit = pit2;
2013                         layout = layout2;
2014                 }
2015         }
2016
2017         string text = layout->latexname().substr(0, 3);
2018         if (layout->latexname() == "theorem")
2019                 text = "thm"; // Create a correct prefix for prettyref
2020
2021         text += ':';
2022         if (layout->latextype == LATEX_PARAGRAPH || lyxrc.label_init_length < 0)
2023                 text.erase();
2024
2025         string par_text = pit->asString(*cur.bv().buffer(), false);
2026         for (int i = 0; i < lyxrc.label_init_length; ++i) {
2027                 if (par_text.empty())
2028                         break;
2029                 string head;
2030                 par_text = split(par_text, head, ' ');
2031                 // Is it legal to use spaces in labels ?
2032                 if (i > 0)
2033                         text += '-';
2034                 text += head;
2035         }
2036
2037         return text;
2038 }
2039
2040
2041 int LyXText::dist(int x, int y) const
2042 {
2043         int xx = 0;
2044         int yy = 0;
2045
2046         if (x < xo_)
2047                 xx = xo_ - x;
2048         else if (x > xo_ + width_)
2049                 xx = x - xo_ - width_;
2050
2051         if (y < yo_ - ascent())
2052                 yy = yo_ - ascent() - y;
2053         else if (y > yo_ + descent())
2054                 yy = y - yo_ - descent();
2055
2056         return xx + yy;
2057 }