]> git.lyx.org Git - lyx.git/blobdiff - src/Cursor.cpp
Natbib authoryear uses (Ref1; Ref2) by default.
[lyx.git] / src / Cursor.cpp
index fb4988f787ec7d8889f6b685347a51cd612100e2..7f8edc281ed0645b81ceadaee57240a145f30bc1 100644 (file)
 #include "TextMetrics.h"
 #include "TocBackend.h"
 
-#include "support/lassert.h"
 #include "support/debug.h"
 #include "support/docstream.h"
+#include "support/ExceptionMessage.h"
+#include "support/gettext.h"
+#include "support/lassert.h"
 
 #include "insets/InsetTabular.h"
 #include "insets/InsetText.h"
@@ -185,7 +187,7 @@ bool bruteFind(Cursor & cursor,
 }
 */
 
-
+/*
 /// moves position closest to (x, y) in given box
 bool bruteFind3(Cursor & cur, int x, int y, bool up)
 {
@@ -214,9 +216,10 @@ bool bruteFind3(Cursor & cur, int x, int y, bool up)
        for ( ; it != et; it.forwardPos()) {
                // avoid invalid nesting when selecting
                if (bv.cursorStatus(it) == CUR_INSIDE
-                               && (!cur.selection() || positionable(it, cur.realAnchor()))) {
-                       // If this function is ever used again, check whether this
-                       // is the same as "bv.getPos(it, false)" with boundary = false.
+                   && (!cur.selection() || positionable(it, cur.realAnchor()))) {
+                       // If this function is ever used again, check
+                       // whether this is the same as "bv.getPos(it,
+                       // false)" with boundary = false.
                        Point p = bv.getPos(it);
                        int xo = p.x_;
                        int yo = p.y_;
@@ -246,17 +249,36 @@ bool bruteFind3(Cursor & cur, int x, int y, bool up)
        cur.setCursor(best_cursor);
        return true;
 }
-
+*/
 } // namespace anon
 
 
+CursorData::CursorData()
+       : DocIterator(), anchor_(),
+         selection_(false), mark_(false), word_selection_(false),
+         logicalpos_(false), current_font(inherit_font)
+{}
+
+
+CursorData::CursorData(Buffer * buffer)
+       : DocIterator(buffer), anchor_(),
+         selection_(false), mark_(false), word_selection_(false),
+         logicalpos_(false), current_font(inherit_font)
+{}
+
+
+CursorData::CursorData(DocIterator const & dit)
+       : DocIterator(dit), anchor_(),
+         selection_(false), mark_(false), word_selection_(false),
+         logicalpos_(false), current_font(inherit_font)
+{}
+
+
 // be careful: this is called from the bv's constructor, too, so
 // bv functions are not yet available!
 Cursor::Cursor(BufferView & bv)
-       : DocIterator(&bv.buffer()), bv_(&bv), anchor_(),
-         x_target_(-1), textTargetOffset_(0),
-         selection_(false), mark_(false), word_selection_(false),
-         logicalpos_(false), current_font(inherit_font)
+       : CursorData(&bv.buffer()), bv_(&bv), 
+         x_target_(-1), textTargetOffset_(0)
 {}
 
 
@@ -266,6 +288,8 @@ void Cursor::reset()
        push_back(CursorSlice(buffer()->inset()));
        anchor_ = doc_iterator_begin(buffer());
        anchor_.clear();
+       new_word_ = doc_iterator_begin(buffer());
+       new_word_.clear();
        clearTargetX();
        selection_ = false;
        mark_ = false;
@@ -279,6 +303,25 @@ void Cursor::setCursor(DocIterator const & cur)
 }
 
 
+void Cursor::setCursorToAnchor()
+{
+       if (selection()) {
+               DocIterator normal = anchor_;
+               while (depth() < normal.depth())
+                       normal.pop_back();
+               if (depth() < anchor_.depth() && top() <= anchor_[depth() - 1])
+                       ++normal.pos();
+               setCursor(normal);
+       }
+}
+
+
+void Cursor::setCursorData(CursorData const & data)
+{
+       CursorData::operator=(data);
+}
+
+
 bool Cursor::getStatus(FuncRequest const & cmd, FuncStatus & status) const
 {
        Cursor cur = *this;
@@ -299,6 +342,7 @@ bool Cursor::getStatus(FuncRequest const & cmd, FuncStatus & status) const
        bool res = false;
        for ( ; cur.depth(); cur.pop()) {
                //lyxerr << "\nCursor::getStatus: cmd: " << cmd << endl << *this << endl;
+               // LASSERT: Is it safe to continue here, or should we return?
                LASSERT(cur.idx() <= cur.lastidx(), /**/);
                LASSERT(cur.pit() <= cur.lastpit(), /**/);
                LASSERT(cur.pos() <= cur.lastpos(), /**/);
@@ -334,7 +378,7 @@ void Cursor::dispatch(FuncRequest const & cmd0)
        Cursor old = *this;
        disp_ = DispatchResult();
 
-       buffer()->undo().beginUndoGroup();
+       beginUndoGroup();
 
        // Is this a function that acts on inset at point?
        if (lyxaction.funcHasFlag(cmd.action(), LyXAction::AtPoint)
@@ -346,7 +390,7 @@ void Cursor::dispatch(FuncRequest const & cmd0)
                        << cmd0 << endl << *this);
                nextInset()->dispatch(*this, tmpcmd);
                if (disp_.dispatched()) {
-                       buffer()->undo().endUndoGroup();
+                       endUndoGroup();
                        return;
                }
        }
@@ -356,6 +400,7 @@ void Cursor::dispatch(FuncRequest const & cmd0)
        for (; depth(); pop(), boundary(false)) {
                LYXERR(Debug::DEBUG, "Cursor::dispatch: cmd: "
                        << cmd0 << endl << *this);
+               // LASSERT: Is it safe to continue here, or should we return?
                LASSERT(pos() <= lastpos(), /**/);
                LASSERT(idx() <= lastidx(), /**/);
                LASSERT(pit() <= lastpit(), /**/);
@@ -391,7 +436,7 @@ void Cursor::dispatch(FuncRequest const & cmd0)
                // are possible which would change it
                beforeDispatchCursor_ = safe.beforeDispatchCursor_;
        }
-       buffer()->undo().endUndoGroup();
+       endUndoGroup();
 
        // notify insets we just left
        if (*this != old) {
@@ -415,14 +460,14 @@ DispatchResult const & Cursor::result() const
 
 BufferView & Cursor::bv() const
 {
-       LASSERT(bv_, /**/);
+       LBUFERR(bv_);
        return *bv_;
 }
 
 
 void Cursor::pop()
 {
-       LASSERT(depth() >= 1, /**/);
+       LBUFERR(depth() >= 1);
        pop_back();
 }
 
@@ -468,7 +513,7 @@ bool Cursor::popForward()
 
 int Cursor::currentMode()
 {
-       LASSERT(!empty(), /**/);
+       LASSERT(!empty(), return Inset::UNDECIDED_MODE);
        for (int i = depth() - 1; i >= 0; --i) {
                int res = operator[](i).inset().currentMode();
                bool locked_mode = operator[](i).inset().lockedMode();
@@ -493,7 +538,6 @@ Row const & Cursor::textRow() const
 {
        CursorSlice const & cs = innerTextSlice();
        ParagraphMetrics const & pm = bv().parMetrics(cs.text(), cs.pit());
-       LASSERT(!pm.rows().empty(), /**/);
        return pm.getRow(pos(), boundary());
 }
 
@@ -505,19 +549,6 @@ void Cursor::resetAnchor()
 }
 
 
-void Cursor::setCursorToAnchor()
-{
-       if (selection()) {
-               DocIterator normal = anchor_;
-               while (depth() < normal.depth())
-                       normal.pop_back();
-               if (depth() < anchor_.depth() && top() <= anchor_[depth() - 1])
-                       ++normal.pos();
-               setCursor(normal);
-       }
-}
-
-
 void Cursor::markNewWordPosition()
 {
        if (lyxrc.spellcheck_continuously && inTexted() && new_word_.empty()) {
@@ -563,7 +594,7 @@ void Cursor::checkNewWordPosition()
                        clearNewWordPosition();
                else {
                        FontSpan nw = locateWord(WHOLE_WORD);
-                       if (nw.size()) {
+                       if (!nw.empty()) {
                                FontSpan ow = new_word_.locateWord(WHOLE_WORD);
                                if (nw.intersect(ow).empty())
                                        clearNewWordPosition();
@@ -613,8 +644,9 @@ bool Cursor::posVisRight(bool skip_inset)
        new_cur.boundary(false);
        if (!skip_inset &&
                text()->checkAndActivateInsetVisual(new_cur, right_pos >= pos(), false)) {
-               // we actually move the cursor at the end of this function, for now
-               // we just keep track of the new position in new_cur...
+               // we actually move the cursor at the end of this
+               // function, for now we just keep track of the new
+               // position in new_cur...
                LYXERR(Debug::RTL, "entering inset at: " << new_cur.pos());
        }
 
@@ -627,8 +659,9 @@ bool Cursor::posVisRight(bool skip_inset)
                        return false;
                }
                
-               // we actually move the cursor at the end of this function, for now 
-               // just keep track of the new position in new_cur...
+               // we actually move the cursor at the end of this
+               // function, for now just keep track of the new
+               // position in new_cur...
                LYXERR(Debug::RTL, "right edge, moving: " << int(new_cur.pit()) << "," 
                        << int(new_cur.pos()) << "," << (new_cur.boundary() ? 1 : 0));
 
@@ -636,28 +669,33 @@ bool Cursor::posVisRight(bool skip_inset)
        // normal movement to the right
        else {
                new_cur = *this;
-               // Recall, if the cursor is at position 'x', that means *before* 
-               // the character at position 'x'. In RTL, "before" means "to the 
-               // right of", in LTR, "to the left of". So currently our situation
-               // is this: the position to our right is 'right_pos' (i.e., we're 
-               // currently to the left of 'right_pos'). In order to move to the 
-               // right, it depends whether or not the character at 'right_pos' is RTL.
+               // Recall, if the cursor is at position 'x', that
+               // means *before* the character at position 'x'. In
+               // RTL, "before" means "to the right of", in LTR, "to
+               // the left of". So currently our situation is this:
+               // the position to our right is 'right_pos' (i.e.,
+               // we're currently to the left of 'right_pos'). In
+               // order to move to the right, it depends whether or
+               // not the character at 'right_pos' is RTL.
                new_pos_is_RTL = paragraph().getFontSettings(
                        buffer()->params(), right_pos).isVisibleRightToLeft();
-               // If the character at 'right_pos' *is* LTR, then in order to move to
-               // the right of it, we need to be *after* 'right_pos', i.e., move to
-               // position 'right_pos' + 1.
+               // If the character at 'right_pos' *is* LTR, then in
+               // order to move to the right of it, we need to be
+               // *after* 'right_pos', i.e., move to position
+               // 'right_pos' + 1.
                if (!new_pos_is_RTL) {
                        new_cur.pos() = right_pos + 1;
                        // set the boundary to true in two situations:
                        if (
-                       // 1. if new_pos is now lastpos, and we're in an RTL paragraph
-                       // (this means that we're moving right to the end of an LTR chunk
+                       // 1. if new_pos is now lastpos, and we're in
+                       // an RTL paragraph (this means that we're
+                       // moving right to the end of an LTR chunk
                        // which is at the end of an RTL paragraph);
                                (new_cur.pos() == lastpos()
                                 && paragraph().isRTL(buffer()->params()))
-                       // 2. if the position *after* right_pos is RTL (we want to be 
-                       // *after* right_pos, not before right_pos + 1!)
+                       // 2. if the position *after* right_pos is RTL
+                       // (we want to be *after* right_pos, not
+                       // before right_pos + 1!)
                                || paragraph().getFontSettings(buffer()->params(),
                                                new_cur.pos()).isVisibleRightToLeft()
                        )
@@ -665,9 +703,9 @@ bool Cursor::posVisRight(bool skip_inset)
                        else // set the boundary to false
                                new_cur.boundary(false);
                }
-               // Otherwise (if the character at position 'right_pos' is RTL), then
-               // moving to the right of it is as easy as setting the new position
-               // to 'right_pos'.
+               // Otherwise (if the character at position 'right_pos'
+               // is RTL), then moving to the right of it is as easy
+               // as setting the new position to 'right_pos'.
                else {
                        new_cur.pos() = right_pos;
                        new_cur.boundary(false);
@@ -706,8 +744,9 @@ bool Cursor::posVisLeft(bool skip_inset)
        new_cur.boundary(false);
        if (!skip_inset && 
                text()->checkAndActivateInsetVisual(new_cur, left_pos >= pos(), true)) {
-               // we actually move the cursor at the end of this function, for now 
-               // we just keep track of the new position in new_cur...
+               // we actually move the cursor at the end of this
+               // function, for now we just keep track of the new
+               // position in new_cur...
                LYXERR(Debug::RTL, "entering inset at: " << new_cur.pos());
        }
 
@@ -720,8 +759,9 @@ bool Cursor::posVisLeft(bool skip_inset)
                        return false;
                }
                
-               // we actually move the cursor at the end of this function, for now 
-               // just keep track of the new position in new_cur...
+               // we actually move the cursor at the end of this
+               // function, for now just keep track of the new
+               // position in new_cur...
                LYXERR(Debug::RTL, "left edge, moving: " << int(new_cur.pit()) << "," 
                        << int(new_cur.pos()) << "," << (new_cur.boundary() ? 1 : 0));
 
@@ -729,28 +769,33 @@ bool Cursor::posVisLeft(bool skip_inset)
        // normal movement to the left
        else {
                new_cur = *this;
-               // Recall, if the cursor is at position 'x', that means *before* 
-               // the character at position 'x'. In RTL, "before" means "to the 
-               // right of", in LTR, "to the left of". So currently our situation
-               // is this: the position to our left is 'left_pos' (i.e., we're 
-               // currently to the right of 'left_pos'). In order to move to the 
-               // left, it depends whether or not the character at 'left_pos' is RTL.
+               // Recall, if the cursor is at position 'x', that
+               // means *before* the character at position 'x'. In
+               // RTL, "before" means "to the right of", in LTR, "to
+               // the left of". So currently our situation is this:
+               // the position to our left is 'left_pos' (i.e., we're
+               // currently to the right of 'left_pos'). In order to
+               // move to the left, it depends whether or not the
+               // character at 'left_pos' is RTL.
                new_pos_is_RTL = paragraph().getFontSettings(
                        buffer()->params(), left_pos).isVisibleRightToLeft();
-               // If the character at 'left_pos' *is* RTL, then in order to move to
-               // the left of it, we need to be *after* 'left_pos', i.e., move to
-               // position 'left_pos' + 1.
+               // If the character at 'left_pos' *is* RTL, then in
+               // order to move to the left of it, we need to be
+               // *after* 'left_pos', i.e., move to position
+               // 'left_pos' + 1.
                if (new_pos_is_RTL) {
                        new_cur.pos() = left_pos + 1;
                        // set the boundary to true in two situations:
                        if (
-                       // 1. if new_pos is now lastpos and we're in an LTR paragraph
-                       // (this means that we're moving left to the end of an RTL chunk
+                       // 1. if new_pos is now lastpos and we're in
+                       // an LTR paragraph (this means that we're
+                       // moving left to the end of an RTL chunk
                        // which is at the end of an LTR paragraph);
                                (new_cur.pos() == lastpos()
                                 && !paragraph().isRTL(buffer()->params()))
-                       // 2. if the position *after* left_pos is not RTL (we want to be 
-                       // *after* left_pos, not before left_pos + 1!)
+                       // 2. if the position *after* left_pos is not
+                       // RTL (we want to be *after* left_pos, not
+                       // before left_pos + 1!)
                                || !paragraph().getFontSettings(buffer()->params(),
                                                new_cur.pos()).isVisibleRightToLeft()
                        )
@@ -758,9 +803,9 @@ bool Cursor::posVisLeft(bool skip_inset)
                        else // set the boundary to false
                                new_cur.boundary(false);
                }
-               // Otherwise (if the character at position 'left_pos' is LTR), then
-               // moving to the left of it is as easy as setting the new position
-               // to 'left_pos'.
+               // Otherwise (if the character at position 'left_pos'
+               // is LTR), then moving to the left of it is as easy
+               // as setting the new position to 'left_pos'.
                else {
                        new_cur.pos() = left_pos;
                        new_cur.boundary(false);
@@ -793,14 +838,16 @@ void Cursor::getSurroundingPos(pos_type & left_pos, pos_type & right_pos)
 
        LYXERR(Debug::RTL, "bidi: " << row.pos() << "--" << row.endpos());
 
-       // The cursor is painted *before* the character at pos(), or, if 'boundary'
-       // is true, *after* the character at (pos() - 1). So we already have one
-       // known position around the cursor:
+       // The cursor is painted *before* the character at pos(), or,
+       // if 'boundary' is true, *after* the character at (pos() -
+       // 1). So we already have one known position around the
+       // cursor:
        pos_type const known_pos = boundary() && pos() > 0 ? pos() - 1 : pos();
        
-       // edge case: if we're at the end of the paragraph, things are a little 
-       // different (because lastpos is a position which does not really "exist" 
-       // --- there's no character there yet).
+       // edge case: if we're at the end of the paragraph, things are
+       // a little different (because lastpos is a position which
+       // does not really "exist" --- there's no character there
+       // yet).
        if (known_pos == lastpos()) {
                if (par.isRTL(buf.params())) {
                        left_pos = -1;
@@ -813,28 +860,31 @@ void Cursor::getSurroundingPos(pos_type & left_pos, pos_type & right_pos)
                return;
        }
        
-       // Whether 'known_pos' is to the left or to the right of the cursor depends
-       // on whether it is an RTL or LTR character...
+       // Whether 'known_pos' is to the left or to the right of the
+       // cursor depends on whether it is an RTL or LTR character...
        bool const cur_is_RTL = 
                par.getFontSettings(buf.params(), known_pos).isVisibleRightToLeft();
        // ... in the following manner:
-       // For an RTL character, "before" means "to the right" and "after" means
-       // "to the left"; and for LTR, it's the reverse. So, 'known_pos' is to the
-       // right of the cursor if (RTL && boundary) or (!RTL && !boundary):
+       // For an RTL character, "before"
+       // means "to the right" and "after" means "to the left"; and
+       // for LTR, it's the reverse. So, 'known_pos' is to the right
+       // of the cursor if (RTL && boundary) or (!RTL && !boundary):
        bool const known_pos_on_right = cur_is_RTL == boundary();
 
-       // So we now know one of the positions surrounding the cursor. Let's 
-       // determine the other one:     
+       // So we now know one of the positions surrounding the cursor.
+       // Let's determine the other one:
        if (known_pos_on_right) {
                right_pos = known_pos;
                // *visual* position of 'left_pos':
                pos_type v_left_pos = bidi.log2vis(right_pos) - 1;
-               // If the position we just identified as 'left_pos' is a "skipped 
-               // separator" (a separator which is at the logical end of a row,
-               // except for the last row in a paragraph; such separators are not
-               // painted, so they "are not really there"; note that in bidi text,
-               // such a separator could appear visually in the middle of a row),
-               // set 'left_pos' to the *next* position to the left.
+               // If the position we just identified as 'left_pos' is
+               // a "skipped separator" (a separator which is at the
+               // logical end of a row, except for the last row in a
+               // paragraph; such separators are not painted, so they
+               // "are not really there"; note that in bidi text,
+               // such a separator could appear visually in the
+               // middle of a row), set 'left_pos' to the *next*
+               // position to the left.
                if (bidi.inRange(v_left_pos) 
                                && bidi.vis2log(v_left_pos) + 1 == row.endpos() 
                                && row.endpos() < lastpos()
@@ -846,8 +896,9 @@ void Cursor::getSurroundingPos(pos_type & left_pos, pos_type & right_pos)
                        left_pos = -1;
                else
                        left_pos = bidi.vis2log(v_left_pos);
-               // If the position we identified as 'right_pos' is a "skipped 
-               // separator", set 'right_pos' to the *next* position to the right.
+               // If the position we identified as 'right_pos' is a
+               // "skipped separator", set 'right_pos' to the *next*
+               // position to the right.
                if (right_pos + 1 == row.endpos() && row.endpos() < lastpos() 
                                && par.isSeparator(right_pos)) {
                        pos_type const v_right_pos = bidi.log2vis(right_pos) + 1;
@@ -861,8 +912,9 @@ void Cursor::getSurroundingPos(pos_type & left_pos, pos_type & right_pos)
                left_pos = known_pos;
                // *visual* position of 'right_pos'
                pos_type v_right_pos = bidi.log2vis(left_pos) + 1;
-               // If the position we just identified as 'right_pos' is a "skipped 
-               // separator", set 'right_pos' to the *next* position to the right.
+               // If the position we just identified as 'right_pos'
+               // is a "skipped separator", set 'right_pos' to the
+               // *next* position to the right.
                if (bidi.inRange(v_right_pos) 
                                && bidi.vis2log(v_right_pos) + 1 == row.endpos() 
                                && row.endpos() < lastpos()
@@ -874,8 +926,9 @@ void Cursor::getSurroundingPos(pos_type & left_pos, pos_type & right_pos)
                        right_pos = -1;
                else
                        right_pos = bidi.vis2log(v_right_pos);
-               // If the position we identified as 'left_pos' is a "skipped 
-               // separator", set 'left_pos' to the *next* position to the left.
+               // If the position we identified as 'left_pos' is a
+               // "skipped separator", set 'left_pos' to the *next*
+               // position to the left.
                if (left_pos + 1 == row.endpos() && row.endpos() < lastpos() 
                                && par.isSeparator(left_pos)) {
                        pos_type const v_left_pos = bidi.log2vis(left_pos) - 1;
@@ -896,16 +949,16 @@ bool Cursor::posVisToNewRow(bool movingLeft)
        Row const & row = textRow();
        bool par_is_LTR = !par.isRTL(buf.params());
 
-       // Inside a table, determining whether to move to the next or previous row
-       // should be done based on the table's direction. 
+       // Inside a table, determining whether to move to the next or
+       // previous row should be done based on the table's direction.
        int s = depth() - 1;
        if (s >= 1 && (*this)[s].inset().asInsetTabular()) {
                par_is_LTR = !(*this)[s].inset().asInsetTabular()->isRightToLeft(*this);
                LYXERR(Debug::RTL, "Inside table! par_is_LTR=" << (par_is_LTR ? 1 : 0));
        }
        
-       // if moving left in an LTR paragraph or moving right in an RTL one, 
-       // move to previous row
+       // if moving left in an LTR paragraph or moving right in an
+       // RTL one, move to previous row
        if (par_is_LTR == movingLeft) {
                if (row.pos() == 0) { // we're at first row in paragraph
                        if (pit() == 0) // no previous paragraph! don't move
@@ -919,8 +972,8 @@ bool Cursor::posVisToNewRow(bool movingLeft)
                        boundary(false);
                }
        }
-       // if moving left in an RTL paragraph or moving right in an LTR one, 
-       // move to next row
+       // if moving left in an RTL paragraph or moving right in an
+       // LTR one, move to next row
        else {
                if (row.endpos() == lastpos()) { // we're at last row in paragraph
                        if (pit() == lastpit()) // last paragraph! don't move
@@ -962,30 +1015,43 @@ void Cursor::posVisToRowExtremity(bool left)
                else {
                        pos() = bidi.vis2log(row.pos());
 
-                       // Moving to the leftmost position in the row, the cursor should
-                       // normally be placed to the *left* of the leftmost position.
-                       // A very common exception, though, is if the leftmost character 
-                       // also happens to be the separator at the (logical) end of the row
-                       // --- in this case, the separator is positioned beyond the left 
-                       // margin, and we don't want to move the cursor there (moving to 
-                       // the left of the separator is equivalent to moving to the next
-                       // line). So, in this case we actually want to place the cursor 
-                       // to the *right* of the leftmost position (the separator). 
-                       // Another exception is if we're moving to the logically last 
-                       // position in the row, which is *not* a separator: this means
-                       // that the entire row has no separators (if there were any, the 
-                       // row would have been broken there); and therefore in this case
-                       // we also move to the *right* of the last position (this indicates
-                       // to the user that there is no space after this position, and is 
-                       // consistent with the behavior in the middle of a row --- moving
-                       // right or left moves to the next/previous character; if we were
-                       // to move to the *left* of this position, that would simulate 
-                       // a separator which is not really there!). 
-                       // Finally, there is an exception to the previous exception: if 
-                       // this non-separator-but-last-position-in-row is an inset, then
-                       // we *do* want to stay to the left of it anyway: this is the 
+                       // Moving to the leftmost position in the row,
+                       // the cursor should normally be placed to the
+                       // *left* of the leftmost position. A very
+                       // common exception, though, is if the
+                       // leftmost character also happens to be the
+                       // separator at the (logical) end of the row
+                       // --- in this case, the separator is
+                       // positioned beyond the left margin, and we
+                       // don't want to move the cursor there (moving
+                       // to the left of the separator is equivalent
+                       // to moving to the next line). So, in this
+                       // case we actually want to place the cursor
+                       // to the *right* of the leftmost position
+                       // (the separator). Another exception is if
+                       // we're moving to the logically last position
+                       // in the row, which is *not* a separator:
+                       // this means that the entire row has no
+                       // separators (if there were any, the row
+                       // would have been broken there); and
+                       // therefore in this case we also move to the
+                       // *right* of the last position (this
+                       // indicates to the user that there is no
+                       // space after this position, and is
+                       // consistent with the behavior in the middle
+                       // of a row --- moving right or left moves to
+                       // the next/previous character; if we were to
+                       // move to the *left* of this position, that
+                       // would simulate a separator which is not
+                       // really there!). Finally, there is an
+                       // exception to the previous exception: if
+                       // this non-separator-but-last-position-in-row
+                       // is an inset, then we *do* want to stay to
+                       // the left of it anyway: this is the
                        // "boundary" which we simulate at insets.
-                       // Another exception is when row.endpos() is 0.
+                       
+                       // Another exception is when row.endpos() is
+                       // 0.
                        
                        // do we want to be to the right of pos?
                        // as explained above, if at last pos in row, stay to the right
@@ -1011,30 +1077,41 @@ void Cursor::posVisToRowExtremity(bool left)
                else {
                        pos() = row.endpos() > 0 ? bidi.vis2log(row.endpos() - 1) : 0;
 
-                       // Moving to the rightmost position in the row, the cursor should
-                       // normally be placed to the *right* of the rightmost position.
-                       // A very common exception, though, is if the rightmost character 
-                       // also happens to be the separator at the (logical) end of the row
-                       // --- in this case, the separator is positioned beyond the right 
-                       // margin, and we don't want to move the cursor there (moving to 
-                       // the right of the separator is equivalent to moving to the next
-                       // line). So, in this case we actually want to place the cursor 
-                       // to the *left* of the rightmost position (the separator). 
-                       // Another exception is if we're moving to the logically last 
-                       // position in the row, which is *not* a separator: this means
-                       // that the entire row has no separators (if there were any, the 
-                       // row would have been broken there); and therefore in this case
-                       // we also move to the *left* of the last position (this indicates
-                       // to the user that there is no space after this position, and is 
-                       // consistent with the behavior in the middle of a row --- moving
-                       // right or left moves to the next/previous character; if we were
-                       // to move to the *right* of this position, that would simulate 
-                       // a separator which is not really there!). 
-                       // Finally, there is an exception to the previous exception: if 
-                       // this non-separator-but-last-position-in-row is an inset, then
-                       // we *do* want to stay to the right of it anyway: this is the 
-                       // "boundary" which we simulate at insets.
-                       // Another exception is when row.endpos() is 0.
+                       // Moving to the rightmost position in the
+                       // row, the cursor should normally be placed
+                       // to the *right* of the rightmost position. A
+                       // very common exception, though, is if the
+                       // rightmost character also happens to be the
+                       // separator at the (logical) end of the row
+                       // --- in this case, the separator is
+                       // positioned beyond the right margin, and we
+                       // don't want to move the cursor there (moving
+                       // to the right of the separator is equivalent
+                       // to moving to the next line). So, in this
+                       // case we actually want to place the cursor
+                       // to the *left* of the rightmost position
+                       // (the separator). Another exception is if
+                       // we're moving to the logically last position
+                       // in the row, which is *not* a separator:
+                       // this means that the entire row has no
+                       // separators (if there were any, the row
+                       // would have been broken there); and
+                       // therefore in this case we also move to the
+                       // *left* of the last position (this indicates
+                       // to the user that there is no space after
+                       // this position, and is consistent with the
+                       // behavior in the middle of a row --- moving
+                       // right or left moves to the next/previous
+                       // character; if we were to move to the
+                       // *right* of this position, that would
+                       // simulate a separator which is not really
+                       // there!). Finally, there is an exception to
+                       // the previous exception: if this
+                       // non-separator-but-last-position-in-row is
+                       // an inset, then we *do* want to stay to the
+                       // right of it anyway: this is the "boundary"
+                       // which we simulate at insets. Another
+                       // exception is when row.endpos() is 0.
                        
                        // do we want to be to the left of pos?
                        // as explained above, if at last pos in row, stay to the left,
@@ -1062,7 +1139,12 @@ CursorSlice Cursor::normalAnchor() const
 {
        if (!selection())
                return top();
-       LASSERT(anchor_.depth() >= depth(), /**/);
+       // LASSERT: There have been several bugs around this code, that seem
+       // to involve failures to reset the anchor. We can at least not crash
+       // in release mode by resetting it ourselves.
+       LASSERT(anchor_.depth() >= depth(), 
+               const_cast<DocIterator &>(anchor_) = *this);
+
        CursorSlice normal = anchor_[depth() - 1];
        if (depth() < anchor_.depth() && top() <= normal) {
                // anchor is behind cursor -> move anchor behind the inset
@@ -1363,7 +1445,7 @@ void Cursor::insert(docstring const & str)
 void Cursor::insert(char_type c)
 {
        //lyxerr << "Cursor::insert char '" << c << "'" << endl;
-       LASSERT(!empty(), /**/);
+       LASSERT(!empty(), return);
        if (inMathed()) {
                cap::selClearOrDel(*this);
                insert(new InsetMathChar(c));
@@ -1384,7 +1466,7 @@ void Cursor::insert(MathAtom const & t)
 
 void Cursor::insert(Inset * inset0)
 {
-       LASSERT(inset0, /**/);
+       LASSERT(inset0, return);
        if (inMathed())
                insert(MathAtom(inset0->asInsetMath()));
        else {
@@ -1451,8 +1533,6 @@ void Cursor::insert(MathData const & ar)
 
 bool Cursor::backspace()
 {
-       autocorrect() = false;
-
        if (selection()) {
                cap::eraseSelection(*this);
                return true;
@@ -1503,7 +1583,6 @@ bool Cursor::backspace()
 
 bool Cursor::erase()
 {
-       autocorrect() = false;
        if (inMacroMode())
                return true;
 
@@ -1558,7 +1637,6 @@ bool Cursor::up()
        if (disp_.dispatched())
                return true;
        setCursor(save);
-       autocorrect() = false;
        return false;
 }
 
@@ -1572,7 +1650,6 @@ bool Cursor::down()
        if (disp_.dispatched())
                return true;
        setCursor(save);
-       autocorrect() = false;
        return false;
 }
 
@@ -1612,7 +1689,7 @@ bool Cursor::macroModeClose()
                // we have to resolve the macro here manually and check its arity
                // to put the selection behind it if arity > 0.
                MacroData const * data = buffer()->getMacro(atomAsMacro->name());
-               if (selection.size() > 0 && data && data->numargs() - data->optionals() > 0) {
+               if (!selection.empty() && data && data->numargs() - data->optionals() > 0) {
                        macroArg = true;
                        atomAsMacro->setDisplayMode(MathMacro::DISPLAY_INTERACTIVE_INIT, 1);
                } else
@@ -1890,9 +1967,10 @@ bool Cursor::atFirstOrLastRow(bool up)
        return false;
 }
 
+
 bool Cursor::upDownInText(bool up, bool & updateNeeded)
 {
-       LASSERT(text(), /**/);
+       LASSERT(text(), return false);
 
        // where are we?
        int xo = 0;
@@ -1907,14 +1985,16 @@ bool Cursor::upDownInText(bool up, bool & updateNeeded)
                setTargetX(xo);
        else if (xo - textTargetOffset() != x_target() &&
                                         depth() == beforeDispatchCursor_.depth()) {
-               // In text mode inside the line (not left or right) possibly set a new target_x,
-               // but only if we are somewhere else than the previous target-offset.
+               // In text mode inside the line (not left or right)
+               // possibly set a new target_x, but only if we are
+               // somewhere else than the previous target-offset.
                
-               // We want to keep the x-target on subsequent up/down movements
-               // that cross beyond the end of short lines. Thus a special
-               // handling when the cursor is at the end of line: Use the new
-               // x-target only if the old one was before the end of line
-               // or the old one was after the beginning of the line
+               // We want to keep the x-target on subsequent up/down
+               // movements that cross beyond the end of short lines.
+               // Thus a special handling when the cursor is at the
+               // end of line: Use the new x-target only if the old
+               // one was before the end of line or the old one was
+               // after the beginning of the line
                bool inRTL = isWithinRtlParagraph(*this);
                bool left;
                bool right;
@@ -2103,6 +2183,7 @@ void Cursor::errorMessage(docstring const & msg) const
 
 
 namespace {
+
 docstring parbreak(Cursor const * cur)
 {
        odocstringstream os;
@@ -2113,6 +2194,7 @@ docstring parbreak(Cursor const * cur)
                os << '\n';
        return os.str();
 }
+
 }
 
 
@@ -2242,9 +2324,9 @@ void Cursor::noScreenUpdate() const
 
 Font Cursor::getFont() const
 {
-       // The logic here should more or less match to the Cursor::setCurrentFont
-       // logic, i.e. the cursor height should give a hint what will happen
-       // if a character is entered.
+       // The logic here should more or less match to the
+       // Cursor::setCurrentFont logic, i.e. the cursor height should
+       // give a hint what will happen if a character is entered.
        
        // HACK. far from being perfect...
 
@@ -2288,6 +2370,14 @@ bool Cursor::fixIfBroken()
 }
 
 
+void Cursor::sanitize()
+{
+       setBuffer(&bv_->buffer());
+       DocIterator::sanitize();
+       anchor_.sanitize();
+}
+
+
 bool notifyCursorLeavesOrEnters(Cursor const & old, Cursor & cur)
 {
        // find inset in common
@@ -2373,28 +2463,18 @@ void Cursor::setCurrentFont()
 
 bool Cursor::textUndo()
 {
-       DocIterator dit = *this;
-       // Undo::textUndo() will modify dit.
-       if (!buffer()->undo().textUndo(dit))
+       if (!buffer()->undo().textUndo(*this))
                return false;
-       // Set cursor
-       setCursor(dit);
-       clearSelection();
-       fixIfBroken();
+       sanitize();
        return true;
 }
 
 
 bool Cursor::textRedo()
 {
-       DocIterator dit = *this;
-       // Undo::textRedo() will modify dit.
-       if (!buffer()->undo().textRedo(dit))
+       if (!buffer()->undo().textRedo(*this))
                return false;
-       // Set cursor
-       setCursor(dit);
-       clearSelection();
-       fixIfBroken();
+       sanitize();
        return true;
 }
 
@@ -2413,7 +2493,7 @@ void Cursor::beginUndoGroup() const
 
 void Cursor::endUndoGroup() const
 {
-       buffer()->undo().endUndoGroup();
+       buffer()->undo().endUndoGroup(*this);
 }