]> git.lyx.org Git - lyx.git/blobdiff - src/Cursor.cpp
* ANNOUNCE
[lyx.git] / src / Cursor.cpp
index 05617f4c19dd093032849249f7e88fd19cc0babf..f6d10cbc972ab2ca43f0180943e645f791c933c3 100644 (file)
@@ -6,7 +6,7 @@
  * \author Alejandro Aguilar Sierra
  * \author Alfredo Braunstein
  * \author Dov Feldstern
- * \author André Pönitz
+ * \author André Pönitz
  * \author Stefan Schimanski
  *
  * Full author contact details are available in file CREDITS.
 #include "DispatchResult.h"
 #include "Encoding.h"
 #include "Font.h"
+#include "FuncCode.h"
 #include "FuncRequest.h"
 #include "Language.h"
-#include "lfuns.h"
-#include "LyXFunc.h" // only for setMessage()
+#include "LyXAction.h"
 #include "LyXRC.h"
-#include "paragraph_funcs.h"
 #include "Paragraph.h"
 #include "ParIterator.h"
 #include "Row.h"
@@ -36,6 +35,7 @@
 #include "TextMetrics.h"
 #include "TocBackend.h"
 
+#include "support/lassert.h"
 #include "support/debug.h"
 #include "support/docstream.h"
 
 #include "insets/InsetText.h"
 
 #include "mathed/InsetMath.h"
+#include "mathed/InsetMathBrace.h"
 #include "mathed/InsetMathScript.h"
 #include "mathed/MacroTable.h"
 #include "mathed/MathData.h"
 #include "mathed/MathMacro.h"
 
-#include <boost/assert.hpp>
-#include <boost/bind.hpp>
+#include "support/bind.h"
 
 #include <sstream>
 #include <limits>
 #include <map>
+#include <algorithm>
 
 using namespace std;
 
@@ -133,7 +134,7 @@ DocIterator bruteFind2(Cursor const & c, int x, int y)
 bool bruteFind(Cursor & cursor,
        int x, int y, int xlow, int xhigh, int ylow, int yhigh)
 {
-       BOOST_ASSERT(!cursor.empty());
+       LASSERT(!cursor.empty(), return false);
        Inset & inset = cursor[0].inset();
        BufferView & bv = cursor.bv();
 
@@ -204,10 +205,9 @@ bool bruteFind3(Cursor & cur, int x, int y, bool up)
        //      << " xlow: " << xlow << " xhigh: " << xhigh
        //      << " ylow: " << ylow << " yhigh: " << yhigh
        //      << endl;
-       Inset & inset = bv.buffer().inset();
-       DocIterator it = doc_iterator_begin(inset);
+       DocIterator it = doc_iterator_begin(cur.buffer());
        it.pit() = from;
-       DocIterator et = doc_iterator_end(inset);
+       DocIterator et = doc_iterator_end(cur.buffer());
 
        double best_dist = numeric_limits<double>::max();
        DocIterator best_cursor = et;
@@ -215,8 +215,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.anchor_))) {
-                       Point p = bv.getPos(it, 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_;
                        if (xlow <= xo && xo <= xhigh && ylow <= yo && yo <= yhigh) {
@@ -246,34 +248,24 @@ bool bruteFind3(Cursor & cur, int x, int y, bool up)
        return true;
 }
 
-docstring parbreak(Paragraph const & par)
-{
-       odocstringstream ods;
-       ods << '\n';
-       // only add blank line if we're not in an ERT or Listings inset
-       if (par.ownerCode() != ERT_CODE
-                       && par.ownerCode() != LISTINGS_CODE)
-               ods << '\n';
-       return ods.str();
-}
-
 } // namespace anon
 
 
 // be careful: this is called from the bv's constructor, too, so
 // bv functions are not yet available!
 Cursor::Cursor(BufferView & bv)
-       : DocIterator(), bv_(&bv), anchor_(), x_target_(-1), textTargetOffset_(0),
-         selection_(false), mark_(false), logicalpos_(false),
-         current_font(inherit_font)
+       : DocIterator(&bv.buffer()), bv_(&bv), anchor_(),
+         x_target_(-1), textTargetOffset_(0),
+         selection_(false), mark_(false), word_selection_(false),
+         logicalpos_(false), current_font(inherit_font)
 {}
 
 
-void Cursor::reset(Inset & inset)
+void Cursor::reset()
 {
        clear();
-       push_back(CursorSlice(inset));
-       anchor_ = doc_iterator_begin(inset);
+       push_back(CursorSlice(buffer()->inset()));
+       anchor_ = doc_iterator_begin(buffer());
        anchor_.clear();
        clearTargetX();
        selection_ = false;
@@ -288,6 +280,49 @@ void Cursor::setCursor(DocIterator const & cur)
 }
 
 
+bool Cursor::getStatus(FuncRequest const & cmd, FuncStatus & status) const
+{
+       Cursor cur = *this;
+
+       // Try to fix cursor in case it is broken.
+       cur.fixIfBroken();
+
+       // Is this a function that acts on inset at point?
+       Inset * inset = cur.nextInset();
+       if (lyxaction.funcHasFlag(cmd.action(), LyXAction::AtPoint)
+           && inset && inset->getStatus(cur, cmd, status))
+               return true;
+
+       // This is, of course, a mess. Better create a new doc iterator and use
+       // this in Inset::getStatus. This might require an additional
+       // BufferView * arg, though (which should be avoided)
+       //Cursor safe = *this;
+       bool res = false;
+       for ( ; cur.depth(); cur.pop()) {
+               //lyxerr << "\nCursor::getStatus: cmd: " << cmd << endl << *this << endl;
+               LASSERT(cur.idx() <= cur.lastidx(), /**/);
+               LASSERT(cur.pit() <= cur.lastpit(), /**/);
+               LASSERT(cur.pos() <= cur.lastpos(), /**/);
+
+               // The inset's getStatus() will return 'true' if it made
+               // a definitive decision on whether it want to handle the
+               // request or not. The result of this decision is put into
+               // the 'status' parameter.
+               if (cur.inset().getStatus(cur, cmd, status)) {
+                       res = true;
+                       break;
+               }
+       }
+       return res;
+}
+
+
+void Cursor::saveBeforeDispatchPosXY()
+{
+       getPos(beforeDispatchPosX_, beforeDispatchPosY_);
+}
+
+
 void Cursor::dispatch(FuncRequest const & cmd0)
 {
        LYXERR(Debug::DEBUG, "cmd: " << cmd0 << '\n' << *this);
@@ -297,20 +332,38 @@ void Cursor::dispatch(FuncRequest const & cmd0)
        fixIfBroken();
        FuncRequest cmd = cmd0;
        Cursor safe = *this;
+       disp_ = DispatchResult();
+
+       buffer()->undo().beginUndoGroup();
        
+       // Is this a function that acts on inset at point?
+       if (lyxaction.funcHasFlag(cmd.action(), LyXAction::AtPoint)
+           && nextInset()) {
+               disp_.dispatched(true);
+               disp_.screenUpdate(Update::FitCursor | Update::Force);
+               FuncRequest tmpcmd = cmd;
+               LYXERR(Debug::DEBUG, "Cursor::dispatch: (AtPoint) cmd: "
+                       << cmd0 << endl << *this);
+               nextInset()->dispatch(*this, tmpcmd);
+               if (disp_.dispatched()) {
+                       buffer()->undo().endUndoGroup();
+                       return;
+               }
+       }
+
        // store some values to be used inside of the handlers
        beforeDispatchCursor_ = *this;
-       for (; depth(); pop()) {
+       for (; depth(); pop(), boundary(false)) {
                LYXERR(Debug::DEBUG, "Cursor::dispatch: cmd: "
                        << cmd0 << endl << *this);
-               BOOST_ASSERT(pos() <= lastpos());
-               BOOST_ASSERT(idx() <= lastidx());
-               BOOST_ASSERT(pit() <= lastpit());
+               LASSERT(pos() <= lastpos(), /**/);
+               LASSERT(idx() <= lastidx(), /**/);
+               LASSERT(pit() <= lastpit(), /**/);
 
                // The common case is 'LFUN handled, need update', so make the
                // LFUN handler's life easier by assuming this as default value.
                // The handler can reset the update and val flags if necessary.
-               disp_.update(Update::FitCursor | Update::Force);
+               disp_.screenUpdate(Update::FitCursor | Update::Force);
                disp_.dispatched(true);
                inset().dispatch(*this, cmd);
                if (disp_.dispatched())
@@ -321,18 +374,28 @@ void Cursor::dispatch(FuncRequest const & cmd0)
        // object will be used again.
        if (!disp_.dispatched()) {
                LYXERR(Debug::DEBUG, "RESTORING OLD CURSOR!");
+               // We might have invalidated the cursor when removing an empty
+               // paragraph while the cursor could not be moved out the inset
+               // while we initially thought we could. This might happen when
+               // a multiline inset becomes an inline inset when the second 
+               // paragraph is removed.
+               if (safe.pit() > safe.lastpit()) {
+                       safe.pit() = safe.lastpit();
+                       safe.pos() = safe.lastpos();
+               }
                operator=(safe);
-               disp_.update(Update::None);
+               disp_.screenUpdate(Update::None);
                disp_.dispatched(false);
        } else {
                // restore the previous one because nested Cursor::dispatch calls
                // are possible which would change it
                beforeDispatchCursor_ = safe.beforeDispatchCursor_;
        }
+       buffer()->undo().endUndoGroup();
 }
 
 
-DispatchResult Cursor::result() const
+DispatchResult const & Cursor::result() const
 {
        return disp_;
 }
@@ -340,21 +403,14 @@ DispatchResult Cursor::result() const
 
 BufferView & Cursor::bv() const
 {
-       BOOST_ASSERT(bv_);
+       LASSERT(bv_, /**/);
        return *bv_;
 }
 
 
-Buffer & Cursor::buffer() const
-{
-       BOOST_ASSERT(bv_);
-       return bv_->buffer();
-}
-
-
 void Cursor::pop()
 {
-       BOOST_ASSERT(depth() >= 1);
+       LASSERT(depth() >= 1, /**/);
        pop_back();
 }
 
@@ -362,13 +418,13 @@ void Cursor::pop()
 void Cursor::push(Inset & p)
 {
        push_back(CursorSlice(p));
-       p.setBuffer(bv_->buffer());
+       p.setBuffer(*buffer());
 }
 
 
 void Cursor::pushBackward(Inset & p)
 {
-       BOOST_ASSERT(!empty());
+       LASSERT(!empty(), return);
        //lyxerr << "Entering inset " << t << " front" << endl;
        push(p);
        p.idxFirst(*this);
@@ -377,7 +433,7 @@ void Cursor::pushBackward(Inset & p)
 
 bool Cursor::popBackward()
 {
-       BOOST_ASSERT(!empty());
+       LASSERT(!empty(), return false);
        if (depth() == 1)
                return false;
        pop();
@@ -387,7 +443,7 @@ bool Cursor::popBackward()
 
 bool Cursor::popForward()
 {
-       BOOST_ASSERT(!empty());
+       LASSERT(!empty(), return false);
        //lyxerr << "Leaving inset from in back" << endl;
        const pos_type lp = (depth() > 1) ? (*this)[depth() - 2].lastpos() : 0;
        if (depth() == 1)
@@ -400,10 +456,13 @@ bool Cursor::popForward()
 
 int Cursor::currentMode()
 {
-       BOOST_ASSERT(!empty());
+       LASSERT(!empty(), /**/);
        for (int i = depth() - 1; i >= 0; --i) {
                int res = operator[](i).inset().currentMode();
-               if (res != Inset::UNDECIDED_MODE)
+               bool locked_mode = operator[](i).inset().lockedMode();
+               // Also return UNDECIDED_MODE when the mode is locked,
+               // as in this case it is treated the same as TEXT_MODE
+               if (res != Inset::UNDECIDED_MODE || locked_mode)
                        return res;
        }
        return Inset::TEXT_MODE;
@@ -412,7 +471,7 @@ int Cursor::currentMode()
 
 void Cursor::getPos(int & x, int & y) const
 {
-       Point p = bv().getPos(*this, boundary());
+       Point p = bv().getPos(*this);
        x = p.x_;
        y = p.y_;
 }
@@ -422,7 +481,7 @@ Row const & Cursor::textRow() const
 {
        CursorSlice const & cs = innerTextSlice();
        ParagraphMetrics const & pm = bv().parMetrics(cs.text(), cs.pit());
-       BOOST_ASSERT(!pm.rows().empty());
+       LASSERT(!pm.rows().empty(), /**/);
        return pm.getRow(pos(), boundary());
 }
 
@@ -433,6 +492,18 @@ 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);
+       }
+}
+
 
 bool Cursor::posBackward()
 {
@@ -452,11 +523,196 @@ bool Cursor::posForward()
 }
 
 
+bool Cursor::posVisRight(bool skip_inset)
+{
+       Cursor new_cur = *this; // where we will move to
+       pos_type left_pos; // position visually left of current cursor
+       pos_type right_pos; // position visually right of current cursor
+       bool new_pos_is_RTL; // is new position we're moving to RTL?
+
+       getSurroundingPos(left_pos, right_pos);
+
+       LYXERR(Debug::RTL, left_pos <<"|"<< right_pos << " (pos: "<< pos() <<")");
+
+       // Are we at an inset?
+       new_cur.pos() = right_pos;
+       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...
+               LYXERR(Debug::RTL, "entering inset at: " << new_cur.pos());
+       }
+
+       // Are we already at rightmost pos in row?
+       else if (text()->empty() || right_pos == -1) {
+               
+               new_cur = *this;
+               if (!new_cur.posVisToNewRow(false)) {
+                       LYXERR(Debug::RTL, "not moving!");
+                       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...
+               LYXERR(Debug::RTL, "right edge, moving: " << int(new_cur.pit()) << "," 
+                       << int(new_cur.pos()) << "," << (new_cur.boundary() ? 1 : 0));
+
+       }
+       // 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.
+               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 (!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
+                       // 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!)
+                               || paragraph().getFontSettings(buffer()->params(),
+                                               new_cur.pos()).isVisibleRightToLeft()
+                       )
+                               new_cur.boundary(true);
+                       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'.
+               else {
+                       new_cur.pos() = right_pos;
+                       new_cur.boundary(false);
+               }
+       
+       }
+
+       bool moved = (new_cur.pos() != pos()
+                                 || new_cur.pit() != pit()
+                                 || new_cur.boundary() != boundary()
+                                 || &new_cur.inset() != &inset());
+       
+       if (moved) {
+               LYXERR(Debug::RTL, "moving to: " << new_cur.pos() 
+                       << (new_cur.boundary() ? " (boundary)" : ""));
+               *this = new_cur;
+       }
+
+       return moved;
+}
+
+
+bool Cursor::posVisLeft(bool skip_inset)
+{
+       Cursor new_cur = *this; // where we will move to
+       pos_type left_pos; // position visually left of current cursor
+       pos_type right_pos; // position visually right of current cursor
+       bool new_pos_is_RTL; // is new position we're moving to RTL?
+
+       getSurroundingPos(left_pos, right_pos);
+
+       LYXERR(Debug::RTL, left_pos <<"|"<< right_pos << " (pos: "<< pos() <<")");
+
+       // Are we at an inset?
+       new_cur.pos() = left_pos;
+       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...
+               LYXERR(Debug::RTL, "entering inset at: " << new_cur.pos());
+       }
+
+       // Are we already at leftmost pos in row?
+       else if (text()->empty() || left_pos == -1) {
+               
+               new_cur = *this;
+               if (!new_cur.posVisToNewRow(true)) {
+                       LYXERR(Debug::RTL, "not moving!");
+                       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...
+               LYXERR(Debug::RTL, "left edge, moving: " << int(new_cur.pit()) << "," 
+                       << int(new_cur.pos()) << "," << (new_cur.boundary() ? 1 : 0));
+
+       }
+       // 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.
+               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 (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
+                       // 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!)
+                               || !paragraph().getFontSettings(buffer()->params(),
+                                               new_cur.pos()).isVisibleRightToLeft()
+                       )
+                               new_cur.boundary(true);
+                       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'.
+               else {
+                       new_cur.pos() = left_pos;
+                       new_cur.boundary(false);
+               }
+       
+       }
+
+       bool moved = (new_cur.pos() != pos() 
+                                 || new_cur.pit() != pit()
+                                 || new_cur.boundary() != boundary());
+
+       if (moved) {
+               LYXERR(Debug::RTL, "moving to: " << new_cur.pos() 
+                       << (new_cur.boundary() ? " (boundary)" : ""));
+               *this = new_cur;
+       }
+               
+       return moved;
+}
+
+
 void Cursor::getSurroundingPos(pos_type & left_pos, pos_type & right_pos)
 {
        // preparing bidi tables
        Paragraph const & par = paragraph();
-       Buffer const & buf = buffer();
+       Buffer const & buf = *buffer();
        Row const & row = textRow();
        Bidi bidi;
        bidi.computeTables(par, buf, row);
@@ -466,7 +722,7 @@ void Cursor::getSurroundingPos(pos_type & left_pos, pos_type & right_pos)
        // 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 known_pos = boundary() ? pos() - 1 : pos();
+       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" 
@@ -475,8 +731,8 @@ void Cursor::getSurroundingPos(pos_type & left_pos, pos_type & right_pos)
                if (par.isRTL(buf.params())) {
                        left_pos = -1;
                        right_pos = bidi.vis2log(row.pos());
-               }
-               else { // LTR paragraph
+               } else { 
+                       // LTR paragraph
                        right_pos = -1;
                        left_pos = bidi.vis2log(row.endpos() - 1);
                }
@@ -491,11 +747,10 @@ void Cursor::getSurroundingPos(pos_type & left_pos, pos_type & right_pos)
        // 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 known_pos_on_right = (cur_is_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:
-       
+       // determine the other one:     
        if (known_pos_on_right) {
                right_pos = known_pos;
                // *visual* position of 'left_pos':
@@ -509,9 +764,9 @@ void Cursor::getSurroundingPos(pos_type & left_pos, pos_type & right_pos)
                if (bidi.inRange(v_left_pos) 
                                && bidi.vis2log(v_left_pos) + 1 == row.endpos() 
                                && row.endpos() < lastpos()
-                               && par.isSeparator(bidi.vis2log(v_left_pos))) {
+                               && par.isSeparator(bidi.vis2log(v_left_pos)))
                        --v_left_pos;
-               }
+
                // calculate the logical position of 'left_pos', if in row
                if (!bidi.inRange(v_left_pos))
                        left_pos = -1;
@@ -521,14 +776,14 @@ void Cursor::getSurroundingPos(pos_type & left_pos, pos_type & right_pos)
                // 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 v_right_pos = bidi.log2vis(right_pos) + 1;
+                       pos_type const v_right_pos = bidi.log2vis(right_pos) + 1;
                        if (!bidi.inRange(v_right_pos))
                                right_pos = -1;
                        else
                                right_pos = bidi.vis2log(v_right_pos);
                }
-       } 
-       else { // known_pos is on the left
+       } else { 
+               // known_pos is on the left
                left_pos = known_pos;
                // *visual* position of 'right_pos'
                pos_type v_right_pos = bidi.log2vis(left_pos) + 1;
@@ -537,9 +792,9 @@ void Cursor::getSurroundingPos(pos_type & left_pos, pos_type & right_pos)
                if (bidi.inRange(v_right_pos) 
                                && bidi.vis2log(v_right_pos) + 1 == row.endpos() 
                                && row.endpos() < lastpos()
-                               && par.isSeparator(bidi.vis2log(v_right_pos))) {
+                               && par.isSeparator(bidi.vis2log(v_right_pos)))
                        ++v_right_pos;
-               }
+
                // calculate the logical position of 'right_pos', if in row
                if (!bidi.inRange(v_right_pos)) 
                        right_pos = -1;
@@ -549,7 +804,7 @@ void Cursor::getSurroundingPos(pos_type & left_pos, pos_type & right_pos)
                // 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 v_left_pos = bidi.log2vis(left_pos) - 1;
+                       pos_type const v_left_pos = bidi.log2vis(left_pos) - 1;
                        if (!bidi.inRange(v_left_pos))
                                left_pos = -1;
                        else
@@ -563,9 +818,17 @@ void Cursor::getSurroundingPos(pos_type & left_pos, pos_type & right_pos)
 bool Cursor::posVisToNewRow(bool movingLeft)
 {
        Paragraph const & par = paragraph();
-       Buffer const & buf = buffer();
+       Buffer const & buf = *buffer();
        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. 
+       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
@@ -609,7 +872,7 @@ void Cursor::posVisToRowExtremity(bool left)
 {
        // prepare bidi tables
        Paragraph const & par = paragraph();
-       Buffer const & buf = buffer();
+       Buffer const & buf = *buffer();
        Row const & row = textRow();
        Bidi bidi;
        bidi.computeTables(par, buf, row);
@@ -648,32 +911,31 @@ void Cursor::posVisToRowExtremity(bool left)
                        // 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.
                        
-                       bool right_of_pos = false; // do we want to be to the right of pos?
-
+                       // do we want to be to the right of pos?
                        // as explained above, if at last pos in row, stay to the right
-                       if ((pos() == row.endpos() - 1) && !par.isInset(pos()))
-                               right_of_pos = true;
+                       bool const right_of_pos = row.endpos() > 0
+                               && pos() == row.endpos() - 1 && !par.isInset(pos());
 
                        // Now we know if we want to be to the left or to the right of pos,
                        // let's make sure we are where we want to be.
-                       bool new_pos_is_RTL = 
+                       bool const new_pos_is_RTL = 
                                par.getFontSettings(buf.params(), pos()).isVisibleRightToLeft();
 
-                       if (new_pos_is_RTL == !right_of_pos) {
+                       if (new_pos_is_RTL != right_of_pos) {
                                ++pos();
                                boundary(true);
                        }
-                       
                }
-       }
-       else { // move to rightmost position
+       } else { 
+               // move to rightmost position
                // if this is an LTR paragraph, and we're at the last row in the
                // paragraph, move to lastpos
                if (!par.isRTL(buf.params()) && row.endpos() == lastpos())
                        pos() = lastpos();
                else {
-                       pos() = bidi.vis2log(row.endpos() - 1);
+                       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.
@@ -698,16 +960,17 @@ void Cursor::posVisToRowExtremity(bool left)
                        // 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.
                        
-                       bool left_of_pos = false; // do we want to be to the left of pos?
-
-                       // as explained above, if at last pos in row, stay to the left
-                       if ((pos() == row.endpos() - 1) && !par.isInset(pos()))
-                               left_of_pos = true;
+                       // do we want to be to the left of pos?
+                       // as explained above, if at last pos in row, stay to the left,
+                       // unless the last position is the same as the first.
+                       bool const left_of_pos = row.endpos() > 0
+                               && pos() == row.endpos() - 1 && !par.isInset(pos());
 
                        // Now we know if we want to be to the left or to the right of pos,
                        // let's make sure we are where we want to be.
-                       bool new_pos_is_RTL = 
+                       bool const new_pos_is_RTL = 
                                par.getFontSettings(buf.params(), pos()).isVisibleRightToLeft();
 
                        if (new_pos_is_RTL == left_of_pos) {
@@ -721,9 +984,11 @@ void Cursor::posVisToRowExtremity(bool left)
 }
 
 
-CursorSlice Cursor::anchor() const
+CursorSlice Cursor::normalAnchor() const
 {
-       BOOST_ASSERT(anchor_.depth() >= depth());
+       if (!selection())
+               return top();
+       LASSERT(anchor_.depth() >= depth(), /**/);
        CursorSlice normal = anchor_[depth() - 1];
        if (depth() < anchor_.depth() && top() <= normal) {
                // anchor is behind cursor -> move anchor behind the inset
@@ -733,11 +998,17 @@ CursorSlice Cursor::anchor() const
 }
 
 
+DocIterator & Cursor::realAnchor()
+{
+       return anchor_;
+}
+
+
 CursorSlice Cursor::selBegin() const
 {
        if (!selection())
                return top();
-       return anchor() < top() ? anchor() : top();
+       return normalAnchor() < top() ? normalAnchor() : top();
 }
 
 
@@ -745,7 +1016,7 @@ CursorSlice Cursor::selEnd() const
 {
        if (!selection())
                return top();
-       return anchor() > top() ? anchor() : top();
+       return normalAnchor() > top() ? normalAnchor() : top();
 }
 
 
@@ -753,7 +1024,14 @@ DocIterator Cursor::selectionBegin() const
 {
        if (!selection())
                return *this;
-       DocIterator di = (anchor() < top() ? anchor_ : *this);
+
+       DocIterator di;
+       // FIXME: This is a work-around for the problem that
+       // CursorSlice doesn't keep track of the boundary.
+       if (normalAnchor() == top())
+               di = anchor_.boundary() > boundary() ? anchor_ : *this;
+       else
+               di = normalAnchor() < top() ? anchor_ : *this;
        di.resize(depth());
        return di;
 }
@@ -763,7 +1041,15 @@ DocIterator Cursor::selectionEnd() const
 {
        if (!selection())
                return *this;
-       DocIterator di = (anchor() > top() ? anchor_ : *this);
+
+       DocIterator di;
+       // FIXME: This is a work-around for the problem that
+       // CursorSlice doesn't keep track of the boundary.
+       if (normalAnchor() == top())
+               di = anchor_.boundary() < boundary() ? anchor_ : *this;
+       else
+               di = normalAnchor() > top() ? anchor_ : *this;
+
        if (di.depth() > depth()) {
                di.resize(depth());
                ++di.pos();
@@ -774,18 +1060,20 @@ DocIterator Cursor::selectionEnd() const
 
 void Cursor::setSelection()
 {
-       selection() = true;
+       setSelection(true);
        // A selection with no contents is not a selection
        // FIXME: doesnt look ok
-       if (pit() == anchor().pit() && pos() == anchor().pos())
-               selection() = false;
+       if (idx() == normalAnchor().idx() && 
+           pit() == normalAnchor().pit() && 
+           pos() == normalAnchor().pos())
+               setSelection(false);
 }
 
 
 void Cursor::setSelection(DocIterator const & where, int n)
 {
        setCursor(where);
-       selection() = true;
+       setSelection(true);
        anchor_ = where;
        pos() += n;
 }
@@ -793,8 +1081,9 @@ void Cursor::setSelection(DocIterator const & where, int n)
 
 void Cursor::clearSelection()
 {
-       selection() = false;
-       mark() = false;
+       setSelection(false);
+       setWordSelection(false);
+       setMark(false);
        resetAnchor();
 }
 
@@ -857,7 +1146,7 @@ bool Cursor::selHandle(bool sel)
                cap::saveSelection(*this);
 
        resetAnchor();
-       selection() = sel;
+       setSelection(sel);
        return true;
 }
 
@@ -986,13 +1275,16 @@ void Cursor::plainInsert(MathAtom const & t)
 {
        cell().insert(pos(), t);
        ++pos();
+       inset().setBuffer(bv_->buffer());
+       inset().initView();
+       forceBufferUpdate();
 }
 
 
 void Cursor::insert(docstring const & str)
 {
        for_each(str.begin(), str.end(),
-                boost::bind(static_cast<void(Cursor::*)(char_type)>
+                bind(static_cast<void(Cursor::*)(char_type)>
                             (&Cursor::insert), this, _1));
 }
 
@@ -1000,7 +1292,7 @@ void Cursor::insert(docstring const & str)
 void Cursor::insert(char_type c)
 {
        //lyxerr << "Cursor::insert char '" << c << "'" << endl;
-       BOOST_ASSERT(!empty());
+       LASSERT(!empty(), /**/);
        if (inMathed()) {
                cap::selClearOrDel(*this);
                insert(new InsetMathChar(c));
@@ -1019,22 +1311,26 @@ void Cursor::insert(MathAtom const & t)
 }
 
 
-void Cursor::insert(Inset * inset)
+void Cursor::insert(Inset * inset0)
 {
+       LASSERT(inset0, /**/);
        if (inMathed())
-               insert(MathAtom(inset));
+               insert(MathAtom(inset0->asInsetMath()));
        else {
-               text()->insertInset(*this, inset);
-               inset->setBuffer(bv_->buffer());
+               text()->insertInset(*this, inset0);
+               inset0->setBuffer(bv_->buffer());
+               inset0->initView();
+               if (inset0->isLabeled())
+                       forceBufferUpdate();
        }
 }
 
 
-void Cursor::niceInsert(docstring const & t)
+void Cursor::niceInsert(docstring const & t, Parse::flags f, bool enter)
 {
-       MathData ar;
-       asArray(t, ar);
-       if (ar.size() == 1)
+       MathData ar(buffer());
+       asArray(t, ar, f);
+       if (ar.size() == 1 && (enter || selection()))
                niceInsert(ar[0]);
        else
                insert(ar);
@@ -1046,14 +1342,14 @@ void Cursor::niceInsert(MathAtom const & t)
        macroModeClose();
        docstring const safe = cap::grabAndEraseSelection(*this);
        plainInsert(t);
-       // enter the new inset and move the contents of the selection if possible
+       // If possible, enter the new inset and move the contents of the selection
        if (t->isActive()) {
                posBackward();
                // be careful here: don't use 'pushBackward(t)' as this we need to
                // push the clone, not the original
                pushBackward(*nextInset());
                // We may not use niceInsert here (recursion)
-               MathData ar;
+               MathData ar(buffer());
                asArray(safe, ar);
                insert(ar);
        }
@@ -1067,6 +1363,8 @@ void Cursor::insert(MathData const & ar)
                cap::eraseSelection(*this);
        cell().insert(pos(), ar);
        pos() += ar.size();
+       // FIXME audit setBuffer calls
+       inset().setBuffer(bv_->buffer());
 }
 
 
@@ -1112,7 +1410,7 @@ bool Cursor::backspace()
                // let's require two backspaces for 'big stuff' and
                // highlight on the first
                resetAnchor();
-               selection() = true;
+               setSelection(true);
                --pos();
        } else {
                --pos();
@@ -1160,7 +1458,7 @@ bool Cursor::erase()
        // 'clever' UI hack: only erase large items if previously slected
        if (pos() != lastpos() && nextAtom()->nargs() > 0) {
                resetAnchor();
-               selection() = true;
+               setSelection(true);
                ++pos();
        } else {
                plainErase();
@@ -1204,6 +1502,8 @@ bool Cursor::macroModeClose()
                return false;
        InsetMathUnknown * p = activeMacro();
        p->finalize();
+       MathData selection(buffer());
+       asArray(p->selection(), selection);
        docstring const s = p->name();
        --pos();
        cell().erase(pos());
@@ -1214,19 +1514,45 @@ bool Cursor::macroModeClose()
 
        // trigger updates of macros, at least, if no full
        // updates take place anyway
-       updateFlags(Update::Force);
+       screenUpdateFlags(Update::Force);
 
        docstring const name = s.substr(1);
        InsetMathNest * const in = inset().asInsetMath()->asNestInset();
        if (in && in->interpretString(*this, s))
                return true;
-       MathAtom atom = createInsetMath(name);
+       MathAtom atom = buffer()->getMacro(name, *this, false) ?
+               MathAtom(new MathMacro(buffer(), name)) : createInsetMath(name, buffer());
+
+       // try to put argument into macro, if we just inserted a macro
+       bool macroArg = false;
        MathMacro * atomAsMacro = atom.nucleus()->asMacro();
        if (atomAsMacro) {
-               // make non-greedy, i.e. don't eat parameters from the right
-               atomAsMacro->setDisplayMode(MathMacro::DISPLAY_INTERACTIVE_INIT);
+               // macros here are still unfolded (in init mode in fact). So
+               // 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) {
+                       macroArg = true;
+                       atomAsMacro->setDisplayMode(MathMacro::DISPLAY_INTERACTIVE_INIT, 1);
+               } else
+                       // non-greedy case. Do not touch the arguments behind
+                       atomAsMacro->setDisplayMode(MathMacro::DISPLAY_INTERACTIVE_INIT, 0);
        }
+
+       // insert remembered selection into first argument of a non-macro
+       else if (atom.nucleus()->nargs() > 0)
+               atom.nucleus()->cell(0).append(selection);
+       
        plainInsert(atom);
+
+       // finally put the macro argument behind, if needed
+       if (macroArg) {
+               if (selection.size() > 1 || selection[0]->asScriptInset())
+                       plainInsert(MathAtom(new InsetMathBrace(selection)));
+               else
+                       insert(selection);
+       }
+       
        return true;
 }
 
@@ -1337,7 +1663,7 @@ void Cursor::normalize()
                        << pos() << ' ' << lastpos() <<  " in idx: " << idx()
                       << " in atom: '";
                odocstringstream os;
-               WriteStream wi(os, false, true);
+               WriteStream wi(os, false, true, WriteStream::wsDefault);
                inset().asInsetMath()->write(wi);
                lyxerr << to_utf8(os.str()) << endl;
                pos() = lastpos();
@@ -1354,8 +1680,8 @@ bool Cursor::upDownInMath(bool up)
        int xo = 0;
        int yo = 0;
        getPos(xo, yo);
-       xo = theLyXFunc().cursorBeforeDispatchX();
-       
+       xo = beforeDispatchPosX_;
+
        // check if we had something else in mind, if not, this is the future
        // target
        if (x_target_ == -1)
@@ -1404,7 +1730,7 @@ bool Cursor::upDownInMath(bool up)
                                int x;
                                int y;
                                getPos(x, y);
-                               int oy = theLyXFunc().cursorBeforeDispatchY();
+                               int oy = beforeDispatchPosY_;
                                if ((!up && y <= oy) ||
                                                (up && y >= oy))
                                        operator=(old);
@@ -1425,7 +1751,7 @@ bool Cursor::upDownInMath(bool up)
                                int x;
                                int y;
                                getPos(x, y);
-                               int oy = theLyXFunc().cursorBeforeDispatchY();
+                               int oy = beforeDispatchPosY_;
                                if ((!up && y <= oy) ||
                                                (up && y >= oy))
                                        operator=(old);
@@ -1449,7 +1775,7 @@ bool Cursor::upDownInMath(bool up)
                //lyxerr << "updown: popBackward succeeded" << endl;
                int xnew;
                int ynew;
-               int yold = theLyXFunc().cursorBeforeDispatchY();
+               int yold = beforeDispatchPosY_;
                getPos(xnew, ynew);
                if (up ? ynew < yold : ynew > yold)
                        return true;
@@ -1461,15 +1787,37 @@ bool Cursor::upDownInMath(bool up)
 }
 
 
+bool Cursor::atFirstOrLastRow(bool up)
+{
+       TextMetrics const & tm = bv_->textMetrics(text());
+       ParagraphMetrics const & pm = tm.parMetrics(pit());
+       
+       int row;
+       if (pos() && boundary())
+               row = pm.pos2row(pos() - 1);
+       else
+               row = pm.pos2row(pos());
+       
+       if (up) {
+               if (pit() == 0 && row == 0)
+                       return true;
+       } else {
+               if (pit() + 1 >= int(text()->paragraphs().size()) &&
+                               row + 1 >= int(pm.rows().size()))
+                       return true;
+       }
+       return false;
+}
+
 bool Cursor::upDownInText(bool up, bool & updateNeeded)
 {
-       BOOST_ASSERT(text());
+       LASSERT(text(), /**/);
 
        // where are we?
        int xo = 0;
        int yo = 0;
        getPos(xo, yo);
-       xo = theLyXFunc().cursorBeforeDispatchX();
+       xo = beforeDispatchPosX_;
 
        // update the targetX - this is here before the "return false"
        // to set a new target which can be used by InsetTexts above
@@ -1514,19 +1862,40 @@ bool Cursor::upDownInText(bool up, bool & updateNeeded)
        else
                row = pm.pos2row(pos());
                
-       // are we not at the start or end?
-       if (up) {
-               if (pit() == 0 && row == 0)
-                       return false;
-       } else {
-               if (pit() + 1 >= int(text()->paragraphs().size()) &&
-                               row + 1 >= int(pm.rows().size()))
-                       return false;
-       }       
+       if (atFirstOrLastRow(up)) {
+               // Is there a place for the cursor to go ? If yes, we
+               // can execute the DEPM, otherwise we should keep the
+               // paragraph to host the cursor.
+               Cursor dummy = *this;
+               bool valid_destination = false;
+               for(; dummy.depth(); dummy.pop())
+                       if (!dummy.atFirstOrLastRow(up)) {
+                               valid_destination = true;
+                               break;
+                       }
+
+               // will a next dispatch follow and if there is a new 
+               // dispatch will it move the cursor out ?
+               if (depth() > 1 && valid_destination) {
+                       // The cursor hasn't changed yet. This happens when
+                       // you e.g. move out of an inset. And to give the 
+                       // DEPM the possibility of doing something we must
+                       // provide it with two different cursors. (Lgb, vfr)
+                       dummy = *this;
+                       dummy.pos() = dummy.pos() == 0 ? dummy.lastpos() : 0;
+                       dummy.pit() = dummy.pit() == 0 ? dummy.lastpit() : 0;
+
+                       updateNeeded |= bv().checkDepm(dummy, *this);
+                       updateTextTargetOffset();
+                       if (updateNeeded)
+                               forceBufferUpdate();
+               }
+               return false;
+       }
 
        // with and without selection are handled differently
        if (!selection()) {
-               int yo = bv().getPos(*this, boundary()).y_;
+               int yo = bv().getPos(*this).y_;
                Cursor old = *this;
                // To next/previous row
                if (up)
@@ -1535,41 +1904,62 @@ bool Cursor::upDownInText(bool up, bool & updateNeeded)
                        tm.editXY(*this, xo, yo + textRow().descent() + 1);
                clearSelection();
                
-               // This happens when you move out of an inset.
-               // And to give the DEPM the possibility of doing
-               // something we must provide it with two different
-               // cursors. (Lgb)
+               // This happens when you move out of an inset.  
+               // And to give the DEPM the possibility of doing  
+               // something we must provide it with two different  
+               // cursors. (Lgb)  
                Cursor dummy = *this;
                if (dummy == old)
                        ++dummy.pos();
                if (bv().checkDepm(dummy, old)) {
                        updateNeeded = true;
-                       // Make sure that cur gets back whatever happened to dummy(Lgb)
+                       // Make sure that cur gets back whatever happened to dummy (Lgb) 
                        operator=(dummy);
                }
        } else {
-               // if there is a selection, we stay out of any inset, and just jump to the right position:
+               // if there is a selection, we stay out of any inset,
+               // and just jump to the right position:
                Cursor old = *this;
+               int next_row = row;
                if (up) {
                        if (row > 0) {
-                               top().pos() = min(tm.x2pos(pit(), row - 1, xo), top().lastpos());
+                               --next_row;
                        } else if (pit() > 0) {
                                --pit();
-                               ParagraphMetrics const & pmcur = bv_->parMetrics(text(), pit());
-                               top().pos() = min(tm.x2pos(pit(), pmcur.rows().size() - 1, xo), top().lastpos());
+                               TextMetrics & tm = bv_->textMetrics(text());
+                               if (!tm.contains(pit()))
+                                       tm.newParMetricsUp();
+                               ParagraphMetrics const & pmcur = tm.parMetrics(pit());
+                               next_row = pmcur.rows().size() - 1;
                        }
                } else {
                        if (row + 1 < int(pm.rows().size())) {
-                               top().pos() = min(tm.x2pos(pit(), row + 1, xo), top().lastpos());
+                               ++next_row;
                        } else if (pit() + 1 < int(text()->paragraphs().size())) {
                                ++pit();
-                               top().pos() = min(tm.x2pos(pit(), 0, xo), top().lastpos());
+                               TextMetrics & tm = bv_->textMetrics(text());
+                               if (!tm.contains(pit()))
+                                       tm.newParMetricsDown();
+                               next_row = 0;
                        }
                }
+               top().pos() = min(tm.x2pos(pit(), next_row, xo), top().lastpos());
+
+               int const xpos = tm.x2pos(pit(), next_row, xo);
+               bool const at_end_row = xpos == tm.x2pos(pit(), next_row, tm.width());
+               bool const at_beg_row = xpos == tm.x2pos(pit(), next_row, 0);
+
+               if (at_end_row && at_beg_row)
+                       // make sure the cursor ends up on this row
+                       boundary(false);
+               else
+                       boundary(at_end_row);
 
                updateNeeded |= bv().checkDepm(*this, old);
        }
 
+       if (updateNeeded)
+               forceBufferUpdate();
        updateTextTargetOffset();
        return true;
 }      
@@ -1584,6 +1974,8 @@ void Cursor::handleFont(string const & font)
                safe = cap::grabAndEraseSelection(*this);
        }
 
+       recordUndoInset();
+
        if (lastpos() != 0) {
                // something left in the cell
                if (pos() == 0) {
@@ -1595,16 +1987,17 @@ void Cursor::handleFont(string const & font)
                } else {
                        // cursor in between. split cell
                        MathData::iterator bt = cell().begin();
-                       MathAtom at = createInsetMath(from_utf8(font));
-                       at.nucleus()->cell(0) = MathData(bt, bt + pos());
+                       MathAtom at = createInsetMath(from_utf8(font), buffer());
+                       at.nucleus()->cell(0) = MathData(buffer(), bt, bt + pos());
                        cell().erase(bt, bt + pos());
                        popBackward();
                        plainInsert(at);
                }
        } else {
                // nothing left in the cell
-               pullArg();
+               popBackward();
                plainErase();
+               resetAnchor();
        }
        insert(safe);
 }
@@ -1612,59 +2005,78 @@ void Cursor::handleFont(string const & font)
 
 void Cursor::message(docstring const & msg) const
 {
-       theLyXFunc().setMessage(msg);
+       disp_.setMessage(msg);
 }
 
 
 void Cursor::errorMessage(docstring const & msg) const
 {
-       theLyXFunc().setErrorMessage(msg);
+       disp_.setMessage(msg);
+       disp_.setError(true);
 }
 
 
-docstring Cursor::selectionAsString(bool label) const
+static docstring parbreak(InsetCode code)
+{
+       odocstringstream os;
+       os << '\n';
+       // only add blank line if we're not in an ERT or Listings inset
+       if (code != ERT_CODE && code != LISTINGS_CODE)
+               os << '\n';
+       return os.str();
+}
+
+
+docstring Cursor::selectionAsString(bool with_label) const
 {
        if (!selection())
                return docstring();
 
-       if (inTexted()) {
-               ParagraphList const & pars = text()->paragraphs();
+       if (inMathed())
+               return cap::grabSelection(*this);
 
-               // should be const ...
-               pit_type startpit = selBegin().pit();
-               pit_type endpit = selEnd().pit();
-               size_t const startpos = selBegin().pos();
-               size_t const endpos = selEnd().pos();
+       int const label = with_label
+               ? AS_STR_LABEL | AS_STR_INSETS : AS_STR_INSETS;
 
-               if (startpit == endpit)
-                       return pars[startpit].asString(startpos, endpos, label);
+       idx_type const startidx = selBegin().idx();
+       idx_type const endidx = selEnd().idx();
+       if (startidx != endidx) {
+               // multicell selection
+               InsetTabular * table = inset().asInsetTabular();
+               LASSERT(table, return docstring());
+               return table->asString(startidx, endidx);
+       }
 
-               // First paragraph in selection
-               docstring result = pars[startpit].
-                       asString(startpos, pars[startpit].size(), label)
-                                + parbreak(pars[startpit]);
+       ParagraphList const & pars = text()->paragraphs();
 
-               // The paragraphs in between (if any)
-               for (pit_type pit = startpit + 1; pit != endpit; ++pit) {
-                       Paragraph const & par = pars[pit];
-                       result += par.asString(0, par.size(), label)
-                                 + parbreak(pars[pit]);
-               }
+       pit_type const startpit = selBegin().pit();
+       pit_type const endpit = selEnd().pit();
+       size_t const startpos = selBegin().pos();
+       size_t const endpos = selEnd().pos();
+
+       if (startpit == endpit)
+               return pars[startpit].asString(startpos, endpos, label);
 
-               // Last paragraph in selection
-               result += pars[endpit].asString(0, endpos, label);
+       // First paragraph in selection
+       docstring result = pars[startpit].
+               asString(startpos, pars[startpit].size(), label)
+               + parbreak(inset().lyxCode());
 
-               return result;
+       // The paragraphs in between (if any)
+       for (pit_type pit = startpit + 1; pit != endpit; ++pit) {
+               Paragraph const & par = pars[pit];
+               result += par.asString(0, par.size(), label)
+                       + parbreak(inset().lyxCode());
        }
 
-       if (inMathed())
-               return cap::grabSelection(*this);
+       // Last paragraph in selection
+       result += pars[endpit].asString(0, endpos, label);
 
-       return docstring();
+       return result;
 }
 
 
-docstring Cursor::currentState()
+docstring Cursor::currentState() const
 {
        if (inMathed()) {
                odocstringstream os;
@@ -1679,7 +2091,7 @@ docstring Cursor::currentState()
 }
 
 
-docstring Cursor::getPossibleLabel()
+docstring Cursor::getPossibleLabel() const
 {
        return inMathed() ? from_ascii("eq:") : text()->getPossibleLabel(*this);
 }
@@ -1692,7 +2104,7 @@ Encoding const * Cursor::getEncoding() const
        CursorSlice const & sl = innerTextSlice();
        Text const & text = *sl.text();
        Font font = text.getPar(sl.pit()).getFont(
-               bv().buffer().params(), sl.pos(), outerFont(sl.pit(), text.paragraphs()));
+               bv().buffer().params(), sl.pos(), text.outerFont(sl.pit()));
        return font.language()->encoding();
 }
 
@@ -1709,15 +2121,33 @@ void Cursor::dispatched()
 }
 
 
-void Cursor::updateFlags(Update::flags f)
+void Cursor::screenUpdateFlags(Update::flags f)
+{
+       disp_.screenUpdate(f);
+}
+
+
+void Cursor::forceBufferUpdate()
+{
+       disp_.forceBufferUpdate();
+}
+
+
+void Cursor::clearBufferUpdate()
+{
+       disp_.clearBufferUpdate();
+}
+
+
+bool Cursor::needBufferUpdate() const
 {
-       disp_.update(f);
+       return disp_.needBufferUpdate();
 }
 
 
-void Cursor::noUpdate()
+void Cursor::noScreenUpdate()
 {
-       disp_.update(Update::None);
+       disp_.screenUpdate(Update::None);
 }
 
 
@@ -1748,8 +2178,8 @@ Font Cursor::getFont() const
        }
        
        // get font at the position
-       Font font = par.getFont(bv().buffer().params(), pos,
-               outerFont(sl.pit(), text.paragraphs()));
+       Font font = par.getFont(buffer()->params(), pos,
+               text.outerFont(sl.pit()));
 
        return font;
 }
@@ -1757,16 +2187,18 @@ Font Cursor::getFont() const
 
 bool Cursor::fixIfBroken()
 {
-       if (DocIterator::fixIfBroken()) {
-                       clearSelection();
-                       resetAnchor();
-                       return true;
+       bool const broken_cursor = DocIterator::fixIfBroken();
+       bool const broken_anchor = anchor_.fixIfBroken();
+       
+       if (broken_cursor || broken_anchor) {
+               clearSelection();
+               return true;
        }
        return false;
 }
 
 
-bool notifyCursorLeaves(Cursor const & old, Cursor & cur)
+bool notifyCursorLeavesOrEnters(Cursor const & old, Cursor & cur)
 {
        // find inset in common
        size_type i;
@@ -1777,19 +2209,25 @@ bool notifyCursorLeaves(Cursor const & old, Cursor & cur)
 
        // update words if we just moved to another paragraph
        if (i == old.depth() && i == cur.depth()
-           && !cur.buffer().isClean()
+           && !cur.buffer()->isClean()
            && cur.inTexted() && old.inTexted()
            && cur.pit() != old.pit()) {
-               old.paragraph().updateWords(old.buffer(), old.top());
-               return false;
+               old.paragraph().updateWords();
        }
-       
+
        // notify everything on top of the common part in old cursor,
        // but stop if the inset claims the cursor to be invalid now
-       for (; i < old.depth(); ++i) {
-               Cursor insetPos = old;
-               insetPos.cutOff(i);
-               if (old[i].inset().notifyCursorLeaves(insetPos, cur))
+       for (size_type j = i; j < old.depth(); ++j) {
+               Cursor inset_pos = old;
+               inset_pos.cutOff(j);
+               if (old[j].inset().notifyCursorLeaves(inset_pos, cur))
+                       return true;
+       }
+
+       // notify everything on top of the common part in new cursor,
+       // but stop if the inset claims the cursor to be invalid now
+       for (; i < cur.depth(); ++i) {
+               if (cur[i].inset().notifyCursorEnters(cur))
                        return true;
        }
        
@@ -1826,7 +2264,7 @@ void Cursor::setCurrentFont()
        }
 
        // get font
-       BufferParams const & bufparams = buffer().params();
+       BufferParams const & bufparams = buffer()->params();
        current_font = par.getFontSettings(bufparams, cpos);
        real_current_font = tm.displayFont(cpit, cpos);
 
@@ -1847,12 +2285,11 @@ bool Cursor::textUndo()
 {
        DocIterator dit = *this;
        // Undo::textUndo() will modify dit.
-       if (!bv_->buffer().undo().textUndo(dit))
+       if (!buffer()->undo().textUndo(dit))
                return false;
        // Set cursor
        setCursor(dit);
-       selection() = false;
-       resetAnchor();
+       clearSelection();
        fixIfBroken();
        return true;
 }
@@ -1862,67 +2299,86 @@ bool Cursor::textRedo()
 {
        DocIterator dit = *this;
        // Undo::textRedo() will modify dit.
-       if (!bv_->buffer().undo().textRedo(dit))
+       if (!buffer()->undo().textRedo(dit))
                return false;
        // Set cursor
        setCursor(dit);
-       selection() = false;
-       resetAnchor();
+       clearSelection();
        fixIfBroken();
        return true;
 }
 
 
-void Cursor::finishUndo()
+void Cursor::finishUndo() const
 {
-       bv_->buffer().undo().finishUndo();
+       buffer()->undo().finishUndo();
 }
 
 
-void Cursor::recordUndo(UndoKind kind, pit_type from, pit_type to)
+void Cursor::beginUndoGroup() const
 {
-       bv_->buffer().undo().recordUndo(*this, kind, from, to);
+       buffer()->undo().beginUndoGroup();
 }
 
 
-void Cursor::recordUndo(UndoKind kind, pit_type from)
+void Cursor::endUndoGroup() const
 {
-       bv_->buffer().undo().recordUndo(*this, kind, from);
+       buffer()->undo().endUndoGroup();
 }
 
 
-void Cursor::recordUndo(UndoKind kind)
+void Cursor::recordUndo(UndoKind kind, pit_type from, pit_type to) const
 {
-       bv_->buffer().undo().recordUndo(*this, kind);
+       buffer()->undo().recordUndo(*this, kind, from, to);
 }
 
 
-void Cursor::recordUndoInset(UndoKind kind)
+void Cursor::recordUndo(UndoKind kind, pit_type from) const
 {
-       bv_->buffer().undo().recordUndoInset(*this, kind);
+       buffer()->undo().recordUndo(*this, kind, from);
 }
 
 
-void Cursor::recordUndoFullDocument()
+void Cursor::recordUndo(UndoKind kind) const
 {
-       bv_->buffer().undo().recordUndoFullDocument(*this);
+       buffer()->undo().recordUndo(*this, kind);
 }
 
 
-void Cursor::recordUndoSelection()
+void Cursor::recordUndoInset(UndoKind kind) const
 {
-       bv_->buffer().undo().recordUndo(*this, ATOMIC_UNDO,
-               selBegin().pit(), selEnd().pit());
+       buffer()->undo().recordUndoInset(*this, kind);
+}
+
+
+void Cursor::recordUndoFullDocument() const
+{
+       buffer()->undo().recordUndoFullDocument(*this);
+}
+
+
+void Cursor::recordUndoSelection() const
+{
+       if (inMathed()) {
+               if (cap::multipleCellsSelected(*this))
+                       recordUndoInset();
+               else
+                       recordUndo();
+       } else {
+               buffer()->undo().recordUndo(*this, ATOMIC_UNDO,
+                       selBegin().pit(), selEnd().pit());
+       }
 }
 
 
 void Cursor::checkBufferStructure()
 {
-       if (paragraph().layout()->toclevel == Layout::NOT_IN_TOC)
-               return;
-       Buffer const * master = buffer().masterBuffer();
-       master->tocBackend().updateItem(ParConstIterator(*this));
-       master->structureChanged();
+       Buffer const * master = buffer()->masterBuffer();
+       master->tocBackend().updateItem(*this);
+       if (master != buffer() && !master->hasGuiDelegate())
+               // In case the master has no gui associated with it, 
+               // the TocItem is not updated (part of bug 5699).
+               buffer()->tocBackend().updateItem(*this);
 }