+bool DocIterator::fixIfBroken()
+{
+ if (empty())
+ return false;
+
+ // Go through the slice stack from the bottom.
+ // Check that all coordinates (idx, pit, pos) are correct and
+ // that the inset is the one which is claimed to be there
+ Inset * inset = &slices_[0].inset();
+ size_t i = 0;
+ size_t n = slices_.size();
+ for (; i != n; ++i) {
+ CursorSlice & cs = slices_[i];
+ if (&cs.inset() != inset || ! cs.inset().isActive()) {
+ // the whole slice is wrong, chop off this as well
+ --i;
+ LYXERR(Debug::DEBUG, "fixIfBroken(): inset changed");
+ break;
+ } else if (cs.idx() > cs.lastidx()) {
+ cs.idx() = cs.lastidx();
+ cs.pit() = cs.lastpit();
+ cs.pos() = cs.lastpos();
+ LYXERR(Debug::DEBUG, "fixIfBroken(): idx fixed");
+ break;
+ } else if (cs.pit() > cs.lastpit()) {
+ cs.pit() = cs.lastpit();
+ cs.pos() = cs.lastpos();
+ LYXERR(Debug::DEBUG, "fixIfBroken(): pit fixed");
+ break;
+ } else if (cs.pos() > cs.lastpos()) {
+ cs.pos() = cs.lastpos();
+ LYXERR(Debug::DEBUG, "fixIfBroken(): pos fixed");
+ break;
+ } else if (i != n - 1 && cs.pos() != cs.lastpos()) {
+ // get inset which is supposed to be in the next slice
+ if (cs.inset().inMathed())
+ inset = (cs.cell().begin() + cs.pos())->nucleus();
+ else if (Inset * csInset = cs.paragraph().getInset(cs.pos()))
+ inset = csInset;
+ else {
+ // there are slices left, so there must be another inset
+ break;
+ }
+ }
+ }
+
+ // Did we make it through the whole slice stack? Otherwise there
+ // was a problem at slice i, and we have to chop off above
+ if (i < n) {
+ LYXERR(Debug::DEBUG, "fixIfBroken(): cursor chopped at " << i);
+ resize(i + 1);
+ return true;
+ } else
+ return false;
+}
+
+
+void DocIterator::sanitize()
+{
+ // keep a copy of the slices
+ vector<CursorSlice> const sl = slices_;
+ slices_.clear();
+ if (buffer_)
+ inset_ = &buffer_->inset();
+ Inset * inset = inset_;
+ // re-add the slices one by one, and adjust the inset pointer.
+ for (size_t i = 0, n = sl.size(); i != n; ++i) {
+ if (inset == 0) {
+ // FIXME
+ LYXERR0(" Should not happen, but does e.g. after "
+ "C-n C-l C-z S-C-z\n"
+ << " or when a Buffer has been concurrently edited by two views"
+ << '\n' << "dit: " << *this << '\n'
+ << " lastpos: " << slices_[i].lastpos());
+ fixIfBroken();
+ break;
+ }
+ if (!inset->isActive()) {
+ LYXERR0("Inset found on cursor stack is not active.");
+ fixIfBroken();
+ break;
+ }
+ push_back(sl[i]);
+ top().inset_ = inset;
+ if (fixIfBroken())
+ break;
+ if (i + 1 != n)
+ inset = nextInset();
+ }
+}
+
+
+bool DocIterator::isInside(Inset const * p) const
+{
+ for (CursorSlice const & sl : slices_)
+ if (&sl.inset() == p)
+ return true;
+ return false;
+}
+
+
+void DocIterator::leaveInset(Inset const & inset)
+{
+ for (size_t i = 0; i != slices_.size(); ++i) {
+ if (&slices_[i].inset() == &inset) {
+ resize(i);
+ return;
+ }
+ }
+}
+
+
+int DocIterator::find(MathData const & cell) const
+{
+ for (size_t l = 0; l != slices_.size(); ++l) {
+ if (slices_[l].asInsetMath() && &slices_[l].cell() == &cell)
+ return l;
+ }
+ return -1;
+}
+
+
+int DocIterator::find(Inset const * inset) const
+{
+ for (size_t l = 0; l != slices_.size(); ++l) {
+ if (&slices_[l].inset() == inset)
+ return l;
+ }
+ return -1;
+}
+
+
+void DocIterator::cutOff(int above, vector<CursorSlice> & cut)
+{
+ cut = vector<CursorSlice>(slices_.begin() + above + 1, slices_.end());
+ slices_.resize(above + 1);
+}
+
+
+void DocIterator::cutOff(int above)
+{
+ slices_.resize(above + 1);
+}
+
+
+void DocIterator::append(vector<CursorSlice> const & x)
+{
+ slices_.insert(slices_.end(), x.begin(), x.end());
+}
+
+
+void DocIterator::append(DocIterator::idx_type idx, pos_type pos)
+{
+ slices_.push_back(CursorSlice());
+ top().idx() = idx;
+ top().pos() = pos;
+}
+
+
+docstring DocIterator::getPossibleLabel() const
+{
+ return inMathed() ? from_ascii("eq:") : text()->getPossibleLabel(*this);
+}
+
+
+Encoding const * DocIterator::getEncoding() const
+{
+ if (empty())
+ return 0;
+
+ BufferParams const & bp = buffer()->params();
+ if (bp.useNonTeXFonts)
+ return encodings.fromLyXName("utf8-plain");
+
+ // With platex, we don't switch encodings (not even if forced).
+ if (bp.encoding().package() == Encoding::japanese)
+ return &bp.encoding();
+
+ CursorSlice const & sl = innerTextSlice();
+ Text const & text = *sl.text();
+ Language const * lang =
+ text.getPar(sl.pit()).getFont(bp, sl.pos(),
+ text.outerFont(sl.pit())).language();
+ // If we have a custom encoding for the buffer, we don't switch
+ // encodings (see output_latex::switchEncoding())
+ bool const customenc = bp.inputenc != "auto-legacy" && bp.inputenc != "auto-legacy-plain";
+ Encoding const * enc = customenc ? &bp.encoding() : lang->encoding();
+
+ // Some insets force specific encodings sometimes (e.g., listings in
+ // multibyte context forces singlebyte).
+ if (inset().forcedEncoding(enc, encodings.fromLyXName("iso8859-1"))) {
+ // Get the language outside the inset
+ size_t const n = depth();
+ for (size_t i = 0; i < n; ++i) {
+ Text const & otext = *slices_[i].text();
+ Language const * olang =
+ otext.getPar(slices_[i].pit()).getFont(bp, slices_[i].pos(),
+ otext.outerFont(slices_[i].pit())).language();
+ Encoding const * oenc = olang->encoding();
+ if (oenc->name() != "inherit")
+ return inset().forcedEncoding(enc, oenc);
+ }
+ // Fall back to buffer encoding if no outer lang was found.
+ return inset().forcedEncoding(enc, &bp.encoding());
+ }
+
+ // Inherited encoding (latex_language) is determined by the context
+ // Look for the first outer encoding that is not itself "inherit"
+ if (lang->encoding()->name() == "inherit") {
+ size_t const n = depth();
+ for (size_t i = 0; i < n; ++i) {
+ Text const & otext = *slices_[i].text();
+ Language const * olang =
+ otext.getPar(slices_[i].pit()).getFont(bp, slices_[i].pos(),
+ otext.outerFont(slices_[i].pit())).language();
+ // Again, if we have a custom encoding, this is used
+ // instead of the language's.
+ Encoding const * oenc = customenc
+ ? &bp.encoding() : olang->encoding();
+ if (olang->encoding()->name() != "inherit")
+ return oenc;
+ }
+ }
+
+ return enc;
+}
+
+
+ostream & operator<<(ostream & os, DocIterator const & dit)