+ 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)
+{
+ for (size_t i = 0, n = dit.depth(); i != n; ++i)
+ os << " " << dit[i] << "\n";
+ return os;