X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2Fcursor.C;h=a94fdc2800800580fe1c0e8f2b78d8585828f28b;hb=12a6d463703010a006b2dcd15ccddafa6335fa59;hp=d8c6fb823adc694deac4d7f7c489f06b5ed974b5;hpb=5198e1d9a383d60f915092f17661f98f59998ed0;p=lyx.git

diff --git a/src/cursor.C b/src/cursor.C
index d8c6fb823a..a94fdc2800 100644
--- a/src/cursor.C
+++ b/src/cursor.C
@@ -15,11 +15,12 @@
 #include "BufferView.h"
 #include "buffer.h"
 #include "cursor.h"
+#include "coordcache.h"
+#include "CutAndPaste.h"
 #include "debug.h"
 #include "dispatchresult.h"
 #include "encoding.h"
 #include "funcrequest.h"
-#include "iterators.h"
 #include "language.h"
 #include "lfuns.h"
 #include "lyxfont.h"
@@ -29,21 +30,32 @@
 #include "lyxtext.h"
 #include "paragraph.h"
 #include "paragraph_funcs.h"
+#include "pariterator.h"
 
-#include "insets/updatableinset.h"
 #include "insets/insettabular.h"
 #include "insets/insettext.h"
 
-#include "mathed/math_data.h"
-#include "mathed/math_hullinset.h"
-#include "mathed/math_support.h"
+#include "mathed/MathData.h"
+#include "mathed/InsetMath.h"
+#include "mathed/InsetMathScript.h"
+#include "mathed/MathMacroTable.h"
+#include "mathed/MathParser.h"
 
 #include "support/limited_stack.h"
-#include "support/std_sstream.h"
 
-#include "frontends/LyXView.h"
+#include "frontends/Application.h"
+#include "frontends/font_metrics.h"
 
 #include <boost/assert.hpp>
+#include <boost/bind.hpp>
+#include <boost/current_function.hpp>
+
+#include <sstream>
+#include <limits>
+
+using lyx::char_type;
+using lyx::docstring;
+using lyx::pit_type;
 
 using std::string;
 using std::vector;
@@ -52,58 +64,228 @@ using std::endl;
 using std::isalpha;
 #endif
 using std::min;
-using std::swap;
+using std::for_each;
+
+namespace {
+
+	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;
+
+		// position should be ok.
+		return true;
+	}
+
+
+	// Find position closest to (x, y) in cell given by iter.
+	// Used only in mathed
+	DocIterator bruteFind2(LCursor 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;
+			InsetBase const * inset = &it.inset();
+			Point o = theCoords.getInsets().xy(inset);
+			inset->cursorPos(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;
+	}
+
+
+	/// moves position closest to (x, y) in given box
+	bool bruteFind(LCursor & cursor,
+		int x, int y, int xlow, int xhigh, int ylow, int yhigh)
+	{
+		BOOST_ASSERT(!cursor.empty());
+		InsetBase & inset = cursor[0].inset();
+
+		CoordCache::InnerParPosCache const & cache = theCoords.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_funcs::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;
+	}
 
 
+	/// moves position closest to (x, y) in given box
+	bool bruteFind3(LCursor & 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;
+		InsetBase & 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_funcs::status(&bv, it) == bv_funcs::CUR_INSIDE
+			    && (!cur.selection() || positionable(it, cur.anchor_))) {
+				Point p = bv_funcs::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;
+					}
+				}
+			}
+		}
 
-// our own cut buffer
-limited_stack<string> theCutBuffer;
+		//lyxerr << "best_dist: " << best_dist << " cur:\n" << best_cursor << endl;
+		if (best_cursor == et)
+			return false;
+		cur.setCursor(best_cursor);
+		return true;
+	}
 
+} // namespace anon
 
+
+// be careful: this is called from the bv's constructor, too, so
+// bv functions are not yet available!
 LCursor::LCursor(BufferView & bv)
-	: DocumentIterator(), bv_(&bv), anchor_(),
-	  cached_y_(0), x_target_(-1), selection_(false), mark_(false)
+	: DocIterator(), bv_(&bv), anchor_(), x_target_(-1),
+	  selection_(false), mark_(false), logicalpos_(false)
 {}
 
 
-void LCursor::reset()
+void LCursor::reset(InsetBase & inset)
 {
 	clear();
-	push_back(CursorSlice());
-	anchor_.clear();
-	anchor_.push_back(CursorSlice());
-	cached_y_ = 0;
+	push_back(CursorSlice(inset));
+	anchor_ = DocIterator(inset);
 	clearTargetX();
 	selection_ = false;
 	mark_ = false;
 }
 
 
-void LCursor::setCursor(DocumentIterator const & cur, bool sel)
+// this (intentionally) does neither touch anchor nor selection status
+void LCursor::setCursor(DocIterator const & cur)
 {
-	// this (intentionally) does not touch the anchor
-	DocumentIterator::operator=(cur);
-	selection() = sel;
+	DocIterator::operator=(cur);
 }
 
 
-DispatchResult LCursor::dispatch(FuncRequest const & cmd0)
+void LCursor::dispatch(FuncRequest const & cmd0)
 {
+	lyxerr[Debug::DEBUG] << BOOST_CURRENT_FUNCTION
+			     << " cmd: " << cmd0 << '\n'
+			     << *this << endl;
 	if (empty())
-		return DispatchResult();
+		return;
 
-	//lyxerr << "\nLCursor::dispatch: cmd: " << cmd0 << endl << *this << endl;
+	fixIfBroken();
 	FuncRequest cmd = cmd0;
-	nopop_ = false;
-	DocumentIterator safe = *this;
+	LCursor safe = *this;
 
-	for ( ; size(); pop_back()) {
-		lyxerr << "\nLCursor::dispatch: cmd: " << cmd0 << endl << *this << endl;
+	for (; depth(); pop()) {
+		lyxerr[Debug::DEBUG] << "LCursor::dispatch: cmd: "
+			<< cmd0 << endl << *this << endl;
 		BOOST_ASSERT(pos() <= lastpos());
 		BOOST_ASSERT(idx() <= lastidx());
-		BOOST_ASSERT(par() <= lastpar());
+		BOOST_ASSERT(pit() <= lastpit());
 
-		// The common case is 'LFUN handled, need update', so make the 
+		// 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(true);
@@ -114,44 +296,39 @@ DispatchResult LCursor::dispatch(FuncRequest const & cmd0)
 	}
 	// it completely to get a 'bomb early' behaviour in case this
 	// object will be used again.
-	if (nopop_ || !disp_.dispatched())
-		DocumentIterator::operator=(safe);
-	return disp_;
+	if (!disp_.dispatched()) {
+		lyxerr[Debug::DEBUG] << "RESTORING OLD CURSOR!" << endl;
+		operator=(safe);
+		disp_.dispatched(false);
+	}
 }
 
 
-bool LCursor::getStatus(FuncRequest const & cmd, FuncStatus & status)
+DispatchResult LCursor::result() const
 {
-	lyxerr << "\nLCursor::getStatus: cmd: " << cmd << endl << *this << endl;
-	DocumentIterator safe = *this;
-	for ( ; size(); pop_back()) {
-		BOOST_ASSERT(pos() <= lastpos());
-		BOOST_ASSERT(idx() <= lastidx());
-		BOOST_ASSERT(par() <= lastpar());
-
-		// 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 (inset().getStatus(*this, cmd, status))
-			break;
-	}
-	DocumentIterator::operator=(safe);
-	return true;
+	return disp_;
 }
 
 
 BufferView & LCursor::bv() const
 {
+	BOOST_ASSERT(bv_);
 	return *bv_;
 }
 
 
+Buffer & LCursor::buffer() const
+{
+	BOOST_ASSERT(bv_);
+	BOOST_ASSERT(bv_->buffer());
+	return *bv_->buffer();
+}
+
+
 void LCursor::pop()
 {
-	BOOST_ASSERT(size() >= 1);
+	BOOST_ASSERT(depth() >= 1);
 	pop_back();
-	anchor_.pop_back();
 }
 
 
@@ -174,12 +351,9 @@ bool LCursor::popLeft()
 {
 	BOOST_ASSERT(!empty());
 	//lyxerr << "Leaving inset to the left" << endl;
-	if (depth() <= 1) {
-		if (depth() == 1)
-			inset().notifyCursorLeaves(idx());
+	inset().notifyCursorLeaves(*this);
+	if (depth() == 1)
 		return false;
-	}
-	inset().notifyCursorLeaves(idx());
 	pop();
 	return true;
 }
@@ -189,12 +363,9 @@ bool LCursor::popRight()
 {
 	BOOST_ASSERT(!empty());
 	//lyxerr << "Leaving inset to the right" << endl;
-	if (depth() <= 1) {
-		if (depth() == 1)
-			inset().notifyCursorLeaves(idx());
+	inset().notifyCursorLeaves(*this);
+	if (depth() == 1)
 		return false;
-	}
-	inset().notifyCursorLeaves(idx());
 	pop();
 	++pos();
 	return true;
@@ -204,65 +375,20 @@ bool LCursor::popRight()
 int LCursor::currentMode()
 {
 	BOOST_ASSERT(!empty());
-	for (int i = size() - 1; i >= 1; --i) {
+	for (int i = depth() - 1; i >= 0; --i) {
 		int res = operator[](i).inset().currentMode();
-		if (res != MathInset::UNDECIDED_MODE)
+		if (res != InsetBase::UNDECIDED_MODE)
 			return res;
 	}
-	return MathInset::TEXT_MODE;
-}
-
-
-void LCursor::updatePos()
-{
-	BOOST_ASSERT(!empty());
-	if (size() > 1)
-		cached_y_ = bv().top_y() + back().inset().yo();
-		//cached_y_ = back().inset().yo();
-}
-
-
-void LCursor::getDim(int & asc, int & des) const
-{
-	if (inMathed()) {
-		BOOST_ASSERT(inset().asMathInset());
-		//inset().asMathInset()->getCursorDim(asc, des);
-		asc = 10;
-		des = 10;
-	} else if (inTexted()) {
-		Row const & row = textRow();
-		asc = row.baseline();
-		des = row.height() - asc;
-	} else {
-		lyxerr << "should this happen?" << endl;
-		asc = 10;
-		des = 10;
-	}
+	return InsetBase::TEXT_MODE;
 }
 
 
 void LCursor::getPos(int & x, int & y) const
 {
-	x = 0;
-	y = 0;
-	if (!empty())
-		inset().getCursorPos(back(), x, y);
-	// getCursorPos gives _screen_ coordinates. We need to add
-	// top_y to get document coordinates. This is hidden in cached_y_.
-	//y += cached_y_ - inset().yo();
-	// The rest is non-obvious. The reason we have to have these
-	// extra computation is that the getCursorPos() calls rely
-	// on the inset's own knowledge of its screen position.
-	// If we scroll up or down in a big enough increment,
-	// inset->draw() is not called: this doesn't update
-	// inset.yo_, so getCursor() returns an old value.
-	// Ugly as you like.
-}
-
-
-void LCursor::paste(string const & data)
-{
-	dispatch(FuncRequest(LFUN_PASTE, data));
+	Point p = bv_funcs::getPos(*this, boundary());
+	x = p.x_;
+	y = p.y_;
 }
 
 
@@ -291,65 +417,73 @@ bool LCursor::posRight()
 }
 
 
-CursorSlice & LCursor::anchor()
-{
-	return anchor_.back();
-}
-
-
-CursorSlice const & LCursor::anchor() const
+CursorSlice LCursor::anchor() const
 {
-	return anchor_.back();
+	BOOST_ASSERT(anchor_.depth() >= depth());
+	CursorSlice normal = anchor_[depth() - 1];
+	if (depth() < anchor_.depth() && top() <= normal) {
+		// anchor is behind cursor -> move anchor behind the inset
+		++normal.pos();
+	}
+	return normal;
 }
 
 
-CursorSlice const & LCursor::selBegin() const
+CursorSlice LCursor::selBegin() const
 {
 	if (!selection())
-		return back();
-	return anchor() < back() ? anchor() : back();
+		return top();
+	return anchor() < top() ? anchor() : top();
 }
 
 
-CursorSlice & LCursor::selBegin()
+CursorSlice LCursor::selEnd() const
 {
 	if (!selection())
-		return back();
-	// can't use std::min as this returns a const ref
-	return anchor() < back() ? anchor() : back();
+		return top();
+	return anchor() > top() ? anchor() : top();
 }
 
 
-CursorSlice const & LCursor::selEnd() const
+DocIterator LCursor::selectionBegin() const
 {
 	if (!selection())
-		return back();
-	return anchor() > back() ? anchor() : back();
+		return *this;
+	DocIterator di = (anchor() < top() ? anchor_ : *this);
+	di.resize(depth());
+	return di;
 }
 
 
-CursorSlice & LCursor::selEnd()
+DocIterator LCursor::selectionEnd() const
 {
 	if (!selection())
-		return back();
-	// can't use std::min as this returns a const ref
-	return anchor() > back() ? anchor() : back();
+		return *this;
+	DocIterator di = (anchor() > top() ? anchor_ : *this);
+	if (di.depth() > depth()) {
+		di.resize(depth());
+		++di.pos();
+	}
+	return di;
 }
 
 
 void LCursor::setSelection()
 {
 	selection() = true;
-	// a selection with no contents is not a selection
-	if (par() == anchor().par() && pos() == anchor().pos())
+	// A selection with no contents is not a selection
+#ifdef WITH_WARNINGS
+#warning doesnt look ok
+#endif
+	if (pit() == anchor().pit() && pos() == anchor().pos())
 		selection() = false;
 }
 
 
-void LCursor::setSelection(DocumentIterator const & where, size_t n)
+void LCursor::setSelection(DocIterator const & where, size_t n)
 {
+	setCursor(where);
 	selection() = true;
-	setCursor(where, false);
 	anchor_ = where;
 	pos() += n;
 }
@@ -360,7 +494,6 @@ void LCursor::clearSelection()
 	selection() = false;
 	mark() = false;
 	resetAnchor();
-	bv().unsetXSel();
 }
 
 
@@ -396,171 +529,33 @@ void LCursor::info(std::ostream & os) const
 }
 
 
-namespace {
-
-void region(CursorSlice const & i1, CursorSlice const & i2,
-	LCursor::row_type & r1, LCursor::row_type & r2,
-	LCursor::col_type & c1, LCursor::col_type & c2)
-{
-	InsetBase & p = i1.inset();
-	c1 = p.col(i1.idx_);
-	c2 = p.col(i2.idx_);
-	if (c1 > c2)
-		swap(c1, c2);
-	r1 = p.row(i1.idx_);
-	r2 = p.row(i2.idx_);
-	if (r1 > r2)
-		swap(r1, r2);
-}
-
-}
-
-
-string LCursor::grabSelection()
-{
-	if (!selection())
-		return string();
-
-	CursorSlice i1 = selBegin();
-	CursorSlice i2 = selEnd();
-
-	if (i1.idx_ == i2.idx_) {
-		if (i1.inset().asMathInset()) {
-			MathArray::const_iterator it = i1.cell().begin();
-			return asString(MathArray(it + i1.pos_, it + i2.pos_));
-		} else {
-			return "unknown selection 1";
-		}
-	}
-
-	row_type r1, r2;
-	col_type c1, c2;
-	region(i1, i2, r1, r2, c1, c2);
-
-	string data;
-	if (i1.inset().asMathInset()) {
-		for (row_type row = r1; row <= r2; ++row) {
-			if (row > r1)
-				data += "\\\\";
-			for (col_type col = c1; col <= c2; ++col) {
-				if (col > c1)
-					data += '&';
-				data += asString(i1.asMathInset()->cell(i1.asMathInset()->index(row, col)));
-			}
-		}
-	} else {
-		data = "unknown selection 2";
-	}
-	return data;
-}
-
-
-void LCursor::eraseSelection()
-{
-	//lyxerr << "LCursor::eraseSelection" << endl;
-	CursorSlice const & i1 = selBegin();
-	CursorSlice const & i2 = selEnd();
-#warning FIXME
-	if (i1.inset().asMathInset()) {
-		if (i1.idx_ == i2.idx_) {
-			i1.cell().erase(i1.pos_, i2.pos_);
-		} else {
-			MathInset * p = i1.asMathInset();
-			row_type r1, r2;
-			col_type c1, c2;
-			region(i1, i2, r1, r2, c1, c2);
-			for (row_type row = r1; row <= r2; ++row)
-				for (col_type col = c1; col <= c2; ++col)
-					p->cell(p->index(row, col)).clear();
-		}
-		back() = i1;
-	} else {
-		lyxerr << "can't erase this selection 1" << endl;
-	}
-	//lyxerr << "LCursor::eraseSelection end" << endl;
-}
-
-
-string LCursor::grabAndEraseSelection()
-{
-	if (!selection())
-		return string();
-	string res = grabSelection();
-	eraseSelection();
-	selection() = false;
-	return res;
-}
-
-
-void LCursor::selClear()
-{
-	resetAnchor();
-	clearSelection();
-}
-
-
-void LCursor::selCopy()
-{
-	if (selection()) {
-		theCutBuffer.push(grabSelection());
-		selection() = false;
-	} else {
-		//theCutBuffer.erase();
-	}
-}
-
-
-void LCursor::selCut()
-{
-	theCutBuffer.push(grabAndEraseSelection());
-}
-
-
-void LCursor::selDel()
-{
-	//lyxerr << "LCursor::selDel" << endl;
-	if (selection()) {
-		eraseSelection();
-		selection() = false;
-	}
-}
-
-
-void LCursor::selPaste(size_t n)
-{
-	selClearOrDel();
-	if (n < theCutBuffer.size())
-		paste(theCutBuffer[n]);
-	//grabSelection();
-	selection() = false;
-}
-
-
 void LCursor::selHandle(bool sel)
 {
 	//lyxerr << "LCursor::selHandle" << endl;
 	if (sel == selection())
 		return;
+
 	resetAnchor();
 	selection() = sel;
 }
 
 
-void LCursor::selClearOrDel()
-{
-	//lyxerr << "LCursor::selClearOrDel" << endl;
-	if (lyxrc.auto_region_delete)
-		selDel();
-	else
-		selection() = false;
-}
-
-
 std::ostream & operator<<(std::ostream & os, LCursor const & cur)
 {
-	for (size_t i = 0, n = cur.size(); i != n; ++i)
-		os << " " << cur.operator[](i) << " | " << cur.anchor_[i] << "\n";
-	os << " selection: " << cur.selection_ << endl;
+	os << "\n cursor:                                | anchor:\n";
+	for (size_t i = 0, n = cur.depth(); i != n; ++i) {
+		os << " " << cur[i] << " | ";
+		if (i < cur.anchor_.depth())
+			os << cur.anchor_[i];
+		else
+			os << "-------------------------------";
+		os << "\n";
+	}
+	for (size_t i = cur.depth(), n = cur.anchor_.depth(); i < n; ++i) {
+		os << "------------------------------- | " << cur.anchor_[i] << "\n";
+	}
+	os << " selection: " << cur.selection_
+	   << " x_target: " << cur.x_target_ << endl;
 	return os;
 }
 
@@ -571,32 +566,42 @@ std::ostream & operator<<(std::ostream & os, LCursor const & cur)
 //
 // 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 MathNestInset).
+// back to mathed (in most cases to InsetMathNest).
 //
 ///////////////////////////////////////////////////////////////////
 
-#include "mathed/math_charinset.h"
-#include "mathed/math_factory.h"
-#include "mathed/math_gridinset.h"
-#include "mathed/math_macroarg.h"
-#include "mathed/math_macrotemplate.h"
-#include "mathed/math_mathmlstream.h"
-#include "mathed/math_scriptinset.h"
-#include "mathed/math_support.h"
-#include "mathed/math_unknowninset.h"
+#include "mathed/InsetMathChar.h"
+#include "mathed/MathFactory.h"
+#include "mathed/InsetMathGrid.h"
+#include "mathed/MathMacroArgument.h"
+#include "mathed/MathMLStream.h"
+#include "mathed/InsetMathScript.h"
+#include "mathed/MathSupport.h"
+#include "mathed/InsetMathUnknown.h"
 
 //#define FILEDEBUG 1
 
 
 bool LCursor::isInside(InsetBase const * p)
 {
-	for (unsigned i = 0; i < depth(); ++i)
+	for (size_t i = 0; i != depth(); ++i)
 		if (&operator[](i).inset() == p)
 			return true;
 	return false;
 }
 
 
+void LCursor::leaveInset(InsetBase const & inset)
+{
+	for (size_t i = 0; i != depth(); ++i) {
+		if (&operator[](i).inset() == &inset) {
+			resize(i);
+			return;
+		}
+	}
+}
+
+
 bool LCursor::openable(MathAtom const & t) const
 {
 	if (!t->isActive())
@@ -609,7 +614,7 @@ bool LCursor::openable(MathAtom const & t) const
 		return true;
 
 	// we can't move into anything new during selection
-	if (depth() == anchor_.size())
+	if (depth() >= anchor_.depth())
 		return false;
 	if (!ptr_cmp(t.nucleus(), &anchor_[depth()].inset()))
 		return false;
@@ -618,33 +623,10 @@ bool LCursor::openable(MathAtom const & t) const
 }
 
 
-bool positionable(DocumentIterator const & cursor,
-	DocumentIterator const & anchor)
-{
-	// avoid deeper nested insets when selecting
-	if (cursor.size() > anchor.size())
-		return false;
-
-	// anchor might be deeper, should have same path then
-	for (size_t i = 0; i < cursor.size(); ++i)
-		if (&cursor[i].inset() != &anchor[i].inset())
-			return false;
-
-	// position should be ok.
-	return true;
-}
-
-
 void LCursor::setScreenPos(int x, int y)
 {
-	bool res = bruteFind(x, y, formula()->xlow(), formula()->xhigh(),
-		formula()->ylow(), formula()->yhigh());
-	if (!res) {
-		// this can happen on creation of "math-display"
-		idx() = 0;
-		pos() = 0;
-	}
-	clearTargetX();
+	x_target() = x;
+	bruteFind(*this, x, y, 0, bv().workWidth(), 0, bv().workHeight());
 }
 
 
@@ -657,7 +639,7 @@ void LCursor::plainErase()
 
 void LCursor::markInsert()
 {
-	cell().insert(pos(), MathAtom(new MathCharInset(0)));
+	insert(char_type(0));
 }
 
 
@@ -676,19 +658,19 @@ void LCursor::plainInsert(MathAtom const & t)
 
 void LCursor::insert(string const & str)
 {
-	lyxerr << "LCursor::insert str '" << str << "'" << endl;
-	for (string::const_iterator it = str.begin(); it != str.end(); ++it)
-		insert(*it);
+	for_each(str.begin(), str.end(),
+		 boost::bind(static_cast<void(LCursor::*)(char_type)>
+			     (&LCursor::insert), this, _1));
 }
 
 
-void LCursor::insert(char c)
+void LCursor::insert(char_type c)
 {
 	//lyxerr << "LCursor::insert char '" << c << "'" << endl;
 	BOOST_ASSERT(!empty());
 	if (inMathed()) {
-		selClearOrDel();
-		plainInsert(MathAtom(new MathCharInset(c)));
+		lyx::cap::selClearOrDel(*this);
+		insert(new InsetMathChar(c));
 	} else {
 		text()->insertChar(*this, c);
 	}
@@ -697,9 +679,9 @@ void LCursor::insert(char c)
 
 void LCursor::insert(MathAtom const & t)
 {
-	//lyxerr << "LCursor::insert MathAtom: " << endl;
+	//lyxerr << "LCursor::insert MathAtom '" << t << "'" << endl;
 	macroModeClose();
-	selClearOrDel();
+	lyx::cap::selClearOrDel(*this);
 	plainInsert(t);
 }
 
@@ -727,7 +709,7 @@ void LCursor::niceInsert(string const & t)
 void LCursor::niceInsert(MathAtom const & t)
 {
 	macroModeClose();
-	string safe = grabAndEraseSelection();
+	string const safe = lyx::cap::grabAndEraseSelection(*this);
 	plainInsert(t);
 	// enter the new inset and move the contents of the selection if possible
 	if (t->isActive()) {
@@ -735,7 +717,10 @@ void LCursor::niceInsert(MathAtom const & t)
 		// be careful here: don't use 'pushLeft(t)' as this we need to
 		// push the clone, not the original
 		pushLeft(*nextInset());
-		paste(safe);
+		// We may not use niceInsert here (recursion)
+		MathArray ar;
+		asArray(safe, ar);
+		insert(ar);
 	}
 }
 
@@ -744,7 +729,7 @@ void LCursor::insert(MathArray const & ar)
 {
 	macroModeClose();
 	if (selection())
-		eraseSelection();
+		lyx::cap::eraseSelection(*this);
 	cell().insert(pos(), ar);
 	pos() += ar.size();
 }
@@ -755,7 +740,7 @@ bool LCursor::backspace()
 	autocorrect() = false;
 
 	if (selection()) {
-		selDel();
+		lyx::cap::selDel(*this);
 		return true;
 	}
 
@@ -767,7 +752,7 @@ bool LCursor::backspace()
 	}
 
 	if (inMacroMode()) {
-		MathUnknownInset * p = activeMacro();
+		InsetMathUnknown * p = activeMacro();
 		if (p->name().size() > 1) {
 			p->setName(p->name().substr(0, p->name().size() - 1));
 			return true;
@@ -777,6 +762,7 @@ bool LCursor::backspace()
 	if (pos() != 0 && prevAtom()->nargs() > 0) {
 		// let's require two backspaces for 'big stuff' and
 		// highlight on the first
+		resetAnchor();
 		selection() = true;
 		--pos();
 	} else {
@@ -794,7 +780,7 @@ bool LCursor::erase()
 		return true;
 
 	if (selection()) {
-		selDel();
+		lyx::cap::selDel(*this);
 		return true;
 	}
 
@@ -815,7 +801,9 @@ bool LCursor::erase()
 		return true;
 	}
 
-	if (pos() != lastpos() && inset().nargs() > 0) {
+	// 'clever' UI hack: only erase large items if previously slected
+	if (pos() != lastpos() && nextAtom()->nargs() > 0) {
+		resetAnchor();
 		selection() = true;
 		++pos();
 	} else {
@@ -829,10 +817,10 @@ bool LCursor::erase()
 bool LCursor::up()
 {
 	macroModeClose();
-	DocumentIterator save = *this;
+	DocIterator save = *this;
 	if (goUpDown(true))
 		return true;
-	setCursor(save, false);
+	setCursor(save);
 	autocorrect() = false;
 	return selection();
 }
@@ -841,37 +829,42 @@ bool LCursor::up()
 bool LCursor::down()
 {
 	macroModeClose();
-	DocumentIterator save = *this;
+	DocIterator save = *this;
 	if (goUpDown(false))
 		return true;
-	setCursor(save, false);
+	setCursor(save);
 	autocorrect() = false;
 	return selection();
 }
 
 
-void LCursor::macroModeClose()
+bool LCursor::macroModeClose()
 {
 	if (!inMacroMode())
-		return;
-	MathUnknownInset * p = activeMacro();
+		return false;
+	InsetMathUnknown * p = activeMacro();
 	p->finalize();
-	string s = p->name();
+	string const s = p->name();
 	--pos();
 	cell().erase(pos());
 
 	// do nothing if the macro name is empty
 	if (s == "\\")
-		return;
-
-	string const name = s.substr(1);
+		return false;
 
 	// prevent entering of recursive macros
+	// FIXME: this is only a weak attempt... only prevents immediate
+	// recursion
+	string const name = s.substr(1);
 	InsetBase const * macro = innerInsetOfType(InsetBase::MATHMACRO_CODE);
 	if (macro && macro->getInsetName() == name)
 		lyxerr << "can't enter recursive macro" << endl;
 
-	niceInsert(createMathInset(name));
+	InsetMathNest * const in = inset().asInsetMath()->asNestInset();
+	if (in && in->interpret(*this, s))
+		return true;
+	plainInsert(createInsetMath(name));
+	return true;
 }
 
 
@@ -885,7 +878,7 @@ void LCursor::handleNest(MathAtom const & a, int c)
 {
 	//lyxerr << "LCursor::handleNest: " << c << endl;
 	MathAtom t = a;
-	asArray(grabAndEraseSelection(), t.nucleus()->cell(c));
+	asArray(lyx::cap::grabAndEraseSelection(*this), t.nucleus()->cell(c));
 	insert(t);
 	posLeft();
 	pushLeft(*nextInset());
@@ -903,69 +896,38 @@ int LCursor::targetX() const
 }
 
 
-MathHullInset * LCursor::formula() const
-{
-	for (int i = size() - 1; i >= 1; --i) {
-		MathInset * inset = operator[](i).inset().asMathInset();
-		if (inset && inset->asHullInset())
-			return static_cast<MathHullInset *>(inset);
-	}
-	return 0;
-}
-
-
-void LCursor::adjust(pos_type from, int diff)
+void LCursor::setTargetX()
 {
-	if (pos() > from)
-		pos() += diff;
-	if (anchor().pos_ > from)
-		anchor().pos_ += diff;
-	// just to be on the safe side
-	// theoretically unecessary
-	normalize();
+	// For now this is good enough. A better solution would be to
+	// avoid this rebreak by setting cursorX only after drawing
+	bottom().text()->redoParagraph(bottom().pit());
+	int x;
+	int y;
+	getPos(x, y);
+	x_target_ = x;
 }
 
 
 bool LCursor::inMacroMode() const
 {
-	if (!pos() != 0)
+	if (pos() == 0)
 		return false;
-	MathUnknownInset const * p = prevAtom()->asUnknownInset();
+	InsetMathUnknown const * p = prevAtom()->asUnknownInset();
 	return p && !p->final();
 }
 
 
-MathUnknownInset * LCursor::activeMacro()
+InsetMathUnknown * LCursor::activeMacro()
 {
 	return inMacroMode() ? prevAtom().nucleus()->asUnknownInset() : 0;
 }
 
 
-bool LCursor::inMacroArgMode() const
-{
-	return pos() > 0 && prevAtom()->getChar() == '#';
-}
-
-
-MathGridInset * LCursor::enclosingGrid(idx_type & idx) const
-{
-	for (MathInset::difference_type i = depth() - 1; i >= 0; --i) {
-		MathInset * m = operator[](i).inset().asMathInset();
-		if (!m)
-			return 0;
-		MathGridInset * p = m->asGridInset();
-		if (p) {
-			idx = operator[](i).idx_;
-			return p;
-		}
-	}
-	return 0;
-}
-
-
 void LCursor::pullArg()
 {
+#ifdef WITH_WARNINGS
 #warning Look here
+#endif
 	MathArray ar = cell();
 	if (popLeft() && inMathed()) {
 		plainErase();
@@ -979,10 +941,12 @@ void LCursor::pullArg()
 
 void LCursor::touch()
 {
+#ifdef WITH_WARNINGS
 #warning look here
+#endif
 #if 0
-	DocumentIterator::const_iterator it = begin();
-	DocumentIterator::const_iterator et = end();
+	DocIterator::const_iterator it = begin();
+	DocIterator::const_iterator et = end();
 	for ( ; it != et; ++it)
 		it->cell().touch();
 #endif
@@ -991,38 +955,22 @@ void LCursor::touch()
 
 void LCursor::normalize()
 {
-	if (idx() >= nargs()) {
+	if (idx() > lastidx()) {
 		lyxerr << "this should not really happen - 1: "
 		       << idx() << ' ' << nargs()
 		       << " in: " << &inset() << endl;
+		idx() = lastidx();
 	}
-	idx() = min(idx(), lastidx());
 
 	if (pos() > lastpos()) {
 		lyxerr << "this should not really happen - 2: "
 			<< pos() << ' ' << lastpos() <<  " in idx: " << idx()
 		       << " in atom: '";
 		WriteStream wi(lyxerr, false, true);
-		inset().asMathInset()->write(wi);
+		inset().asInsetMath()->write(wi);
 		lyxerr << endl;
+		pos() = lastpos();
 	}
-	pos() = min(pos(), lastpos());
-}
-
-
-char LCursor::valign()
-{
-	idx_type idx;
-	MathGridInset * p = enclosingGrid(idx);
-	return p ? p->valign() : '\0';
-}
-
-
-char LCursor::halign()
-{
-	idx_type idx;
-	MathGridInset * p = enclosingGrid(idx);
-	return p ? p->halign(idx % p->ncols()) : '\0';
 }
 
 
@@ -1032,11 +980,13 @@ bool LCursor::goUpDown(bool up)
 	// fragile. A distance of one pixel or a '<' vs '<=' _really
 	// matters. So fiddle around with it only if you think you know
 	// what you are doing!
-  int xo = 0;
+
+	int xo = 0;
 	int yo = 0;
 	getPos(xo, yo);
 
-	// check if we had something else in mind, if not, this is the future goal
+	// check if we had something else in mind, if not, this is the future
+	// target
 	if (x_target() == -1)
 		x_target() = xo;
 	else
@@ -1046,165 +996,86 @@ bool LCursor::goUpDown(bool up)
 	if (!selection()) {
 		// try left
 		if (pos() != 0) {
-			MathScriptInset const * p = prevAtom()->asScriptInset();
+			InsetMathScript const * p = prevAtom()->asScriptInset();
 			if (p && p->has(up)) {
 				--pos();
-				push(inset());
-				idx() = up; // the superscript has index 1
+				push(*const_cast<InsetMathScript*>(p));
+				idx() = p->idxOfScript(up);
 				pos() = lastpos();
-				//lyxerr << "updown: handled by scriptinset to the left" << endl;
 				return true;
 			}
 		}
 
 		// try right
 		if (pos() != lastpos()) {
-			MathScriptInset const * p = nextAtom()->asScriptInset();
+			InsetMathScript const * p = nextAtom()->asScriptInset();
 			if (p && p->has(up)) {
-				push(inset());
-				idx() = up;
+				push(*const_cast<InsetMathScript*>(p));
+				idx() = p->idxOfScript(up);
 				pos() = 0;
-				//lyxerr << "updown: handled by scriptinset to the right" << endl;
 				return true;
 			}
 		}
 	}
 
-	// try current cell for e.g. text insets
-	if (inset().idxUpDown2(*this, up))
-		return true;
+// FIXME: Switch this on for more robust movement
+#if 0
+
+	return bruteFind3(*this, xo, yo, up);
 
+#else
 	//xarray().boundingBox(xlow, xhigh, ylow, yhigh);
 	//if (up)
 	//	yhigh = yo - 4;
 	//else
 	//	ylow = yo + 4;
-	//if (bruteFind(xo, yo, xlow, xhigh, ylow, yhigh)) {
+	//if (bruteFind(*this, xo, yo, xlow, xhigh, ylow, yhigh)) {
 	//	lyxerr << "updown: handled by brute find in the same cell" << endl;
 	//	return true;
 	//}
 
 	// try to find an inset that knows better then we
-	while (1) {
+	while (true) {
 		//lyxerr << "updown: We are in " << &inset() << " idx: " << idx() << endl;
 		// ask inset first
 		if (inset().idxUpDown(*this, up)) {
+			//lyxerr << "idxUpDown triggered" << endl;
 			// try to find best position within this inset
 			if (!selection())
-				bruteFind2(xo, yo);
+				setCursor(bruteFind2(*this, xo, yo));
 			return true;
 		}
 
 		// no such inset found, just take something "above"
-		//lyxerr << "updown: handled by strange case" << endl;
 		if (!popLeft()) {
-			return
-				bruteFind(xo, yo,
-					formula()->xlow(),
-					formula()->xhigh(),
-					up ? formula()->ylow() : yo + 4,
-					up ? yo - 4 : formula()->yhigh()
-				);
+			//lyxerr << "updown: popleft failed (strange case)" << endl;
+			int ylow  = up ? 0 : yo + 1;
+			int yhigh = up ? yo - 1 : bv().workHeight();
+			return bruteFind(*this, xo, yo, 0, bv().workWidth(), ylow, yhigh);
 		}
 
 		// any improvement so far?
-		int xnew, ynew;
+		//lyxerr << "updown: popLeft succeeded" << endl;
+		int xnew;
+		int ynew;
 		getPos(xnew, ynew);
 		if (up ? ynew < yo : ynew > yo)
 			return true;
 	}
-}
-
-
-bool LCursor::bruteFind(int x, int y, int xlow, int xhigh, int ylow, int yhigh)
-{
-	DocumentIterator best_cursor;
-	double best_dist = 1e10;
-
-	DocumentIterator it = insetBegin(bv().buffer()->inset());
-	DocumentIterator et = insetEnd();
-	while (1) {
-		// avoid invalid nesting when selecting
-		if (!selection() || positionable(it, anchor_)) {
-			int xo, yo;
-			CursorSlice & cur = it.back();
-			cur.inset().getCursorPos(cur, xo, yo);
-			if (xlow <= xo && xo <= xhigh && ylow <= yo && yo <= yhigh) {
-				double d = (x - xo) * (x - xo) + (y - yo) * (y - yo);
-				//lyxerr << "x: " << x << " y: " << y << " d: " << 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) {
-					best_dist   = d;
-					best_cursor = it;
-				}
-			}
-		}
-
-		if (it == et)
-			break;
-		it.forwardPos();
-	}
 
-	if (best_dist < 1e10)
-		setCursor(best_cursor, false);
-	return best_dist < 1e10;
-}
-
-
-void LCursor::bruteFind2(int x, int y)
-{
-	double best_dist = 1e10;
-
-	DocumentIterator it = *this;
-	it.back().pos() = 0;
-	DocumentIterator et = *this;
-	et.back().pos() = et.back().asMathInset()->cell(et.back().idx_).size();
-	for (int i = 0; ; ++i) {
-		int xo, yo;
-		CursorSlice & cur = it.back();
-		cur.inset().getCursorPos(cur, xo, yo);
-		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 << "i: " << i << " d: " << d << " best: " << best_dist << endl;
-		if (d <= best_dist) {
-			best_dist = d;
-			setCursor(it, false);
-		}
-		if (it == et)
-			break;
-		it.forwardPos();
-	}
-}
-
-
-CursorSlice LCursor::normalAnchor()
-{
-	if (anchor_.size() < depth()) {
-		resetAnchor();
-		lyxerr << "unusual Anchor size" << endl;
-	}
-	//lyx::BOOST_ASSERT(Anchor_.size() >= cursor.depth());
-	// use Anchor on the same level as Cursor
-	CursorSlice normal = anchor_[size() - 1];
-#if 0
-	if (depth() < anchor_.size() && !(normal < xx())) {
-		// anchor is behind cursor -> move anchor behind the inset
-		++normal.pos_;
-	}
+	// we should not come here.
+	BOOST_ASSERT(false);
 #endif
-	return normal;
 }
 
 
 void LCursor::handleFont(string const & font)
 {
-	lyxerr << "LCursor::handleFont: " << font << endl;
+	lyxerr[Debug::DEBUG] << BOOST_CURRENT_FUNCTION << ": " << font << endl;
 	string safe;
 	if (selection()) {
 		macroModeClose();
-		safe = grabAndEraseSelection();
+		safe = lyx::cap::grabAndEraseSelection(*this);
 	}
 
 	if (lastpos() != 0) {
@@ -1218,7 +1089,7 @@ void LCursor::handleFont(string const & font)
 		} else {
 			// cursor in between. split cell
 			MathArray::iterator bt = cell().begin();
-			MathAtom at = createMathInset(font);
+			MathAtom at = createInsetMath(font);
 			at.nucleus()->cell(0) = MathArray(bt, bt + pos());
 			cell().erase(bt, bt + pos());
 			popLeft();
@@ -1233,52 +1104,56 @@ void LCursor::handleFont(string const & font)
 }
 
 
-void LCursor::message(string const & msg) const
+void LCursor::message(docstring const & msg) const
 {
-	bv().owner()->getLyXFunc().setMessage(msg);
+	theApp->lyxFunc().setMessage(msg);
 }
 
 
-void LCursor::errorMessage(string const & msg) const
+void LCursor::errorMessage(docstring const & msg) const
 {
-	bv().owner()->getLyXFunc().setErrorMessage(msg);
+	theApp->lyxFunc().setErrorMessage(msg);
 }
 
 
-string LCursor::selectionAsString(bool label) const
+docstring LCursor::selectionAsString(bool label) const
 {
 	if (!selection())
-		return string();
+		return docstring();
 
 	if (inTexted()) {
 		Buffer const & buffer = *bv().buffer();
+		ParagraphList const & pars = text()->paragraphs();
 
 		// should be const ...
-		ParagraphList::iterator startpit = text()->getPar(selBegin());
-		ParagraphList::iterator endpit = text()->getPar(selEnd());
+		pit_type startpit = selBegin().pit();
+		pit_type endpit = selEnd().pit();
 		size_t const startpos = selBegin().pos();
 		size_t const endpos = selEnd().pos();
 
 		if (startpit == endpit)
-			return startpit->asString(buffer, startpos, endpos, label);
+			return lyx::from_utf8(pars[startpit].asString(buffer, startpos, endpos, label));
 
 		// First paragraph in selection
-		string result =
-			startpit->asString(buffer, startpos, startpit->size(), label) + "\n\n";
+		string result = pars[startpit].
+			asString(buffer, startpos, pars[startpit].size(), label) + "\n\n";
 
 		// The paragraphs in between (if any)
-		ParagraphList::iterator pit = startpit;
-		for (++pit; pit != endpit; ++pit)
-			result += pit->asString(buffer, 0, pit->size(), label) + "\n\n";
+		for (pit_type pit = startpit + 1; pit != endpit; ++pit) {
+			Paragraph const & par = pars[pit];
+			result += par.asString(buffer, 0, par.size(), label) + "\n\n";
+		}
 
 		// Last paragraph in selection
-		result += endpit->asString(buffer, 0, endpos, label);
+		result += pars[endpit].asString(buffer, 0, endpos, label);
 
-		return result;
+		return lyx::from_utf8(result);
 	}
 
-#warning and mathed?
-	return string();
+	if (inMathed())
+		return lyx::from_utf8(lyx::cap::grabSelection(*this));
+
+	return docstring();
 }
 
 
@@ -1291,33 +1166,12 @@ string LCursor::currentState()
 	}
 
 	if (inTexted())
-	 return text()->currentState(*this);
+		return text()->currentState(*this);
 
 	return string();
 }
 
 
-// only used by the spellchecker
-void LCursor::replaceWord(string const & replacestring)
-{
-	LyXText * t = text();
-	BOOST_ASSERT(t);
-
-	t->replaceSelectionWithString(*this, replacestring);
-	t->setSelectionRange(*this, replacestring.length());
-
-	// Go back so that replacement string is also spellchecked
-	for (string::size_type i = 0; i < replacestring.length() + 1; ++i)
-		t->cursorLeft(*this);
-}
-
-
-void LCursor::update()
-{
-	bv().update();
-}
-
-
 string LCursor::getPossibleLabel()
 {
 	return inMathed() ? "eq:" : text()->getPossibleLabel(*this);
@@ -1333,14 +1187,13 @@ Encoding const * LCursor::getEncoding() const
 	int s = 0;
 	// go up until first non-0 text is hit
 	// (innermost text is 0 in mathed)
-	for (s = size() - 1; s >= 0; --s)
+	for (s = depth() - 1; s >= 0; --s)
 		if (operator[](s).text())
 			break;
 	CursorSlice const & sl = operator[](s);
-	LyXText & text = *sl.text();
-	ParagraphList::iterator pit = text.getPar(sl.par());
-	LyXFont font = pit->getFont(
-		bv().buffer()->params(), sl.pos(), outerFont(pit, text.paragraphs()));	
+	LyXText const & text = *sl.text();
+	LyXFont font = text.getPar(sl.pit()).getFont(
+		bv().buffer()->params(), sl.pos(), outerFont(sl.pit(), text.paragraphs()));
 	return font.language()->encoding();
 }
 
@@ -1351,7 +1204,77 @@ void LCursor::undispatched()
 }
 
 
+void LCursor::dispatched()
+{
+	disp_.dispatched(true);
+}
+
+
+void LCursor::needsUpdate()
+{
+	disp_.update(true);
+}
+
+
 void LCursor::noUpdate()
 {
 	disp_.update(false);
 }
+
+
+LyXFont LCursor::getFont() const
+{
+	// HACK. far from being perfect...
+	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);
+	LyXText const & text = *sl.text();
+	LyXFont font = text.getPar(sl.pit()).getFont(
+		bv().buffer()->params(),
+		sl.pos(),
+		outerFont(sl.pit(), text.paragraphs()));
+
+	return font;
+}
+
+
+void LCursor::fixIfBroken()
+{
+	// find out last good level
+	LCursor copy = *this;
+	size_t newdepth = depth();
+	while (!copy.empty()) {
+		if (copy.idx() > copy.lastidx()) {
+			lyxerr << "wrong idx " << copy.idx()
+			       << ", max is " << copy.lastidx()
+			       << " at level " << copy.depth()
+			       << ". Trying to correct this."  << endl;
+			newdepth = copy.depth() - 1;
+		}
+		else if (copy.pit() > copy.lastpit()) {
+			lyxerr << "wrong pit " << copy.pit()
+			       << ", max is " << copy.lastpit()
+			       << " at level " << copy.depth()
+			       << ". Trying to correct this."  << endl;
+			newdepth = copy.depth() - 1;
+		}
+		else if (copy.pos() > copy.lastpos()) {
+			lyxerr << "wrong pos " << copy.pos()
+			       << ", max is " << copy.lastpos()
+			       << " at level " << copy.depth()
+			       << ". Trying to correct this."  << endl;
+			newdepth = copy.depth() - 1;
+		}
+		copy.pop();
+	}
+	// shrink cursor to a size where everything is valid, possibly
+	// leaving insets
+	while (depth() > newdepth) {
+		pop();
+		lyxerr << "correcting cursor to level " << depth() << endl;
+	}
+}