]> git.lyx.org Git - lyx.git/blobdiff - src/text.C
Scons: update_po target, part one: language_l10n.pot
[lyx.git] / src / text.C
index 2f98e3df22f989239cca398e3b81d8d5f9fec669..905ee32d556433b9c75e2413be4c03121aa9c29a 100644 (file)
@@ -56,8 +56,8 @@
 
 #include "insets/insettext.h"
 #include "insets/insetbibitem.h"
+#include "insets/insetcaption.h"
 #include "insets/insethfill.h"
-#include "insets/insetlatexaccent.h"
 #include "insets/insetline.h"
 #include "insets/insetnewline.h"
 #include "insets/insetpagebreak.h"
@@ -97,62 +97,6 @@ using frontend::FontMetrics;
 
 namespace {
 
-int numberOfSeparators(Paragraph const & par, Row const & row)
-{
-       pos_type const first = max(row.pos(), par.beginOfBody());
-       pos_type const last = row.endpos() - 1;
-       int n = 0;
-       for (pos_type p = first; p < last; ++p) {
-               if (par.isSeparator(p))
-                       ++n;
-       }
-       return n;
-}
-
-
-int numberOfLabelHfills(Paragraph const & par, Row const & row)
-{
-       pos_type last = row.endpos() - 1;
-       pos_type first = row.pos();
-
-       // hfill *DO* count at the beginning of paragraphs!
-       if (first) {
-               while (first < last && par.isHfill(first))
-                       ++first;
-       }
-
-       last = min(last, par.beginOfBody());
-       int n = 0;
-       for (pos_type p = first; p < last; ++p) {
-               if (par.isHfill(p))
-                       ++n;
-       }
-       return n;
-}
-
-
-int numberOfHfills(Paragraph const & par, Row const & row)
-{
-       pos_type const last = row.endpos();
-       pos_type first = row.pos();
-
-       // hfill *DO* count at the beginning of paragraphs!
-       if (first) {
-               while (first < last && par.isHfill(first))
-                       ++first;
-       }
-
-       first = max(first, par.beginOfBody());
-
-       int n = 0;
-       for (pos_type p = first; p < last; ++p) {
-               if (par.isHfill(p))
-                       ++n;
-       }
-       return n;
-}
-
-
 void readParToken(Buffer const & buf, Paragraph & par, LyXLex & lex,
        string const & token, LyXFont & font, Change & change, ErrorList & errorList)
 {
@@ -295,10 +239,6 @@ void readParToken(Buffer const & buf, Paragraph & par, LyXLex & lex,
                        par.insertInset(par.size(), inset.release(),
                                        font, change);
                }
-       } else if (token == "\\i") {
-               auto_ptr<InsetBase> inset(new InsetLatexAccent);
-               inset->read(buf, lex);
-               par.insertInset(par.size(), inset.release(), font, change);
        } else if (token == "\\backslash") {
                par.insertChar(par.size(), '\\', font, change);
        } else if (token == "\\newline") {
@@ -635,382 +575,12 @@ int LyXText::leftMargin(Buffer const & buffer, int max_width,
 }
 
 
-int LyXText::labelEnd(Buffer const & buffer, int max_width, pit_type const pit) const
-{
-       // labelEnd is only needed if the layout fills a flushleft label.
-       if (pars_[pit].layout()->margintype != MARGIN_MANUAL)
-               return 0;
-       // return the beginning of the body
-       return leftMargin(buffer, max_width, pit);
-}
-
-
-namespace {
-
-// this needs special handling - only newlines count as a break point
-pos_type addressBreakPoint(pos_type i, Paragraph const & par)
-{
-       pos_type const end = par.size();
-
-       for (; i < end; ++i)
-               if (par.isNewline(i))
-                       return i + 1;
-
-       return end;
-}
-
-};
-
-
-void LyXText::rowBreakPoint(Buffer const & buffer, int right_margin,
-               int max_width, pit_type const pit,      Row & row) const
-{
-       Paragraph const & par = pars_[pit];
-       pos_type const end = par.size();
-       pos_type const pos = row.pos();
-       if (pos == end) {
-               row.endpos(end);
-               return;
-       }
-
-       // maximum pixel width of a row
-       int width = max_width - right_margin; // - leftMargin(buffer, max_width, pit, row);
-       if (width < 0) {
-               row.endpos(end);
-               return;
-       }
-
-       LyXLayout_ptr const & layout = par.layout();
-
-       if (layout->margintype == MARGIN_RIGHT_ADDRESS_BOX) {
-               row.endpos(addressBreakPoint(pos, par));
-               return;
-       }
-
-       pos_type const body_pos = par.beginOfBody();
-
-
-       // Now we iterate through until we reach the right margin
-       // or the end of the par, then choose the possible break
-       // nearest that.
-
-       int label_end = labelEnd(buffer, max_width, pit);
-       int const left = leftMargin(buffer, max_width, pit, pos);
-       int x = left;
-
-       // pixel width since last breakpoint
-       int chunkwidth = 0;
-
-       FontIterator fi = FontIterator(buffer, *this, par, pos);
-       pos_type point = end;
-       pos_type i = pos;
-       FontMetrics const & fm = theFontMetrics(getLabelFont(buffer, par));
-       for ( ; i < end; ++i, ++fi) {
-               char_type const c = par.getChar(i);
-               int thiswidth = singleWidth(par, i, c, *fi);
-
-               // add the auto-hfill from label end to the body
-               if (body_pos && i == body_pos) {
-                       docstring lsep = from_utf8(layout->labelsep);
-                       int add = fm.width(lsep);
-                       if (par.isLineSeparator(i - 1))
-                               add -= singleWidth(buffer, par, i - 1);
-
-                       add = std::max(add, label_end - x);
-                       thiswidth += add;
-               }
-
-               x += thiswidth;
-               chunkwidth += thiswidth;
-
-               // break before a character that will fall off
-               // the right of the row
-               if (x >= width) {
-                       // if no break before, break here
-                       if (point == end || chunkwidth >= width - left) {
-                               if (i > pos)
-                                       point = i;
-                               else
-                                       point = i + 1;
-
-                       }
-                       // exit on last registered breakpoint:
-                       break;
-               }
-
-               if (par.isNewline(i)) {
-                       point = i + 1;
-                       break;
-               }
-               // Break before...
-               if (i + 1 < end) {
-                       if (par.isInset(i + 1) && par.getInset(i + 1)->display()) {
-                               point = i + 1;
-                               break;
-                       }
-                       // ...and after.
-                       if (par.isInset(i) && par.getInset(i)->display()) {
-                               point = i + 1;
-                               break;
-                       }
-               }
-
-               if (!par.isInset(i) || par.getInset(i)->isChar()) {
-                       // some insets are line separators too
-                       if (par.isLineSeparator(i)) {
-                               // register breakpoint:
-                               point = i + 1;
-                               chunkwidth = 0;
-                       }
-               }
-       }
-
-       // maybe found one, but the par is short enough.
-       if (i == end && x < width)
-               point = end;
-
-       // manual labels cannot be broken in LaTeX. But we
-       // want to make our on-screen rendering of footnotes
-       // etc. still break
-       if (body_pos && point < body_pos)
-               point = body_pos;
-
-       row.endpos(point);
-}
-
-
-void LyXText::setRowWidth(Buffer const & buffer, int right_margin,
-               int max_width, pit_type const pit, Row & row) const
-{
-       // get the pure distance
-       pos_type const end = row.endpos();
-
-       Paragraph const & par = pars_[pit];
-       docstring const labelsep = from_utf8(par.layout()->labelsep);
-       int w = leftMargin(buffer, max_width, pit, row.pos());
-       int label_end = labelEnd(buffer, max_width, pit);
-
-       pos_type const body_pos = par.beginOfBody();
-       pos_type i = row.pos();
-
-       FontMetrics const & fm = theFontMetrics(getLabelFont(buffer, par));
-
-       if (i < end) {
-               FontIterator fi = FontIterator(buffer, *this, par, i);
-               for ( ; i < end; ++i, ++fi) {
-                       if (body_pos > 0 && i == body_pos) {
-                               w += fm.width(labelsep);
-                               if (par.isLineSeparator(i - 1))
-                                       w -= singleWidth(buffer, par, i - 1);
-                               w = max(w, label_end);
-                       }
-                       char_type const c = par.getChar(i);
-                       w += singleWidth(par, i, c, *fi);
-               }
-       }
-
-       if (body_pos > 0 && body_pos >= end) {
-               w += fm.width(labelsep);
-               if (end > 0 && par.isLineSeparator(end - 1))
-                       w -= singleWidth(buffer, par, end - 1);
-               w = max(w, label_end);
-       }
-
-       row.width(w + right_margin);
-}
-
-
 LColor_color LyXText::backgroundColor() const
 {
        return LColor_color(LColor::color(background_color_));
 }
 
 
-void LyXText::setHeightOfRow(BufferView const & bv, pit_type const pit,
-               Row & row)
-{
-       Paragraph const & par = pars_[pit];
-       // get the maximum ascent and the maximum descent
-       double layoutasc = 0;
-       double layoutdesc = 0;
-       double const dh = defaultRowHeight();
-
-       // ok, let us initialize the maxasc and maxdesc value.
-       // Only the fontsize count. The other properties
-       // are taken from the layoutfont. Nicer on the screen :)
-       LyXLayout_ptr const & layout = par.layout();
-
-       // as max get the first character of this row then it can
-       // increase but not decrease the height. Just some point to
-       // start with so we don't have to do the assignment below too
-       // often.
-       Buffer const & buffer = *bv.buffer();
-       LyXFont font = getFont(buffer, par, row.pos());
-       LyXFont::FONT_SIZE const tmpsize = font.size();
-       font = getLayoutFont(buffer, pit);
-       LyXFont::FONT_SIZE const size = font.size();
-       font.setSize(tmpsize);
-
-       LyXFont labelfont = getLabelFont(buffer, par);
-
-       FontMetrics const & labelfont_metrics = theFontMetrics(labelfont);
-       FontMetrics const & fontmetrics = theFontMetrics(font);
-
-       // these are minimum values
-       double const spacing_val = layout->spacing.getValue()
-               * spacing(*bv.buffer(), par);
-       //lyxerr << "spacing_val = " << spacing_val << endl;
-       int maxasc  = int(fontmetrics.maxAscent()  * spacing_val);
-       int maxdesc = int(fontmetrics.maxDescent() * spacing_val);
-
-       // insets may be taller
-       InsetList::const_iterator ii = par.insetlist.begin();
-       InsetList::const_iterator iend = par.insetlist.end();
-       for ( ; ii != iend; ++ii) {
-               if (ii->pos >= row.pos() && ii->pos < row.endpos()) {
-                       maxasc  = max(maxasc,  ii->inset->ascent());
-                       maxdesc = max(maxdesc, ii->inset->descent());
-               }
-       }
-
-       // Check if any custom fonts are larger (Asger)
-       // This is not completely correct, but we can live with the small,
-       // cosmetic error for now.
-       int labeladdon = 0;
-       pos_type const pos_end = row.endpos();
-
-       LyXFont::FONT_SIZE maxsize =
-               par.highestFontInRange(row.pos(), pos_end, size);
-       if (maxsize > font.size()) {
-               font.setSize(maxsize);
-               maxasc  = max(maxasc,  fontmetrics.maxAscent());
-               maxdesc = max(maxdesc, fontmetrics.maxDescent());
-       }
-
-       // This is nicer with box insets:
-       ++maxasc;
-       ++maxdesc;
-
-       row.ascent(maxasc);
-
-       // is it a top line?
-       if (row.pos() == 0) {
-               Buffer const & buffer = *bv.buffer();
-               BufferParams const & bufparams = buffer.params();
-               // some parksips VERY EASY IMPLEMENTATION
-               if (bufparams.paragraph_separation
-                   == BufferParams::PARSEP_SKIP
-                       && pit != 0
-                       && ((layout->isParagraph() && par.getDepth() == 0)
-                           || (pars_[pit - 1].layout()->isParagraph()
-                               && pars_[pit - 1].getDepth() == 0)))
-               {
-                               maxasc += bufparams.getDefSkip().inPixels(bv);
-               }
-
-               if (par.params().startOfAppendix())
-                       maxasc += int(3 * dh);
-
-               // This is special code for the chapter, since the label of this
-               // layout is printed in an extra row
-               if (layout->counter == "chapter"
-                   && !par.params().labelString().empty()) {
-                       labeladdon = int(labelfont_metrics.maxHeight()
-                                    * layout->spacing.getValue()
-                                    * spacing(buffer, par));
-               }
-
-               // special code for the top label
-               if ((layout->labeltype == LABEL_TOP_ENVIRONMENT
-                    || layout->labeltype == LABEL_BIBLIO
-                    || layout->labeltype == LABEL_CENTERED_TOP_ENVIRONMENT)
-                   && isFirstInSequence(pit, paragraphs())
-                   && !par.getLabelstring().empty())
-               {
-                       labeladdon = int(
-                                 labelfont_metrics.maxHeight()
-                                       * layout->spacing.getValue()
-                                       * spacing(*bv.buffer(), par)
-                               + (layout->topsep + layout->labelbottomsep) * dh);
-               }
-
-               // Add the layout spaces, for example before and after
-               // a section, or between the items of a itemize or enumerate
-               // environment.
-
-               pit_type prev = depthHook(pit, pars_, par.getDepth());
-               if (prev != pit
-                   && pars_[prev].layout() == layout
-                   && pars_[prev].getDepth() == par.getDepth()
-                   && pars_[prev].getLabelWidthString() == par.getLabelWidthString())
-               {
-                       layoutasc = layout->itemsep * dh;
-               } else if (pit != 0 || row.pos() != 0) {
-                       if (layout->topsep > 0)
-                               layoutasc = layout->topsep * dh;
-               }
-
-               prev = outerHook(pit, pars_);
-               if (prev != pit_type(pars_.size())) {
-                       maxasc += int(pars_[prev].layout()->parsep * dh);
-               } else if (pit != 0) {
-                       if (pars_[pit - 1].getDepth() != 0 ||
-                                       pars_[pit - 1].layout() == layout) {
-                               maxasc += int(layout->parsep * dh);
-                       }
-               }
-       }
-
-       // is it a bottom line?
-       if (row.endpos() >= par.size()) {
-               // add the layout spaces, for example before and after
-               // a section, or between the items of a itemize or enumerate
-               // environment
-               pit_type nextpit = pit + 1;
-               if (nextpit != pit_type(pars_.size())) {
-                       pit_type cpit = pit;
-                       double usual = 0;
-                       double unusual = 0;
-
-                       if (pars_[cpit].getDepth() > pars_[nextpit].getDepth()) {
-                               usual = pars_[cpit].layout()->bottomsep * dh;
-                               cpit = depthHook(cpit, paragraphs(), pars_[nextpit].getDepth());
-                               if (pars_[cpit].layout() != pars_[nextpit].layout()
-                                       || pars_[nextpit].getLabelWidthString() != pars_[cpit].getLabelWidthString())
-                               {
-                                       unusual = pars_[cpit].layout()->bottomsep * dh;
-                               }
-                               layoutdesc = max(unusual, usual);
-                       } else if (pars_[cpit].getDepth() == pars_[nextpit].getDepth()) {
-                               if (pars_[cpit].layout() != pars_[nextpit].layout()
-                                       || pars_[nextpit].getLabelWidthString() != pars_[cpit].getLabelWidthString())
-                                       layoutdesc = int(pars_[cpit].layout()->bottomsep * dh);
-                       }
-               }
-       }
-
-       // incalculate the layout spaces
-       maxasc  += int(layoutasc  * 2 / (2 + pars_[pit].getDepth()));
-       maxdesc += int(layoutdesc * 2 / (2 + pars_[pit].getDepth()));
-
-       // FIXME: the correct way is to do the following is to move the 
-       // following code in another method specially tailored for the 
-       // main LyXText. The following test is thus bogus.
-       LyXText const & text = buffer.text();
-       // Top and bottom margin of the document (only at top-level)
-       if (&text == this) {
-               if (pit == 0 && row.pos() == 0)
-                       maxasc += 20;
-               if (pit + 1 == pit_type(pars_.size()) &&
-                   row.endpos() == par.size())
-                       maxdesc += 20;
-       }
-
-       row.ascent(maxasc + labeladdon);
-       row.descent(maxdesc);
-}
-
-
 void LyXText::breakParagraph(LCursor & cur, bool keep_layout)
 {
        BOOST_ASSERT(this == cur.text());
@@ -1067,8 +637,10 @@ void LyXText::breakParagraph(LCursor & cur, bool keep_layout)
                        pars_[next_par].applyLayout(tclass.defaultLayout());
        }
 
-       while (!pars_[next_par].empty() && pars_[next_par].isNewline(0))
-               pars_[next_par].eraseChar(0, cur.buffer().params().trackChanges);
+       while (!pars_[next_par].empty() && pars_[next_par].isNewline(0)) {
+               if (!pars_[next_par].eraseChar(0, cur.buffer().params().trackChanges))
+                       break; // the character couldn't be deleted physically due to change tracking
+       }
 
        ParIterator current_it(cur);
        ParIterator last_it(cur);
@@ -1173,6 +745,7 @@ void LyXText::insertChar(LCursor & cur, char_type c)
        }
 
        par.insertChar(cur.pos(), c, current_font, cur.buffer().params().trackChanges);
+       checkBufferStructure(cur.buffer(), cur);
 
 //             cur.updateFlags(Update::Force);
        setCursor(cur.top(), cur.pit(), cur.pos() + 1);
@@ -1252,6 +825,7 @@ void LyXText::selectWord(LCursor & cur, word_location loc)
        cur.resetAnchor();
        setCursor(cur, to.pit(), to.pos());
        cur.setSelection();
+       cap::saveSelection(cur);
 }
 
 
@@ -1267,71 +841,177 @@ bool LyXText::selectWordWhenUnderCursor(LCursor & cur, word_location loc)
 }
 
 
-void LyXText::acceptChange(LCursor & cur)
+void LyXText::acceptOrRejectChanges(LCursor & cur, ChangeOp op)
 {
-       // FIXME: change tracking (MG)
-
        BOOST_ASSERT(this == cur.text());
 
-       if (!cur.selection() && cur.lastpos() != 0)
+       if (!cur.selection())
                return;
 
-       // FIXME: we must handle start = end = 0
+       recordUndoSelection(cur, Undo::ATOMIC);
+
+       pit_type begPit = cur.selectionBegin().pit();
+       pit_type endPit = cur.selectionEnd().pit();
 
-       recordUndoSelection(cur, Undo::INSERT);
+       pos_type begPos = cur.selectionBegin().pos();
+       pos_type endPos = cur.selectionEnd().pos();
 
-       DocIterator it = cur.selectionBegin();
-       DocIterator et = cur.selectionEnd();
-       pit_type pit = it.pit();
-       for (; pit <= et.pit(); ++pit) {
-               pos_type left  = (pit == it.pit() ? it.pos() : 0);
-               pos_type right = (pit == et.pit() ? et.pos() : pars_[pit].size());
-               pars_[pit].acceptChanges(left, right);
+       // keep selection info, because endPos becomes invalid after the first loop
+       bool endsBeforeEndOfPar = (endPos < pars_[endPit].size());
 
-               // merge paragraph if appropriate:
-               // if (right >= pars_[pit].size() && pit + 1 < et.pit() &&
-               //    pars_[pit].isDeleted(pars_[pit].size())) {
-               //      setCursorIntern(cur, pit + 1, 0);
-               //      backspacePos0(cur);
-               //}
+       // first, accept/reject changes within each individual paragraph (do not consider end-of-par)
+       
+       for (pit_type pit = begPit; pit <= endPit; ++pit) {
+               pos_type parSize = pars_[pit].size();
+
+               // ignore empty paragraphs; otherwise, an assertion will fail for
+               // acceptChanges(bparams, 0, 0) or rejectChanges(bparams, 0, 0)
+               if (parSize == 0)
+                       continue;
+
+               // do not consider first paragraph if the cursor starts at pos size()
+               if (pit == begPit && begPos == parSize)
+                       continue;
+
+               // do not consider last paragraph if the cursor ends at pos 0
+               if (pit == endPit && endPos == 0) 
+                       break; // last iteration anyway
+
+               pos_type left  = (pit == begPit ? begPos : 0);
+               pos_type right = (pit == endPit ? endPos : parSize);
+
+               if (op == ACCEPT) {
+                       pars_[pit].acceptChanges(cur.buffer().params(), left, right);
+               } else {
+                       pars_[pit].rejectChanges(cur.buffer().params(), left, right);
+               }
        }
+       
+       // next, accept/reject imaginary end-of-par characters
+       for (pit_type pit = begPit; pit <= endPit; ++pit) {
+               pos_type pos = pars_[pit].size();
+
+               // skip if the selection ends before the end-of-par
+               if (pit == endPit && endsBeforeEndOfPar)
+                       break; // last iteration anyway
+
+               // skip if this is not the last paragraph of the document
+               // note: the user should be able to accept/reject the par break of the last par!
+               if (pit == endPit && pit != pars_.size() - 1)
+                       break; // last iteration anway
+
+               if (op == ACCEPT) {
+                       if (pars_[pit].isInserted(pos)) {
+                               pars_[pit].setChange(pos, Change(Change::UNCHANGED));
+                       } else if (pars_[pit].isDeleted(pos)) {
+                               if (pit == pars_.size() - 1) {
+                                       // we cannot remove a par break at the end of the last paragraph;
+                                       // instead, we mark it unchanged
+                                       pars_[pit].setChange(pos, Change(Change::UNCHANGED));
+                               } else {
+                                       mergeParagraph(cur.buffer().params(), pars_, pit);
+                                       --endPit;
+                                       --pit;
+                               }
+                       }
+               } else {
+                       if (pars_[pit].isDeleted(pos)) {
+                               pars_[pit].setChange(pos, Change(Change::UNCHANGED));
+                       } else if (pars_[pit].isInserted(pos)) {
+                               if (pit == pars_.size() - 1) {
+                                       // we mark the par break at the end of the last paragraph unchanged
+                                       pars_[pit].setChange(pos, Change(Change::UNCHANGED));
+                               } else {
+                                       mergeParagraph(cur.buffer().params(), pars_, pit);
+                                       --endPit;
+                                       --pit;
+                               }
+                       }
+               }
+       }
+
+       // finally, invoke the DEPM
+
+       deleteEmptyParagraphMechanism(begPit, endPit, cur.buffer().params().trackChanges);
+
+       // 
+
        finishUndo();
        cur.clearSelection();
-       setCursorIntern(cur, it.pit(), 0);
+       setCursorIntern(cur, begPit, begPos);
+       cur.updateFlags(Update::Force);
+       updateLabels(cur.buffer());
 }
 
 
-void LyXText::rejectChange(LCursor & cur)
+void LyXText::acceptChanges(BufferParams const & bparams)
 {
-       // FIXME: change tracking (MG)
+       pit_type pars_size = static_cast<pit_type>(pars_.size());
 
-       BOOST_ASSERT(this == cur.text());
+       // first, accept changes within each individual paragraph
+       // (do not consider end-of-par)
+       for (pit_type pit = 0; pit < pars_size; ++pit) {
+               if (!pars_[pit].empty())   // prevent assertion failure 
+                       pars_[pit].acceptChanges(bparams, 0, pars_[pit].size());
+       }
 
-       if (!cur.selection() && cur.lastpos() != 0)
-               return;
+       // next, accept imaginary end-of-par characters
+       for (pit_type pit = 0; pit < pars_size; ++pit) {
+               pos_type pos = pars_[pit].size();
+
+               if (pars_[pit].isInserted(pos)) {
+                       pars_[pit].setChange(pos, Change(Change::UNCHANGED));
+               } else if (pars_[pit].isDeleted(pos)) {
+                       if (pit == pars_size - 1) {
+                               // we cannot remove a par break at the end of the last
+                               // paragraph; instead, we mark it unchanged
+                               pars_[pit].setChange(pos, Change(Change::UNCHANGED));
+                       } else {
+                               mergeParagraph(bparams, pars_, pit);
+                               --pit;
+                               --pars_size;
+                       }
+               }
+       }
 
-       // FIXME: we must handle start = end = 0
+       // finally, invoke the DEPM
+       deleteEmptyParagraphMechanism(0, pars_size - 1, bparams.trackChanges);
+}
 
-       recordUndoSelection(cur, Undo::INSERT);
 
-       DocIterator it = cur.selectionBegin();
-       DocIterator et = cur.selectionEnd();
-       pit_type pit = it.pit();
-       for (; pit <= et.pit(); ++pit) {
-               pos_type left  = (pit == it.pit() ? it.pos() : 0);
-               pos_type right = (pit == et.pit() ? et.pos() : pars_[pit].size());
-               pars_[pit].rejectChanges(left, right);
+void LyXText::rejectChanges(BufferParams const & bparams)
+{
+       pit_type pars_size = static_cast<pit_type>(pars_.size());
 
-               // merge paragraph if appropriate:      
-               // if (right >= pars_[pit].size() && pit + 1 < et.pit() &&
-               //    pars_[pit].isInserted(pars_[pit].size())) {
-               //      setCursorIntern(cur, pit + 1, 0);
-               //      backspacePos0(cur);
-               //}
+       // first, reject changes within each individual paragraph
+       // (do not consider end-of-par)         
+       for (pit_type pit = 0; pit < pars_size; ++pit) {
+               if (!pars_[pit].empty())   // prevent assertion failure 
+                       pars_[pit].rejectChanges(bparams, 0, pars_[pit].size());
        }
-       finishUndo();
-       cur.clearSelection();
-       setCursorIntern(cur, it.pit(), 0);
+
+       // next, reject imaginary end-of-par characters
+       for (pit_type pit = 0; pit < pars_size; ++pit) {
+               pos_type pos = pars_[pit].size();
+
+               if (pars_[pit].isDeleted(pos)) {
+                       pars_[pit].setChange(pos, Change(Change::UNCHANGED));
+               } else if (pars_[pit].isInserted(pos)) {
+                       if (pit == pars_size - 1) {
+                               // we mark the par break at the end of the last
+                               // paragraph unchanged
+                               pars_[pit].setChange(pos, Change(Change::UNCHANGED));
+                       } else {
+                               mergeParagraph(bparams, pars_, pit);
+                               --pit;
+                               --pars_size;
+                       }
+               }
+       }
+
+       // finally, invoke the DEPM
+       deleteEmptyParagraphMechanism(0, pars_size - 1, bparams.trackChanges);
 }
 
 
@@ -1347,6 +1027,7 @@ void LyXText::deleteWordForward(LCursor & cur)
                cursorRightOneWord(cur);
                cur.setSelection();
                cutSelection(cur, true, false);
+               checkBufferStructure(cur.buffer(), cur);
        }
 }
 
@@ -1363,6 +1044,7 @@ void LyXText::deleteWordBackward(LCursor & cur)
                cursorLeftOneWord(cur);
                cur.setSelection();
                cutSelection(cur, true, false);
+               checkBufferStructure(cur.buffer(), cur);
        }
 }
 
@@ -1384,6 +1066,7 @@ void LyXText::deleteLineForward(LCursor & cur)
                        deleteWordForward(cur);
                else
                        cutSelection(cur, true, false);
+               checkBufferStructure(cur.buffer(), cur);
        }
 }
 
@@ -1437,6 +1120,7 @@ void LyXText::changeCase(LCursor & cur, LyXText::TextCase action)
                //pars_[pit].setChar(pos, c);
                ++pos;
        }
+       checkBufferStructure(cur.buffer(), cur);
 }
 
 
@@ -1450,9 +1134,11 @@ bool LyXText::erase(LCursor & cur)
                // this is the code for a normal delete, not pasting
                // any paragraphs
                recordUndo(cur, Undo::DELETE);
-               par.eraseChar(cur.pos(), cur.buffer().params().trackChanges);
-               if (par.isDeleted(cur.pos()))
+               if(!par.eraseChar(cur.pos(), cur.buffer().params().trackChanges)) {
+                       // the character has been logically deleted only => skip it
                        cur.forwardPosNoDescend();
+               }
+               checkBufferStructure(cur.buffer(), cur);
                needsUpdate = true;
        } else {
                if (cur.pit() == cur.lastpit())
@@ -1472,6 +1158,7 @@ bool LyXText::erase(LCursor & cur)
                // Make sure the cursor is correct. Is this really needed?
                // No, not really... at least not here!
                cur.text()->setCursor(cur.top(), cur.pit(), cur.pos());
+               checkBufferStructure(cur.buffer(), cur);
        }
        
        return needsUpdate;
@@ -1559,6 +1246,7 @@ bool LyXText::backspace(LCursor & cur)
                setCursorIntern(cur, cur.pit(), cur.pos() - 1,
                                false, cur.boundary());
                cur.paragraph().eraseChar(cur.pos(), cur.buffer().params().trackChanges);
+               checkBufferStructure(cur.buffer(), cur);
        }
 
        if (cur.pos() == cur.lastpos())
@@ -1854,8 +1542,6 @@ int LyXText::cursorX(BufferView const & bv, CursorSlice const & sl,
        if (pm.rows().empty())
                return 0;
 
-       int max_width = tm.maxWidth();
-
        pos_type ppos = sl.pos();
        // Correct position in front of big insets
        bool const boundary_correction = ppos != 0 && boundary;
@@ -1867,7 +1553,6 @@ int LyXText::cursorX(BufferView const & bv, CursorSlice const & sl,
        pos_type cursor_vpos = 0;
 
        Buffer const & buffer = *bv.buffer();
-       int const right_margin = tm.rightMargin(pm);
        RowMetrics const m = tm.computeRowMetrics(pit, row);
        double x = m.x;
 
@@ -1973,7 +1658,7 @@ docstring LyXText::currentState(LCursor & cur)
        odocstringstream os;
 
        if (buf.params().trackChanges)
-               os << "[C] ";
+               os << _("[Change Tracking] ");
 
        Change change = par.lookupChange(cur.pos());
 
@@ -2029,6 +1714,13 @@ docstring LyXText::currentState(LCursor & cur)
        os << _(", Paragraph: ") << cur.pit();
        os << _(", Id: ") << par.id();
        os << _(", Position: ") << cur.pos();
+       // FIXME: Why is the check for par.size() needed?
+       // We are called with cur.pos() == par.size() quite often.
+       if (!par.empty() && cur.pos() < par.size()) {
+               // Force output of code point, not character
+               size_t const c = par.getChar(cur.pos());
+               os << _(", Char: 0x") << std::hex << c;
+       }
        os << _(", Boundary: ") << cur.boundary();
 //     Row & row = cur.textRow();
 //     os << bformat(_(", Row b:%1$d e:%2$d"), row.pos(), row.endpos());
@@ -2043,37 +1735,7 @@ docstring LyXText::getPossibleLabel(LCursor & cur) const
 
        LyXLayout_ptr layout = pars_[pit].layout();
 
-       if (layout->latextype == LATEX_PARAGRAPH && pit != 0) {
-               LyXLayout_ptr const & layout2 = pars_[pit - 1].layout();
-               if (layout2->latextype != LATEX_PARAGRAPH) {
-                       --pit;
-                       layout = layout2;
-               }
-       }
-
-       docstring name = from_ascii(layout->latexname());
-
-       // for captions, we want the abbreviation of the float type
-       if (layout->labeltype == LABEL_SENSITIVE) {
-               // Search for the first float or wrap inset in the iterator
-               for (int i = cur.depth(); --i >= 0; ) {
-                       InsetBase * const in = &cur[i].inset();
-                       if (in->lyxCode() == InsetBase::FLOAT_CODE
-                           || in->lyxCode() == InsetBase::WRAP_CODE) {
-                               name = in->getInsetName();
-                               break;
-                       }
-               }
-       }
-
-       docstring text = name.substr(0, 3);
-       if (name == "theorem")
-               text = from_ascii("thm"); // Create a correct prefix for prettyref
-
-       text += ':';
-       if (layout->latextype == LATEX_PARAGRAPH || lyxrc.label_init_length < 0)
-               text.erase();
-
+       docstring text;
        docstring par_text = pars_[pit].asString(cur.buffer(), false);
        for (int i = 0; i < lyxrc.label_init_length; ++i) {
                if (par_text.empty())
@@ -2086,53 +1748,51 @@ docstring LyXText::getPossibleLabel(LCursor & cur) const
                text += head;
        }
 
-       return text;
-}
+       // No need for a prefix if the user said so.
+       if (lyxrc.label_init_length <= 0)
+               return text;
 
+       // Will contain the label type.
+       docstring name;
 
-//pos_type LyXText::x2pos(pit_type pit, int row, int x) const
-//{
-//     int lastx = 0;
-//     int currx = 0;
-//     Paragraph const & par = pars_[pit];
-//     Row const & r = par.rows()[row];
-//     int pos = r.pos();
-//     for (; currx < x && pos < r.endpos(); ++pos) {
-//             lastx = currx;
-//             currx += singleWidth(buffer, par, pos);
-//     }
-//     if (abs(lastx - x) < abs(currx - x) && pos != r.pos())
-//             --pos;
-//     return pos;
-//}
-
-
-pos_type LyXText::x2pos(BufferView const & bv, pit_type pit, int row,
-               int x) const
-{
-       TextMetrics const & tm = bv.textMetrics(this);
-       ParagraphMetrics const & pm = tm.parMetrics(pit);
-       BOOST_ASSERT(!pm.rows().empty());
-       BOOST_ASSERT(row < int(pm.rows().size()));
-       bool bound = false;
-       Row const & r = pm.rows()[row];
-       Buffer const & buffer = *bv.buffer();
-       return r.pos() + getColumnNearX(bv, tm.rightMargin(pm), pit, r, x, bound);
-}
+       // For section, subsection, etc...
+       if (layout->latextype == LATEX_PARAGRAPH && pit != 0) {
+               LyXLayout_ptr const & layout2 = pars_[pit - 1].layout();
+               if (layout2->latextype != LATEX_PARAGRAPH) {
+                       --pit;
+                       layout = layout2;
+               }
+       }
+       if (layout->latextype != LATEX_PARAGRAPH)
+               name = from_ascii(layout->latexname());
+
+       // for captions, we just take the caption type
+       InsetBase * caption_inset = cur.innerInsetOfType(InsetBase::CAPTION_CODE);
+       if (caption_inset)
+               name = from_ascii(static_cast<InsetCaption *>(caption_inset)->type());
+
+       // Inside floats or wraps, if none of the above worked
+       // we want by default the abbreviation of the float type.
+       if (name.empty()) {
+               InsetBase * float_inset = cur.innerInsetOfType(InsetBase::FLOAT_CODE);
+               if (!float_inset)
+                       float_inset = cur.innerInsetOfType(InsetBase::WRAP_CODE);
+               if (float_inset)
+                       name = float_inset->getInsetName();
+       }
 
+       // Create a correct prefix for prettyref
+       if (name == "theorem")
+               name = from_ascii("thm");
+
+       if (!name.empty())
+               text = name.substr(0, 3) + ':' + text;
 
-//int LyXText::pos2x(pit_type pit, pos_type pos) const
-//{
-//     Paragraph const & par = pars_[pit];
-//     Row const & r = par.rows()[row];
-//     int x = 0;
-//     pos -= r.pos();
-//}
+       return text;
+}
 
 
-// x,y are screen coordinates
-// sets cursor only within this LyXText
-bool LyXText::setCursorFromCoordinates(LCursor & cur, int const x, int const y)
+void LyXText::setCursorFromCoordinates(LCursor & cur, int const x, int const y)
 {
        BOOST_ASSERT(this == cur.text());
        pit_type pit = getPitNearY(cur.bv(), y);
@@ -2167,10 +1827,8 @@ bool LyXText::setCursorFromCoordinates(LCursor & cur, int const x, int const y)
 
        bool bound = false;
        int xx = x;
-       Buffer const & buffer = cur.buffer();
-       int right_margin = tm.rightMargin(pm);
-       pos_type const pos = row.pos() + getColumnNearX(cur.bv(), right_margin, 
-               pit, row, xx, bound);
+       pos_type const pos = row.pos() 
+               + tm.getColumnNearX(pit, row, xx, bound);
 
        lyxerr[Debug::DEBUG]
                << BOOST_CURRENT_FUNCTION
@@ -2178,7 +1836,9 @@ bool LyXText::setCursorFromCoordinates(LCursor & cur, int const x, int const y)
                << " pos: " << pos
                << endl;
 
-       return setCursor(cur, pit, pos, true, bound);
+       setCursor(cur, pit, pos, true, bound);
+       // remember new position.
+       cur.setTargetX();
 }
 
 
@@ -2233,6 +1893,8 @@ void LyXText::charsTranspose(LCursor & cur)
        par.insertChar(pos1, char2, font2, trackChanges);
        par.insertChar(pos2, char1, font1, trackChanges);
 
+       checkBufferStructure(cur.buffer(), cur);
+
        // After the transposition, move cursor to after the transposition.
        setCursor(cur, cur.pit(), pos2);
        cur.forwardPos();