]> git.lyx.org Git - lyx.git/blobdiff - src/Cursor.cpp
Revert 23154.
[lyx.git] / src / Cursor.cpp
index f7e949fb8238088d79d507b867c3a804a466ebd1..ef62fea62157f49ab01831db0528d1c82222f7ab 100644 (file)
@@ -5,6 +5,7 @@
  *
  * \author Alejandro Aguilar Sierra
  * \author Alfredo Braunstein
+ * \author Dov Feldstern
  * \author André Pönitz
  * \author Stefan Schimanski
  *
 #include <config.h>
 
 #include "Bidi.h"
-#include "BufferView.h"
 #include "Buffer.h"
-#include "Cursor.h"
+#include "BufferView.h"
 #include "CoordCache.h"
+#include "Cursor.h"
 #include "CutAndPaste.h"
-#include "debug.h"
 #include "DispatchResult.h"
 #include "Encoding.h"
+#include "Font.h"
 #include "FuncRequest.h"
 #include "Language.h"
 #include "lfuns.h"
-#include "Font.h"
 #include "LyXFunc.h" // only for setMessage()
 #include "LyXRC.h"
-#include "Row.h"
-#include "Text.h"
-#include "Paragraph.h"
 #include "paragraph_funcs.h"
+#include "Paragraph.h"
 #include "ParIterator.h"
+#include "Row.h"
+#include "Text.h"
 #include "TextMetrics.h"
+#include "TocBackend.h"
 
+#include "support/debug.h"
 #include "support/docstream.h"
 
 #include "insets/InsetTabular.h"
 
 #include <boost/assert.hpp>
 #include <boost/bind.hpp>
-#include <boost/current_function.hpp>
 
 #include <sstream>
 #include <limits>
 #include <map>
 
-using std::string;
-using std::vector;
-using std::endl;
-using std::min;
-using std::for_each;
-
+using namespace std;
 
 namespace lyx {
 
 namespace {
 
-       bool
-       positionable(DocIterator const & cursor, DocIterator const & anchor)
-       {
-               // avoid deeper nested insets when selecting
-               if (cursor.depth() > anchor.depth())
+bool positionable(DocIterator const & cursor, DocIterator const & anchor)
+{
+       // avoid deeper nested insets when selecting
+       if (cursor.depth() > anchor.depth())
+               return false;
+
+       // anchor might be deeper, should have same path then
+       for (size_t i = 0; i < cursor.depth(); ++i)
+               if (&cursor[i].inset() != &anchor[i].inset())
                        return false;
 
-               // anchor might be deeper, should have same path then
-               for (size_t i = 0; i < cursor.depth(); ++i)
-                       if (&cursor[i].inset() != &anchor[i].inset())
-                               return false;
+       // position should be ok.
+       return true;
+}
 
-               // position should be ok.
-               return true;
-       }
 
+// Find position closest to (x, y) in cell given by iter.
+// Used only in mathed
+DocIterator bruteFind2(Cursor const & c, int x, int y)
+{
+       double best_dist = numeric_limits<double>::max();
 
-       // Find position closest to (x, y) in cell given by iter.
-       // Used only in mathed
-       DocIterator bruteFind2(Cursor const & c, int x, int y)
-       {
-               double best_dist = std::numeric_limits<double>::max();
-
-               DocIterator result;
-
-               DocIterator it = c;
-               it.top().pos() = 0;
-               DocIterator et = c;
-               et.top().pos() = et.top().asInsetMath()->cell(et.top().idx()).size();
-               for (size_t i = 0;; ++i) {
-                       int xo;
-                       int yo;
-                       Inset const * inset = &it.inset();
-                       std::map<Inset const *, Geometry> const & data =
-                               c.bv().coordCache().getInsets().getData();
-                       std::map<Inset const *, Geometry>::const_iterator I = data.find(inset);
-
-                       // FIXME: in the case where the inset is not in the cache, this
-                       // means that no part of it is visible on screen. In this case
-                       // we don't do elaborate search and we just return the forwarded
-                       // DocIterator at its beginning.
-                       if (I == data.end()) {
-                               it.top().pos() = 0;
-                               return it;
-                       }
+       DocIterator result;
 
-                       Point o = I->second.pos;
-                       inset->cursorPos(c.bv(), it.top(), c.boundary(), xo, yo);
-                       // Convert to absolute
-                       xo += o.x_;
-                       yo += o.y_;
-                       double d = (x - xo) * (x - xo) + (y - yo) * (y - yo);
-                       // '<=' in order to take the last possible position
-                       // this is important for clicking behind \sum in e.g. '\sum_i a'
-                       LYXERR(Debug::DEBUG) << "i: " << i << " d: " << d
-                               << " best: " << best_dist << endl;
-                       if (d <= best_dist) {
-                               best_dist = d;
-                               result = it;
-                       }
-                       if (it == et)
-                               break;
-                       it.forwardPos();
-               }
-               return result;
-       }
+       DocIterator it = c;
+       it.top().pos() = 0;
+       DocIterator et = c;
+       et.top().pos() = et.top().asInsetMath()->cell(et.top().idx()).size();
+       for (size_t i = 0;; ++i) {
+               int xo;
+               int yo;
+               Inset const * inset = &it.inset();
+               map<Inset const *, Geometry> const & data =
+                       c.bv().coordCache().getInsets().getData();
+               map<Inset const *, Geometry>::const_iterator I = data.find(inset);
 
+               // FIXME: in the case where the inset is not in the cache, this
+               // means that no part of it is visible on screen. In this case
+               // we don't do elaborate search and we just return the forwarded
+               // DocIterator at its beginning.
+               if (I == data.end()) {
+                       it.top().pos() = 0;
+                       return it;
+               }
 
-       /*
-       /// moves position closest to (x, y) in given box
-       bool bruteFind(Cursor & cursor,
-               int x, int y, int xlow, int xhigh, int ylow, int yhigh)
-       {
-               BOOST_ASSERT(!cursor.empty());
-               Inset & inset = cursor[0].inset();
-               BufferView & bv = cursor.bv();
-
-               CoordCache::InnerParPosCache const & cache =
-                       bv.coordCache().getParPos().find(cursor.bottom().text())->second;
-               // Get an iterator on the first paragraph in the cache
-               DocIterator it(inset);
-               it.push_back(CursorSlice(inset));
-               it.pit() = cache.begin()->first;
-               // Get an iterator after the last paragraph in the cache
-               DocIterator et(inset);
-               et.push_back(CursorSlice(inset));
-               et.pit() = boost::prior(cache.end())->first;
-               if (et.pit() >= et.lastpit())
-                       et = doc_iterator_end(inset);
-               else
-                       ++et.pit();
-
-               double best_dist = std::numeric_limits<double>::max();;
-               DocIterator best_cursor = et;
-
-               for ( ; it != et; it.forwardPos(true)) {
-                       // avoid invalid nesting when selecting
-                       if (!cursor.selection() || positionable(it, cursor.anchor_)) {
-                               Point p = bv.getPos(it, false);
-                               int xo = p.x_;
-                               int yo = p.y_;
-                               if (xlow <= xo && xo <= xhigh && ylow <= yo && yo <= yhigh) {
-                                       double const dx = xo - x;
-                                       double const dy = yo - y;
-                                       double const d = dx * dx + dy * dy;
-                                       // '<=' in order to take the last possible position
-                                       // this is important for clicking behind \sum in e.g. '\sum_i a'
-                                       if (d <= best_dist) {
-                                               //      lyxerr << "*" << endl;
-                                               best_dist   = d;
-                                               best_cursor = it;
-                                       }
+               Point o = I->second.pos;
+               inset->cursorPos(c.bv(), it.top(), c.boundary(), xo, yo);
+               // Convert to absolute
+               xo += o.x_;
+               yo += o.y_;
+               double d = (x - xo) * (x - xo) + (y - yo) * (y - yo);
+               // '<=' in order to take the last possible position
+               // this is important for clicking behind \sum in e.g. '\sum_i a'
+               LYXERR(Debug::DEBUG, "i: " << i << " d: " << d
+                       << " best: " << best_dist);
+               if (d <= best_dist) {
+                       best_dist = d;
+                       result = it;
+               }
+               if (it == et)
+                       break;
+               it.forwardPos();
+       }
+       return result;
+}
+
+
+/*
+/// moves position closest to (x, y) in given box
+bool bruteFind(Cursor & cursor,
+       int x, int y, int xlow, int xhigh, int ylow, int yhigh)
+{
+       BOOST_ASSERT(!cursor.empty());
+       Inset & inset = cursor[0].inset();
+       BufferView & bv = cursor.bv();
+
+       CoordCache::InnerParPosCache const & cache =
+               bv.coordCache().getParPos().find(cursor.bottom().text())->second;
+       // Get an iterator on the first paragraph in the cache
+       DocIterator it(inset);
+       it.push_back(CursorSlice(inset));
+       it.pit() = cache.begin()->first;
+       // Get an iterator after the last paragraph in the cache
+       DocIterator et(inset);
+       et.push_back(CursorSlice(inset));
+       et.pit() = boost::prior(cache.end())->first;
+       if (et.pit() >= et.lastpit())
+               et = doc_iterator_end(inset);
+       else
+               ++et.pit();
+
+       double best_dist = numeric_limits<double>::max();;
+       DocIterator best_cursor = et;
+
+       for ( ; it != et; it.forwardPos(true)) {
+               // avoid invalid nesting when selecting
+               if (!cursor.selection() || positionable(it, cursor.anchor_)) {
+                       Point p = bv.getPos(it, false);
+                       int xo = p.x_;
+                       int yo = p.y_;
+                       if (xlow <= xo && xo <= xhigh && ylow <= yo && yo <= yhigh) {
+                               double const dx = xo - x;
+                               double const dy = yo - y;
+                               double const d = dx * dx + dy * dy;
+                               // '<=' in order to take the last possible position
+                               // this is important for clicking behind \sum in e.g. '\sum_i a'
+                               if (d <= best_dist) {
+                                       //      lyxerr << "*" << endl;
+                                       best_dist   = d;
+                                       best_cursor = it;
                                }
                        }
                }
+       }
 
-               if (best_cursor != et) {
-                       cursor.setCursor(best_cursor);
-                       return true;
-               }
-
-               return false;
+       if (best_cursor != et) {
+               cursor.setCursor(best_cursor);
+               return true;
        }
-       */
 
+       return false;
+}
+*/
 
-       /// moves position closest to (x, y) in given box
-       bool bruteFind3(Cursor & cur, int x, int y, bool up)
-       {
-               BufferView & bv = cur.bv();
-               int ylow  = up ? 0 : y + 1;
-               int yhigh = up ? y - 1 : bv.workHeight();
-               int xlow = 0;
-               int xhigh = bv.workWidth();
+
+/// moves position closest to (x, y) in given box
+bool bruteFind3(Cursor & cur, int x, int y, bool up)
+{
+       BufferView & bv = cur.bv();
+       int ylow  = up ? 0 : y + 1;
+       int yhigh = up ? y - 1 : bv.workHeight();
+       int xlow = 0;
+       int xhigh = bv.workWidth();
 
 // FIXME: bit more work needed to get 'from' and 'to' right.
-               pit_type from = cur.bottom().pit();
-               //pit_type to = cur.bottom().pit();
-               //lyxerr << "Pit start: " << from << endl;
-
-               //lyxerr << "bruteFind3: x: " << x << " y: " << y
-               //      << " xlow: " << xlow << " xhigh: " << xhigh
-               //      << " ylow: " << ylow << " yhigh: " << yhigh
-               //      << endl;
-               Inset & inset = bv.buffer().inset();
-               DocIterator it = doc_iterator_begin(inset);
-               it.pit() = from;
-               DocIterator et = doc_iterator_end(inset);
-
-               double best_dist = std::numeric_limits<double>::max();
-               DocIterator best_cursor = et;
-
-               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);
-                               int xo = p.x_;
-                               int yo = p.y_;
-                               if (xlow <= xo && xo <= xhigh && ylow <= yo && yo <= yhigh) {
-                                       double const dx = xo - x;
-                                       double const dy = yo - y;
-                                       double const d = dx * dx + dy * dy;
-                                       //lyxerr << "itx: " << xo << " ity: " << yo << " d: " << d
-                                       //      << " dx: " << dx << " dy: " << dy
-                                       //      << " idx: " << it.idx() << " pos: " << it.pos()
-                                       //      << " it:\n" << it
-                                       //      << endl;
-                                       // '<=' in order to take the last possible position
-                                       // this is important for clicking behind \sum in e.g. '\sum_i a'
-                                       if (d <= best_dist) {
-                                               //lyxerr << "*" << endl;
-                                               best_dist   = d;
-                                               best_cursor = it;
-                                       }
+       pit_type from = cur.bottom().pit();
+       //pit_type to = cur.bottom().pit();
+       //lyxerr << "Pit start: " << from << endl;
+
+       //lyxerr << "bruteFind3: x: " << x << " y: " << y
+       //      << " xlow: " << xlow << " xhigh: " << xhigh
+       //      << " ylow: " << ylow << " yhigh: " << yhigh
+       //      << endl;
+       Inset & inset = bv.buffer().inset();
+       DocIterator it = doc_iterator_begin(inset);
+       it.pit() = from;
+       DocIterator et = doc_iterator_end(inset);
+
+       double best_dist = numeric_limits<double>::max();
+       DocIterator best_cursor = et;
+
+       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);
+                       int xo = p.x_;
+                       int yo = p.y_;
+                       if (xlow <= xo && xo <= xhigh && ylow <= yo && yo <= yhigh) {
+                               double const dx = xo - x;
+                               double const dy = yo - y;
+                               double const d = dx * dx + dy * dy;
+                               //lyxerr << "itx: " << xo << " ity: " << yo << " d: " << d
+                               //      << " dx: " << dx << " dy: " << dy
+                               //      << " idx: " << it.idx() << " pos: " << it.pos()
+                               //      << " it:\n" << it
+                               //      << endl;
+                               // '<=' in order to take the last possible position
+                               // this is important for clicking behind \sum in e.g. '\sum_i a'
+                               if (d <= best_dist) {
+                                       //lyxerr << "*" << endl;
+                                       best_dist   = d;
+                                       best_cursor = it;
                                }
                        }
                }
-
-               //lyxerr << "best_dist: " << best_dist << " cur:\n" << best_cursor << endl;
-               if (best_cursor == et)
-                       return false;
-               cur.setCursor(best_cursor);
-               return true;
        }
 
-       docstring parbreak(Paragraph const & par)
-       {
-               odocstringstream ods;
+       //lyxerr << "best_dist: " << best_dist << " cur:\n" << best_cursor << endl;
+       if (best_cursor == et)
+               return false;
+       cur.setCursor(best_cursor);
+       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';
-               // 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();
-       }
+       return ods.str();
+}
 
 } // namespace anon
 
@@ -278,7 +273,8 @@ void Cursor::reset(Inset & inset)
 {
        clear();
        push_back(CursorSlice(inset));
-       anchor_ = DocIterator(inset);
+       anchor_ = doc_iterator_begin(inset);
+       anchor_.clear();
        clearTargetX();
        selection_ = false;
        mark_ = false;
@@ -294,9 +290,7 @@ void Cursor::setCursor(DocIterator const & cur)
 
 void Cursor::dispatch(FuncRequest const & cmd0)
 {
-       LYXERR(Debug::DEBUG) << BOOST_CURRENT_FUNCTION
-                            << " cmd: " << cmd0 << '\n'
-                            << *this << endl;
+       LYXERR(Debug::DEBUG, "cmd: " << cmd0 << '\n' << *this);
        if (empty())
                return;
 
@@ -305,11 +299,10 @@ void Cursor::dispatch(FuncRequest const & cmd0)
        Cursor safe = *this;
        
        // store some values to be used inside of the handlers
-       getPos(beforeDispX_, beforeDispY_);
        beforeDispatchCursor_ = *this;
        for (; depth(); pop()) {
-               LYXERR(Debug::DEBUG) << "Cursor::dispatch: cmd: "
-                       << cmd0 << endl << *this << endl;
+               LYXERR(Debug::DEBUG, "Cursor::dispatch: cmd: "
+                       << cmd0 << endl << *this);
                BOOST_ASSERT(pos() <= lastpos());
                BOOST_ASSERT(idx() <= lastidx());
                BOOST_ASSERT(pit() <= lastpit());
@@ -327,7 +320,7 @@ void Cursor::dispatch(FuncRequest const & cmd0)
        // it completely to get a 'bomb early' behaviour in case this
        // object will be used again.
        if (!disp_.dispatched()) {
-               LYXERR(Debug::DEBUG) << "RESTORING OLD CURSOR!" << endl;
+               LYXERR(Debug::DEBUG, "RESTORING OLD CURSOR!");
                operator=(safe);
                disp_.update(Update::None);
                disp_.dispatched(false);
@@ -384,8 +377,6 @@ void Cursor::pushBackward(Inset & p)
 bool Cursor::popBackward()
 {
        BOOST_ASSERT(!empty());
-       //lyxerr << "Leaving inset from in front" << endl;
-       inset().notifyCursorLeaves(*this);
        if (depth() == 1)
                return false;
        pop();
@@ -398,7 +389,6 @@ bool Cursor::popForward()
        BOOST_ASSERT(!empty());
        //lyxerr << "Leaving inset from in back" << endl;
        const pos_type lp = (depth() > 1) ? (*this)[depth() - 2].lastpos() : 0;
-       inset().notifyCursorLeaves(*this);
        if (depth() == 1)
                return false;
        pop();
@@ -429,7 +419,8 @@ void Cursor::getPos(int & x, int & y) const
 
 Row const & Cursor::textRow() const
 {
-       ParagraphMetrics const & pm = bv().parMetrics(text(), pit());
+       CursorSlice const & cs = innerTextSlice();
+       ParagraphMetrics const & pm = bv().parMetrics(cs.text(), cs.pit());
        BOOST_ASSERT(!pm.rows().empty());
        return pm.getRow(pos(), boundary());
 }
@@ -460,6 +451,275 @@ bool Cursor::posForward()
 }
 
 
+void Cursor::getSurroundingPos(pos_type & left_pos, pos_type & right_pos)
+{
+       // preparing bidi tables
+       Paragraph const & par = paragraph();
+       Buffer const & buf = buffer();
+       Row const & row = textRow();
+       Bidi bidi;
+       bidi.computeTables(par, buf, row);
+
+       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:
+       pos_type known_pos = boundary() ? 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).
+       if (known_pos == lastpos()) {
+               if (par.isRTL(buf.params())) {
+                       left_pos = -1;
+                       right_pos = bidi.vis2log(row.pos());
+               }
+               else { // LTR paragraph
+                       right_pos = -1;
+                       left_pos = bidi.vis2log(row.endpos() - 1);
+               }
+               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...
+       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):
+       bool 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:
+       
+       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 (bidi.inRange(v_left_pos) 
+                               && bidi.vis2log(v_left_pos) + 1 == row.endpos() 
+                               && row.endpos() < lastpos()
+                               && 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;
+               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 (right_pos + 1 == row.endpos() && row.endpos() < lastpos() 
+                               && par.isSeparator(right_pos)) {
+                       pos_type 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
+               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 (bidi.inRange(v_right_pos) 
+                               && bidi.vis2log(v_right_pos) + 1 == row.endpos() 
+                               && row.endpos() < lastpos()
+                               && 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;
+               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 (left_pos + 1 == row.endpos() && row.endpos() < lastpos() 
+                               && par.isSeparator(left_pos)) {
+                       pos_type v_left_pos = bidi.log2vis(left_pos) - 1;
+                       if (!bidi.inRange(v_left_pos))
+                               left_pos = -1;
+                       else
+                               left_pos = bidi.vis2log(v_left_pos);
+               }
+       }
+       return;
+}
+
+
+bool Cursor::posVisToNewRow(bool movingLeft)
+{
+       Paragraph const & par = paragraph();
+       Buffer const & buf = buffer();
+       Row const & row = textRow();
+       bool par_is_LTR = !par.isRTL(buf.params());
+       
+       // 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
+                               return false;
+                       // move to last pos in previous par
+                       --pit();
+                       pos() = lastpos();
+                       boundary(false);
+               } else { // move to previous row in this par
+                       pos() = row.pos() - 1; // this is guaranteed to be in previous row
+                       boundary(false);
+               }
+       }
+       // 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
+                               return false;
+                       // move to first row in next par
+                       ++pit();
+                       pos() = 0;
+                       boundary(false);
+               } else { // move to next row in this par
+                       pos() = row.endpos();
+                       boundary(false);
+               }
+       }
+       
+       // make sure we're at left-/right-most pos in new row
+       posVisToRowExtremity(!movingLeft);
+
+       return true;
+}
+
+
+void Cursor::posVisToRowExtremity(bool left)  
+{
+       // prepare bidi tables
+       Paragraph const & par = paragraph();
+       Buffer const & buf = buffer();
+       Row const & row = textRow();
+       Bidi bidi;
+       bidi.computeTables(par, buf, row);
+
+       LYXERR(Debug::RTL, "entering extremity: " << pit() << "," << pos() << ","
+               << (boundary() ? 1 : 0));
+
+       if (left) { // move to leftmost position
+               // if this is an RTL 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.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 
+                       // "boundary" which we simulate at insets.
+                       
+                       bool right_of_pos = false; // 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;
+
+                       // 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 = 
+                               par.getFontSettings(buf.params(), pos()).isVisibleRightToLeft();
+
+                       if (new_pos_is_RTL == !right_of_pos) {
+                               ++pos();
+                               boundary(true);
+                       }
+                       
+               }
+       }
+       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);
+
+                       // 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.
+                       
+                       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;
+
+                       // 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 = 
+                               par.getFontSettings(buf.params(), pos()).isVisibleRightToLeft();
+
+                       if (new_pos_is_RTL == left_of_pos) {
+                               ++pos();
+                               boundary(true);
+                       }
+               }
+       }
+       LYXERR(Debug::RTL, "leaving extremity: " << pit() << "," << pos() << ","
+               << (boundary() ? 1 : 0));
+}
+
+
 CursorSlice Cursor::anchor() const
 {
        BOOST_ASSERT(anchor_.depth() >= depth());
@@ -587,6 +847,8 @@ void Cursor::info(odocstream & os) const
 bool Cursor::selHandle(bool sel)
 {
        //lyxerr << "Cursor::selHandle" << endl;
+       if (mark())
+               sel = true;
        if (sel == selection())
                return false;
 
@@ -599,7 +861,7 @@ bool Cursor::selHandle(bool sel)
 }
 
 
-std::ostream & operator<<(std::ostream & os, Cursor const & cur)
+ostream & operator<<(ostream & os, Cursor const & cur)
 {
        os << "\n cursor:                                | anchor:\n";
        for (size_t i = 0, n = cur.depth(); i != n; ++i) {
@@ -618,11 +880,20 @@ std::ostream & operator<<(std::ostream & os, Cursor const & cur)
        return os;
 }
 
+
+LyXErr & operator<<(LyXErr & os, Cursor const & cur)
+{
+       os.stream() << cur;
+       return os;
+}
+
+
 } // namespace lyx
 
 
 ///////////////////////////////////////////////////////////////////
 //
+// FIXME: Look here
 // The part below is the non-integrated rest of the original math
 // cursor. This should be either generalized for texted or moved
 // back to mathed (in most cases to InsetMathNest).
@@ -643,7 +914,7 @@ namespace lyx {
 //#define FILEDEBUG 1
 
 
-bool Cursor::isInside(Inset const * p)
+bool Cursor::isInside(Inset const * p) const
 {
        for (size_t i = 0; i != depth(); ++i)
                if (&operator[](i).inset() == p)
@@ -950,7 +1221,7 @@ bool Cursor::macroModeClose()
        MathMacro * atomAsMacro = atom.nucleus()->asMacro();
        if (atomAsMacro) {
                // make non-greedy, i.e. don't eat parameters from the right
-               atomAsMacro->setDisplayMode(MathMacro::DISPLAY_NONGREEDY_INIT);
+               atomAsMacro->setDisplayMode(MathMacro::DISPLAY_INTERACTIVE_INIT);
        }
        plainInsert(atom);
        return true;
@@ -1017,6 +1288,12 @@ InsetMathUnknown * Cursor::activeMacro()
 }
 
 
+InsetMathUnknown const * Cursor::activeMacro() const
+{
+       return inMacroMode() ? prevAtom().nucleus()->asUnknownInset() : 0;
+}
+
+
 void Cursor::pullArg()
 {
        // FIXME: Look here
@@ -1074,8 +1351,8 @@ bool Cursor::upDownInMath(bool up)
        int xo = 0;
        int yo = 0;
        getPos(xo, yo);
-       xo = beforeDispX_;
-
+       xo = theLyXFunc().cursorBeforeDispatchX();
+       
        // check if we had something else in mind, if not, this is the future
        // target
        if (x_target_ == -1)
@@ -1124,8 +1401,9 @@ bool Cursor::upDownInMath(bool up)
                                int x;
                                int y;
                                getPos(x, y);
-                               if ((!up && y <= beforeDispY_) ||
-                                               (up && y >= beforeDispY_))
+                               int oy = theLyXFunc().cursorBeforeDispatchY();
+                               if ((!up && y <= oy) ||
+                                               (up && y >= oy))
                                        operator=(old);
                                else
                                        return true;
@@ -1144,8 +1422,9 @@ bool Cursor::upDownInMath(bool up)
                                int x;
                                int y;
                                getPos(x, y);
-                               if ((!up && y <= beforeDispY_) ||
-                                               (up && y >= beforeDispY_))
+                               int oy = theLyXFunc().cursorBeforeDispatchY();
+                               if ((!up && y <= oy) ||
+                                               (up && y >= oy))
                                        operator=(old);
                                else
                                        return true;
@@ -1167,8 +1446,9 @@ bool Cursor::upDownInMath(bool up)
                //lyxerr << "updown: popBackward succeeded" << endl;
                int xnew;
                int ynew;
+               int yold = theLyXFunc().cursorBeforeDispatchY();
                getPos(xnew, ynew);
-               if (up ? ynew < beforeDispY_ : ynew > beforeDispY_)
+               if (up ? ynew < yold : ynew > yold)
                        return true;
        }
        
@@ -1186,8 +1466,8 @@ bool Cursor::upDownInText(bool up, bool & updateNeeded)
        int xo = 0;
        int yo = 0;
        getPos(xo, yo);
-       xo = beforeDispX_;
-       
+       xo = theLyXFunc().cursorBeforeDispatchX();
+
        // update the targetX - this is here before the "return false"
        // to set a new target which can be used by InsetTexts above
        // if we cannot move up/down inside this inset anymore
@@ -1269,18 +1549,18 @@ bool Cursor::upDownInText(bool up, bool & updateNeeded)
                Cursor old = *this;
                if (up) {
                        if (row > 0) {
-                               top().pos() = std::min(tm.x2pos(pit(), row - 1, xo), top().lastpos());
+                               top().pos() = min(tm.x2pos(pit(), row - 1, xo), top().lastpos());
                        } else if (pit() > 0) {
                                --pit();
                                ParagraphMetrics const & pmcur = bv_->parMetrics(text(), pit());
-                               top().pos() = std::min(tm.x2pos(pit(), pmcur.rows().size() - 1, xo), top().lastpos());
+                               top().pos() = min(tm.x2pos(pit(), pmcur.rows().size() - 1, xo), top().lastpos());
                        }
                } else {
                        if (row + 1 < int(pm.rows().size())) {
-                               top().pos() = std::min(tm.x2pos(pit(), row + 1, xo), top().lastpos());
+                               top().pos() = min(tm.x2pos(pit(), row + 1, xo), top().lastpos());
                        } else if (pit() + 1 < int(text()->paragraphs().size())) {
                                ++pit();
-                               top().pos() = std::min(tm.x2pos(pit(), 0, xo), top().lastpos());
+                               top().pos() = min(tm.x2pos(pit(), 0, xo), top().lastpos());
                        }
                }
 
@@ -1294,7 +1574,7 @@ bool Cursor::upDownInText(bool up, bool & updateNeeded)
 
 void Cursor::handleFont(string const & font)
 {
-       LYXERR(Debug::DEBUG) << BOOST_CURRENT_FUNCTION << ": " << font << endl;
+       LYXERR(Debug::DEBUG, font);
        docstring safe;
        if (selection()) {
                macroModeClose();
@@ -1407,13 +1687,7 @@ Encoding const * Cursor::getEncoding() const
 {
        if (empty())
                return 0;
-       int s = 0;
-       // go up until first non-0 text is hit
-       // (innermost text is 0 in mathed)
-       for (s = depth() - 1; s >= 0; --s)
-               if (operator[](s).text())
-                       break;
-       CursorSlice const & sl = operator[](s);
+       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()));
@@ -1452,13 +1726,8 @@ Font Cursor::getFont() const
        // if a character is entered.
        
        // HACK. far from being perfect...
-       // go up until first non-0 text is hit
-       // (innermost text is 0 in mathed)
-       int s = 0;
-       for (s = depth() - 1; s >= 0; --s)
-               if (operator[](s).text())
-                       break;
-       CursorSlice const & sl = operator[](s);
+
+       CursorSlice const & sl = innerTextSlice();
        Text const & text = *sl.text();
        Paragraph const & par = text.getPar(sl.pit());
        
@@ -1495,19 +1764,21 @@ bool Cursor::fixIfBroken()
 }
 
 
-bool notifyCursorLeaves(DocIterator const & old, Cursor & cur)
+bool notifyCursorLeaves(Cursor const & old, Cursor & cur)
 {
        // find inset in common
        size_type i;
        for (i = 0; i < old.depth() && i < cur.depth(); ++i) {
-               if (&old.inset() != &cur.inset())
+               if (&old[i].inset() != &cur[i].inset())
                        break;
        }
        
        // 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) {
-               if (old[i].inset().notifyCursorLeaves(cur))
+       for (; i < old.depth(); ++i) {
+               Cursor insetPos = old;
+               insetPos.cutOff(i);
+               if (old[i].inset().notifyCursorLeaves(insetPos, cur))
                        return true;
        }
        
@@ -1634,4 +1905,14 @@ void Cursor::recordUndoSelection()
 }
 
 
+void Cursor::checkBufferStructure()
+{
+       if (paragraph().layout()->toclevel == Layout::NOT_IN_TOC)
+               return;
+       Buffer const * master = buffer().masterBuffer();
+       master->tocBackend().updateItem(ParConstIterator(*this));
+       master->structureChanged();
+}
+
+
 } // namespace lyx