]> git.lyx.org Git - lyx.git/blobdiff - src/Buffer.cpp
Slight re-organization.
[lyx.git] / src / Buffer.cpp
index 392efd762a40692ae70285318c6445d36d6a3f80..5ee983f301fa15870cbb88b044ff1766010cbbb3 100644 (file)
 #include "WordLangTuple.h"
 #include "WordList.h"
 
-#include "insets/InsetBibitem.h"
 #include "insets/InsetBibtex.h"
 #include "insets/InsetBranch.h"
 #include "insets/InsetInclude.h"
+#include "insets/InsetTabular.h"
 #include "insets/InsetText.h"
 
 #include "mathed/InsetMathHull.h"
@@ -127,7 +127,7 @@ namespace {
 
 // Do not remove the comment below, so we get merge conflict in
 // independent branches. Instead add your own.
-int const LYX_FORMAT = 398; // uwestoehr: support for \mathscr
+int const LYX_FORMAT = 410; // rgh: dummy format for list->labeling
 
 typedef map<string, bool> DepClean;
 typedef map<docstring, pair<InsetLabel const *, Buffer::References> > RefCache;
@@ -142,7 +142,6 @@ void showPrintError(string const & name)
 
 } // namespace anon
 
-class BufferSet : public std::set<Buffer const *> {};
 
 class Buffer::Impl
 {
@@ -164,12 +163,9 @@ public:
 
        /// Update macro table starting with position of it \param it in some
        /// text inset.
-       void updateMacros(DocIterator & it, DocIterator & scope,
-                       bool record_docits = false);
+       void updateMacros(DocIterator & it, DocIterator & scope);
        ///
        void setLabel(ParIterator & it, UpdateType utype) const;
-       ///
-       void collectRelatives(BufferSet & bufs) const;
 
        /** If we have branches that use the file suffix
            feature, return the file name with suffix appended.
@@ -192,7 +188,7 @@ public:
        /// is autosave needed?
        mutable bool bak_clean;
 
-       /// is this a unnamed file (New...)?
+       /// is this an unnamed file (New...)?
        bool unnamed;
 
        /// buffer is r/o
@@ -256,7 +252,9 @@ public:
        /// A cache for bibliography info
        mutable BiblioInfo bibinfo_;
        /// whether the bibinfo cache is valid
-       bool bibinfo_cache_valid_;
+       mutable bool bibinfo_cache_valid_;
+       /// whether the bibfile cache is valid
+       mutable bool bibfile_cache_valid_;
        /// Cache of timestamps of .bib files
        map<FileName, time_t> bibfile_status_;
 
@@ -278,12 +276,19 @@ public:
                        parent_buffer = 0;
                return parent_buffer; 
        }
+       
        ///
        void setParent(Buffer const * pb) {
-               if (!cloned_buffer_ 
-                   && parent_buffer && pb && parent_buffer != pb)
+               if (parent_buffer == pb)
+                       // nothing to do
+                       return;
+               if (!cloned_buffer_ && parent_buffer && pb)
                        LYXERR0("Warning: a buffer should not have two parents!");
                parent_buffer = pb;
+               if (!cloned_buffer_ && parent_buffer) {
+                       parent_buffer->invalidateBibfileCache();
+                       parent_buffer->invalidateBibinfoCache();
+               }
        }
 
        /// If non zero, this buffer is a clone of existing buffer \p cloned_buffer_
@@ -324,7 +329,8 @@ Buffer::Impl::Impl(Buffer * owner, FileName const & file, bool readonly_,
          read_only(readonly_), filename(file), file_fully_loaded(false),
          toc_backend(owner), macro_lock(false), timestamp_(0),
          checksum_(0), wa_(0), gui_(0), undo_(*owner), bibinfo_cache_valid_(false),
-         cloned_buffer_(cloned_buffer), doing_export(false), parent_buffer(0)
+               bibfile_cache_valid_(false), cloned_buffer_(cloned_buffer), 
+               doing_export(false), parent_buffer(0)
 {
        if (!cloned_buffer_) {
                temppath = createBufferTmpDir();
@@ -339,6 +345,7 @@ Buffer::Impl::Impl(Buffer * owner, FileName const & file, bool readonly_,
        bibfiles_cache_ = cloned_buffer_->d->bibfiles_cache_;
        bibinfo_ = cloned_buffer_->d->bibinfo_;
        bibinfo_cache_valid_ = cloned_buffer_->d->bibinfo_cache_valid_;
+       bibfile_cache_valid_ = cloned_buffer_->d->bibfile_cache_valid_;
        bibfile_status_ = cloned_buffer_->d->bibfile_status_;
 }
 
@@ -406,9 +413,8 @@ Buffer::~Buffer()
                        from_utf8(d->temppath.absFileName())));
        }
 
-       // Remove any previewed LaTeX snippets associated with this buffer.
        if (!isClone())
-               thePreviews().removeLoader(*this);
+               removePreviews();
 
        delete d;
 }
@@ -635,10 +641,11 @@ void Buffer::setReadonly(bool const flag)
 }
 
 
-void Buffer::setFileName(string const & newfile)
+void Buffer::setFileName(FileName const & fname)
 {
-       d->filename = makeAbsPath(newfile);
+       d->filename = fname;
        setReadonly(d->filename.isReadOnly());
+       saveCheckSum();
        updateTitles();
 }
 
@@ -665,7 +672,7 @@ int Buffer::readHeader(Lexer & lex)
        params().headsep.erase();
        params().footskip.erase();
        params().columnsep.erase();
-       params().fontsCJK.erase();
+       params().fonts_cjk.erase();
        params().listings_params.clear();
        params().clearLayoutModules();
        params().clearRemovedModules();
@@ -746,15 +753,15 @@ bool Buffer::readDocument(Lexer & lex)
        ErrorList & errorList = d->errorLists["Parse"];
        errorList.clear();
 
+       // remove dummy empty par
+       paragraphs().clear();
+
        if (!lex.checkFor("\\begin_document")) {
                docstring const s = _("\\begin_document is missing");
                errorList.push_back(ErrorItem(_("Document header error"),
                        s, -1, 0, 0));
        }
 
-       // we are reading in a brand new document
-       LASSERT(paragraphs().empty(), /**/);
-
        readHeader(lex);
 
        if (params().outputChanges) {
@@ -824,44 +831,67 @@ bool Buffer::readString(string const & s)
 {
        params().compressed = false;
 
-       // remove dummy empty par
-       paragraphs().clear();
        Lexer lex;
        istringstream is(s);
        lex.setStream(is);
-       FileName const name = FileName::tempName("Buffer_readString");
-       switch (readFile(lex, name, true)) {
-       case failure:
-               return false;
-       case wrongversion: {
+       FileName const fn = FileName::tempName("Buffer_readString");
+
+       int file_format;
+       ReadStatus const ret_plf = parseLyXFormat(lex, fn, file_format);
+       if (ret_plf != ReadSuccess)
+               return ret_plf;
+
+       if (file_format != LYX_FORMAT) {
                // We need to call lyx2lyx, so write the input to a file
-               ofstream os(name.toFilesystemEncoding().c_str());
+               ofstream os(fn.toFilesystemEncoding().c_str());
                os << s;
                os.close();
-               return readFile(name);
-       }
-       case success:
-               break;
+               // lyxvc in readFile
+               return readFile(fn) == ReadSuccess;
        }
 
+       if (readDocument(lex))
+               return false;
        return true;
 }
 
 
-bool Buffer::readFile(FileName const & filename)
+Buffer::ReadStatus Buffer::readFile(FileName const & fn)
 {
-       FileName fname(filename);
-
-       params().compressed = fname.isZippedFile();
-
-       // remove dummy empty par
-       paragraphs().clear();
+       FileName fname(fn);
        Lexer lex;
        lex.setFile(fname);
-       if (readFile(lex, fname) != success)
-               return false;
 
-       return true;
+       int file_format;
+       ReadStatus const ret_plf = parseLyXFormat(lex, fn, file_format);
+       if (ret_plf != ReadSuccess)
+               return ret_plf;
+
+       if (file_format != LYX_FORMAT) {
+               FileName tmpFile;
+               ReadStatus const ret_clf = convertLyXFormat(fn, tmpFile, file_format);
+               if (ret_clf != ReadSuccess)
+                       return ret_clf;
+               return readFile(tmpFile);
+       }
+
+       // FIXME: InsetInfo needs to know whether the file is under VCS 
+       // during the parse process, so this has to be done before.
+       lyxvc().file_found_hook(d->filename);
+
+       if (readDocument(lex)) {
+               Alert::error(_("Document format failure"),
+                       bformat(_("%1$s ended unexpectedly, which means"
+                               " that it is probably corrupted."),
+                                       from_utf8(fn.absFileName())));
+               return ReadDocumentFailure;
+       }
+
+       d->file_fully_loaded = true;
+       d->read_only = !d->filename.isWritable();
+       params().compressed = d->filename.isZippedFile();
+       saveCheckSum();
+       return ReadSuccess;
 }
 
 
@@ -877,123 +907,125 @@ void Buffer::setFullyLoaded(bool value)
 }
 
 
-Buffer::ReadStatus Buffer::readFile(Lexer & lex, FileName const & filename,
-               bool fromstring)
+void Buffer::updatePreviews() const
+{
+       if (graphics::Previews::status() != LyXRC::PREVIEW_OFF)
+               thePreviews().generateBufferPreviews(*this);
+}
+
+
+void Buffer::removePreviews() const
 {
-       LASSERT(!filename.empty(), /**/);
+       thePreviews().removeLoader(*this);
+}
+
 
-       // the first (non-comment) token _must_ be...
-       if (!lex.checkFor("\\lyxformat")) {
+Buffer::ReadStatus Buffer::parseLyXFormat(Lexer & lex,
+       FileName const & fn, int & file_format) const
+{
+       if(!lex.checkFor("\\lyxformat")) {
                Alert::error(_("Document format failure"),
-                            bformat(_("%1$s is not a readable LyX document."),
-                                      from_utf8(filename.absFileName())));
-               return failure;
-       }
+                       bformat(_("%1$s is not a readable LyX document."),
+                               from_utf8(fn.absFileName())));
+               return ReadNoLyXFormat;
+       }       
 
        string tmp_format;
        lex >> tmp_format;
-       //lyxerr << "LyX Format: `" << tmp_format << '\'' << endl;
-       // if present remove ".," from string.
+
+       // LyX formats 217 and earlier were written as 2.17. This corresponds
+       // to files from LyX versions < 1.1.6.3. We just remove the dot in
+       // these cases. See also: www.lyx.org/trac/changeset/1313.
        size_t dot = tmp_format.find_first_of(".,");
-       //lyxerr << "           dot found at " << dot << endl;
        if (dot != string::npos)
-                       tmp_format.erase(dot, 1);
-       int const file_format = convert<int>(tmp_format);
-       //lyxerr << "format: " << file_format << endl;
-
-       // save timestamp and checksum of the original disk file, making sure
-       // to not overwrite them with those of the file created in the tempdir
-       // when it has to be converted to the current format.
-       if (!d->checksum_) {
-               // Save the timestamp and checksum of disk file. If filename is an
-               // emergency file, save the timestamp and checksum of the original lyx file
-               // because isExternallyModified will check for this file. (BUG4193)
-               string diskfile = filename.absFileName();
-               if (suffixIs(diskfile, ".emergency"))
-                       diskfile = diskfile.substr(0, diskfile.size() - 10);
-               saveCheckSum(FileName(diskfile));
-       }
+               tmp_format.erase(dot, 1);
 
-       if (file_format != LYX_FORMAT) {
+       file_format = convert<int>(tmp_format);
+       return ReadSuccess;
+}
 
-               if (fromstring)
-                       // lyx2lyx would fail
-                       return wrongversion;
-
-               FileName const tmpfile = FileName::tempName("Buffer_readFile");
-               if (tmpfile.empty()) {
-                       Alert::error(_("Conversion failed"),
-                                    bformat(_("%1$s is from a different"
-                                             " version of LyX, but a temporary"
-                                             " file for converting it could"
-                                             " not be created."),
-                                             from_utf8(filename.absFileName())));
-                       return failure;
-               }
-               FileName const lyx2lyx = libFileSearch("lyx2lyx", "lyx2lyx");
-               if (lyx2lyx.empty()) {
-                       Alert::error(_("Conversion script not found"),
-                                    bformat(_("%1$s is from a different"
-                                              " version of LyX, but the"
-                                              " conversion script lyx2lyx"
-                                              " could not be found."),
-                                              from_utf8(filename.absFileName())));
-                       return failure;
-               }
-               ostringstream command;
-               command << os::python()
-                       << ' ' << quoteName(lyx2lyx.toFilesystemEncoding())
-                       << " -t " << convert<string>(LYX_FORMAT)
-                       << " -o " << quoteName(tmpfile.toFilesystemEncoding())
-                       << ' ' << quoteName(filename.toSafeFilesystemEncoding());
-               string const command_str = command.str();
-
-               LYXERR(Debug::INFO, "Running '" << command_str << '\'');
-
-               cmd_ret const ret = runCommand(command_str);
-               if (ret.first != 0) {
-                       if (file_format < LYX_FORMAT)
-                               Alert::error(_("Conversion script failed"),
-                                    bformat(_("%1$s is from an older version"
-                                             " of LyX, but the lyx2lyx script"
-                                             " failed to convert it."),
-                                             from_utf8(filename.absFileName())));
-                       else
-                               Alert::error(_("Conversion script failed"),
-                                    bformat(_("%1$s is from a newer version"
-                                             " of LyX and cannot be converted by the"
-                                                               " lyx2lyx script."),
-                                             from_utf8(filename.absFileName())));
-                       return failure;
-               } else {
-                       bool const ret = readFile(tmpfile);
-                       // Do stuff with tmpfile name and buffer name here.
-                       return ret ? success : failure;
-               }
 
+Buffer::ReadStatus Buffer::convertLyXFormat(FileName const & fn, 
+       FileName & tmpfile, int from_format)
+{
+       tmpfile = FileName::tempName("Buffer_convertLyXFormat");
+       if(tmpfile.empty()) {
+               Alert::error(_("Conversion failed"),
+                       bformat(_("%1$s is from a different"
+                               " version of LyX, but a temporary"
+                               " file for converting it could"
+                               " not be created."),
+                               from_utf8(fn.absFileName())));
+               return LyX2LyXNoTempFile;
        }
 
-       if (readDocument(lex)) {
-               Alert::error(_("Document format failure"),
-                            bformat(_("%1$s ended unexpectedly, which means"
-                                                   " that it is probably corrupted."),
-                                      from_utf8(filename.absFileName())));
-               return failure;
+       FileName const lyx2lyx = libFileSearch("lyx2lyx", "lyx2lyx");
+       if (lyx2lyx.empty()) {
+               Alert::error(_("Conversion script not found"),
+                    bformat(_("%1$s is from a different"
+                              " version of LyX, but the"
+                              " conversion script lyx2lyx"
+                              " could not be found."),
+                              from_utf8(fn.absFileName())));
+               return LyX2LyXNotFound;
        }
 
-       d->file_fully_loaded = true;
-       return success;
+       // Run lyx2lyx:
+       //   $python$ "$lyx2lyx$" -t $LYX_FORMAT$ -o "$tempfile$" "$filetoread$"
+       ostringstream command;
+       command << os::python()
+               << ' ' << quoteName(lyx2lyx.toFilesystemEncoding())
+               << " -t " << convert<string>(LYX_FORMAT)
+               << " -o " << quoteName(tmpfile.toFilesystemEncoding())
+               << ' ' << quoteName(fn.toSafeFilesystemEncoding());
+       string const command_str = command.str();
+
+       LYXERR(Debug::INFO, "Running '" << command_str << '\'');
+
+       cmd_ret const ret = runCommand(command_str);
+       if (ret.first != 0) {
+               if (from_format < LYX_FORMAT) {
+                       Alert::error(_("Conversion script failed"),
+                               bformat(_("%1$s is from an older version"
+                                       " of LyX and the lyx2lyx script"
+                                       " failed to convert it."),
+                                       from_utf8(fn.absFileName())));
+                       return LyX2LyXOlderFormat;
+               } else {
+                       Alert::error(_("Conversion script failed"),
+                               bformat(_("%1$s is from a newer version"
+                                       " of LyX and the lyx2lyx script"
+                                       " failed to convert it."),
+                                       from_utf8(fn.absFileName())));
+                       return LyX2LyXNewerFormat;
+               }
+       }
+       return ReadSuccess;
 }
 
 
 // Should probably be moved to somewhere else: BufferView? GuiView?
 bool Buffer::save() const
 {
+       docstring const file = makeDisplayPath(absFileName(), 20);
+       d->filename.refresh();
+
+       // check the read-only status before moving the file as a backup
+       if (d->filename.exists()) {
+               bool const read_only = !d->filename.isWritable();
+               if (read_only) {
+                       Alert::warning(_("File is read-only"),
+                               bformat(_("The file %1$s cannot be written because it "
+                               "is marked as read-only."), file));
+                       return false;
+               }
+       }
+
        // ask if the disk file has been externally modified (use checksum method)
        if (fileName().exists() && isExternallyModified(checksum_method)) {
-               docstring const file = makeDisplayPath(absFileName(), 20);
-               docstring text = bformat(_("Document %1$s has been externally modified. Are you sure "
-                                                            "you want to overwrite this file?"), file);
+               docstring text = 
+                       bformat(_("Document %1$s has been externally modified. "
+                               "Are you sure you want to overwrite this file?"), file);
                int const ret = Alert::prompt(_("Overwrite modified file?"),
                        text, 1, 1, _("&Overwrite"), _("&Cancel"));
                if (ret == 1)
@@ -1068,7 +1100,7 @@ bool Buffer::writeFile(FileName const & fname) const
        // see bug 6587
        // removeAutosaveFile();
 
-       saveCheckSum(d->filename);
+       saveCheckSum();
        message(str + _(" done."));
 
        return true;
@@ -1094,10 +1126,10 @@ docstring Buffer::emergencyWrite()
                LYXERR0("  " << s);
                if (writeFile(FileName(s))) {
                        markClean();
-                       user_message += bformat(_("  Saved to %1$s. Phew.\n"), from_utf8(s));
+                       user_message += "  " + bformat(_("Saved to %1$s. Phew.\n"), from_utf8(s));
                        return user_message;
                } else {
-                       user_message += _("  Save failed! Trying again...\n");
+                       user_message += "  " + _("Save failed! Trying again...\n");
                }
        }
 
@@ -1107,11 +1139,11 @@ docstring Buffer::emergencyWrite()
        lyxerr << ' ' << s << endl;
        if (writeFile(FileName(s))) {
                markClean();
-               user_message += bformat(_("  Saved to %1$s. Phew.\n"), from_utf8(s));
+               user_message += "  " + bformat(_("Saved to %1$s. Phew.\n"), from_utf8(s));
                return user_message;
        }
 
-       user_message += _("  Save failed! Trying yet again...\n");
+       user_message += "  " + _("Save failed! Trying yet again...\n");
 
        // 3) In "/tmp" directory.
        // MakeAbsPath to prepend the current
@@ -1121,11 +1153,11 @@ docstring Buffer::emergencyWrite()
        lyxerr << ' ' << s << endl;
        if (writeFile(FileName(s))) {
                markClean();
-               user_message += bformat(_("  Saved to %1$s. Phew.\n"), from_utf8(s));
+               user_message += "  " + bformat(_("Saved to %1$s. Phew.\n"), from_utf8(s));
                return user_message;
        }
 
-       user_message += _("  Save failed! Bummer. Document is lost.");
+       user_message += "  " + _("Save failed! Bummer. Document is lost.");
        // Don't try again.
        markClean();
        return user_message;
@@ -1199,8 +1231,11 @@ bool Buffer::makeLaTeXFile(FileName const & fname,
                           bool output_preamble, bool output_body) const
 {
        OutputParams runparams = runparams_in;
-       if (params().useXetex)
-               runparams.flavor = OutputParams::XETEX;
+
+       // This is necessary for LuaTeX/XeTeX with tex fonts.
+       // See FIXME in BufferParams::encoding()
+       if (runparams.isFullUnicode())
+               runparams.encoding = encodings.fromLyXName("utf8-plain");
 
        string const encoding = runparams.encoding->iconvName();
        LYXERR(Debug::LATEX, "makeLaTeXFile encoding: " << encoding << "...");
@@ -1367,6 +1402,7 @@ void Buffer::writeLaTeXSource(odocstream & os,
                MacroSet parentMacros;
                listParentMacros(parentMacros, features);
 
+               runparams.use_polyglossia = features.usePolyglossia();
                // Write the preamble
                runparams.use_babel = params().writeLaTeX(os, features,
                                                          d->texrow,
@@ -1574,9 +1610,8 @@ void Buffer::writeLyXHTMLSource(odocstream & os,
        LaTeXFeatures features(*this, params(), runparams);
        validate(features);
        updateBuffer(UpdateMaster, OutputUpdate);
-       checkBibInfoCache();
        d->bibinfo_.makeCitationLabels(*this);
-       updateMacros(true);
+       updateMacros();
        updateMacroInstances();
 
        if (!only_body) {
@@ -1596,7 +1631,7 @@ void Buffer::writeLyXHTMLSource(odocstream & os,
 
                os << "\n<!-- Text Class Preamble -->\n"
                   << features.getTClassHTMLPreamble()
-                  << "\n<!-- Premable Snippets -->\n"
+                  << "\n<!-- Preamble Snippets -->\n"
                   << from_utf8(features.getPreambleSnippets());
 
                os << "\n<!-- Layout-provided Styles -->\n";
@@ -1676,10 +1711,9 @@ void Buffer::validate(LaTeXFeatures & features) const
 
 void Buffer::getLabelList(vector<docstring> & list) const
 {
-       // If this is a child document, use the parent's list instead.
-       Buffer const * const pbuf = d->parent();
-       if (pbuf) {
-               pbuf->getLabelList(list);
+       // If this is a child document, use the master's list instead.
+       if (parent()) {
+               masterBuffer()->getLabelList(list);
                return;
        }
 
@@ -1696,54 +1730,71 @@ void Buffer::getLabelList(vector<docstring> & list) const
 
 void Buffer::updateBibfilesCache(UpdateScope scope) const
 {
+       // FIXME This is probably unnecssary, given where we call this.
        // If this is a child document, use the parent's cache instead.
-       Buffer const * const pbuf = d->parent();
-       if (pbuf && scope != UpdateChildOnly) {
-               pbuf->updateBibfilesCache();
+       if (parent() && scope != UpdateChildOnly) {
+               masterBuffer()->updateBibfilesCache();
                return;
        }
 
        d->bibfiles_cache_.clear();
        for (InsetIterator it = inset_iterator_begin(inset()); it; ++it) {
                if (it->lyxCode() == BIBTEX_CODE) {
-                       InsetBibtex const & inset =
-                               static_cast<InsetBibtex const &>(*it);
+                       InsetBibtex const & inset = static_cast<InsetBibtex const &>(*it);
                        support::FileNameList const bibfiles = inset.getBibFiles();
                        d->bibfiles_cache_.insert(d->bibfiles_cache_.end(),
                                bibfiles.begin(),
                                bibfiles.end());
                } else if (it->lyxCode() == INCLUDE_CODE) {
-                       InsetInclude & inset =
-                               static_cast<InsetInclude &>(*it);
-                       inset.updateBibfilesCache();
+                       InsetInclude & inset = static_cast<InsetInclude &>(*it);
+                       Buffer const * const incbuf = inset.getChildBuffer();
+                       if (!incbuf)
+                               continue;
                        support::FileNameList const & bibfiles =
-                                       inset.getBibfilesCache();
-                       d->bibfiles_cache_.insert(d->bibfiles_cache_.end(),
-                               bibfiles.begin(),
-                               bibfiles.end());
+                                       incbuf->getBibfilesCache(UpdateChildOnly);
+                       if (!bibfiles.empty()) {
+                               d->bibfiles_cache_.insert(d->bibfiles_cache_.end(),
+                                       bibfiles.begin(),
+                                       bibfiles.end());
+                       }
                }
        }
-       // the bibinfo cache is now invalid
+       d->bibfile_cache_valid_ = true;
        d->bibinfo_cache_valid_ = false;
 }
 
 
-void Buffer::invalidateBibinfoCache()
+void Buffer::invalidateBibinfoCache() const
 {
        d->bibinfo_cache_valid_ = false;
+       // also invalidate the cache for the parent buffer
+       Buffer const * const pbuf = d->parent();
+       if (pbuf)
+               pbuf->invalidateBibinfoCache();
 }
 
 
-support::FileNameList const & Buffer::getBibfilesCache(UpdateScope scope) const
+void Buffer::invalidateBibfileCache() const
 {
-       // If this is a child document, use the parent's cache instead.
+       d->bibfile_cache_valid_ = false;
+       d->bibinfo_cache_valid_ = false;
+       // also invalidate the cache for the parent buffer
        Buffer const * const pbuf = d->parent();
-       if (pbuf && scope != UpdateChildOnly)
+       if (pbuf)
+               pbuf->invalidateBibfileCache();
+}
+
+
+support::FileNameList const & Buffer::getBibfilesCache(UpdateScope scope) const
+{
+       // FIXME This is probably unnecessary, given where we call this.
+       // If this is a child document, use the master's cache instead.
+       Buffer const * const pbuf = masterBuffer();
+       if (pbuf != this && scope != UpdateChildOnly)
                return pbuf->getBibfilesCache();
 
-       // We update the cache when first used instead of at loading time.
-       if (d->bibfiles_cache_.empty())
-               const_cast<Buffer *>(this)->updateBibfilesCache(scope);
+       if (!d->bibfile_cache_valid_)
+               this->updateBibfilesCache(scope);
 
        return d->bibfiles_cache_;
 }
@@ -1751,28 +1802,28 @@ support::FileNameList const & Buffer::getBibfilesCache(UpdateScope scope) const
 
 BiblioInfo const & Buffer::masterBibInfo() const
 {
-       // if this is a child document and the parent is already loaded
-       // use the parent's list instead  [ale990412]
        Buffer const * const tmp = masterBuffer();
-       LASSERT(tmp, /**/);
        if (tmp != this)
                return tmp->masterBibInfo();
-       return localBibInfo();
-}
-
-
-BiblioInfo const & Buffer::localBibInfo() const
-{
        return d->bibinfo_;
 }
 
 
 void Buffer::checkBibInfoCache() const 
 {
-       support::FileNameList const & bibfilesCache = getBibfilesCache();
+       // use the master's cache
+       Buffer const * const tmp = masterBuffer();
+       if (tmp != this) {
+               tmp->checkBibInfoCache();
+               return;
+       }
+
+       // this will also reload the cache if it is invalid 
+       support::FileNameList const & bibfiles_cache = getBibfilesCache();
+       
        // compare the cached timestamps with the actual ones.
-       support::FileNameList::const_iterator ei = bibfilesCache.begin();
-       support::FileNameList::const_iterator en = bibfilesCache.end();
+       support::FileNameList::const_iterator ei = bibfiles_cache.begin();
+       support::FileNameList::const_iterator en = bibfiles_cache.end();
        for (; ei != en; ++ ei) {
                time_t lastw = ei->lastModified();
                time_t prevw = d->bibfile_status_[*ei];
@@ -1781,13 +1832,20 @@ void Buffer::checkBibInfoCache() const
                        d->bibfile_status_[*ei] = lastw;
                }
        }
-
+       
+       // if not valid, then reload the info
        if (!d->bibinfo_cache_valid_) {
                d->bibinfo_.clear();
-               for (InsetIterator it = inset_iterator_begin(inset()); it; ++it)
-                       it->fillWithBibKeys(d->bibinfo_, it);
+               fillWithBibKeys(d->bibinfo_);
                d->bibinfo_cache_valid_ = true;
-       }       
+       }
+}
+
+
+void Buffer::fillWithBibKeys(BiblioInfo & keys) const
+{
+       for (InsetIterator it = inset_iterator_begin(inset()); it; ++it)
+               it->fillWithBibKeys(keys, it);
 }
 
 
@@ -1985,6 +2043,7 @@ void Buffer::dispatch(FuncRequest const & func, DispatchResult & dr)
 
        case LFUN_BUFFER_AUTO_SAVE:
                autoSave();
+               resetAutosaveTimers();
                break;
 
        case LFUN_BRANCH_ADD: {
@@ -2014,7 +2073,7 @@ void Buffer::dispatch(FuncRequest const & func, DispatchResult & dr)
                                docstring const str = branch_name + ' ' + from_ascii(x11hexname);
                                lyx::dispatch(FuncRequest(LFUN_SET_COLOR, str));
                                dr.setError(false);
-                               dr.update(Update::Force);
+                               dr.screenUpdate(Update::Force);
                        }
                }
                if (!msg.empty())
@@ -2041,7 +2100,7 @@ void Buffer::dispatch(FuncRequest const & func, DispatchResult & dr)
                } else {
                        branch->setSelected(func.action() == LFUN_BRANCH_ACTIVATE);
                        dr.setError(false);
-                       dr.update(Update::Force);
+                       dr.screenUpdate(Update::Force);
                        dr.forceBufferUpdate();
                }
                break;
@@ -2078,7 +2137,7 @@ void Buffer::dispatch(FuncRequest const & func, DispatchResult & dr)
                }
 
                if (success) {
-                       dr.update(Update::Force);
+                       dr.screenUpdate(Update::Force);
                        dr.forceBufferUpdate();
                }
                break;
@@ -2261,9 +2320,10 @@ void Buffer::getLanguages(std::set<Language const *> & languages) const
        for (ParConstIterator it = par_iterator_begin(); it != end; ++it)
                it->getLanguages(languages);
        // also children
-       std::vector<Buffer *> clist = getChildren();
-       for (vector<Buffer *>::const_iterator cit = clist.begin();
-            cit != clist.end(); ++cit)
+       ListOfBuffers clist = getDescendents();
+       ListOfBuffers::const_iterator cit = clist.begin();
+       ListOfBuffers::const_iterator const cen = clist.end();
+       for (; cit != cen; ++cit)
                (*cit)->getLanguages(languages);
 }
 
@@ -2343,8 +2403,9 @@ bool Buffer::isExternallyModified(CheckMethod method) const
 }
 
 
-void Buffer::saveCheckSum(FileName const & file) const
+void Buffer::saveCheckSum() const
 {
+       FileName const & file = d->filename;
        if (file.exists()) {
                d->timestamp_ = file.lastModified();
                d->checksum_ = file.checksum();
@@ -2365,6 +2426,7 @@ void Buffer::markClean() const
        // if the .lyx file has been saved, we don't need an
        // autosave
        d->bak_clean = true;
+       d->undo_.markDirty();
 }
 
 
@@ -2445,34 +2507,18 @@ Buffer const * Buffer::parent() const
 }
 
 
-void Buffer::Impl::collectRelatives(BufferSet & bufs) const
-{
-       bufs.insert(owner_);
-       if (parent())
-               parent()->d->collectRelatives(bufs);
-
-       // loop over children
-       BufferPositionMap::const_iterator it = children_positions.begin();
-       BufferPositionMap::const_iterator end = children_positions.end();
-       for (; it != end; ++it)
-               bufs.insert(const_cast<Buffer *>(it->first));
-}
-
-
-std::vector<Buffer const *> Buffer::allRelatives() const
+ListOfBuffers Buffer::allRelatives() const
 {
-       BufferSet bufs;
-       d->collectRelatives(bufs);
-       BufferSet::iterator it = bufs.begin();
-       std::vector<Buffer const *> ret;
-       for (; it != bufs.end(); ++it)
-               ret.push_back(*it);
-       return ret;
+       ListOfBuffers lb = masterBuffer()->getDescendents();
+       lb.push_front(const_cast<Buffer *>(this));
+       return lb;
 }
 
 
 Buffer const * Buffer::masterBuffer() const
 {
+       // FIXME Should be make sure we are not in some kind
+       // of recursive include? A -> B -> A will crash this.
        Buffer const * const pbuf = d->parent();
        if (!pbuf)
                return this;
@@ -2497,27 +2543,43 @@ DocIterator Buffer::firstChildPosition(Buffer const * child)
 }
 
 
-void Buffer::getChildren(std::vector<Buffer *> & clist, bool grand_children) const
+bool Buffer::hasChildren() const
+{
+       return !d->children_positions.empty();  
+}
+
+
+void Buffer::collectChildren(ListOfBuffers & clist, bool grand_children) const
 {
        // loop over children
        Impl::BufferPositionMap::iterator it = d->children_positions.begin();
        Impl::BufferPositionMap::iterator end = d->children_positions.end();
        for (; it != end; ++it) {
                Buffer * child = const_cast<Buffer *>(it->first);
+               // No duplicates
+               ListOfBuffers::const_iterator bit = find(clist.begin(), clist.end(), child);
+               if (bit != clist.end())
+                       continue;
                clist.push_back(child);
-               if (grand_children) {
+               if (grand_children) 
                        // there might be grandchildren
-                       vector<Buffer *> glist = child->getChildren();
-                       clist.insert(clist.end(), glist.begin(), glist.end());
-               }
+                       child->collectChildren(clist, true);
        }
 }
 
 
-vector<Buffer *> Buffer::getChildren(bool grand_children) const
+ListOfBuffers Buffer::getChildren() const
 {
-       vector<Buffer *> v;
-       getChildren(v, grand_children);
+       ListOfBuffers v;
+       collectChildren(v, false);
+       return v;
+}
+
+
+ListOfBuffers Buffer::getDescendents() const
+{
+       ListOfBuffers v;
+       collectChildren(v, true);
        return v;
 }
 
@@ -2668,8 +2730,7 @@ MacroData const * Buffer::getMacro(docstring const & name,
 }
 
 
-void Buffer::Impl::updateMacros(DocIterator & it, DocIterator & scope,
-               bool record_docits)
+void Buffer::Impl::updateMacros(DocIterator & it, DocIterator & scope)
 {
        pit_type const lastpit = it.lastpit();
 
@@ -2700,6 +2761,17 @@ void Buffer::Impl::updateMacros(DocIterator & it, DocIterator & scope,
                                it.pop_back();
                                continue;
                        }
+                       
+                       if (iit->inset->asInsetTabular()) {
+                               CursorSlice slice(*iit->inset);
+                               size_t const numcells = slice.nargs();
+                               for (; slice.idx() < numcells; slice.forwardIdx()) {
+                                       it.push_back(slice);
+                                       updateMacros(it, scope);
+                                       it.pop_back();
+                               }
+                               continue;
+                       }
 
                        // is it an external file?
                        if (iit->inset->lyxCode() == INCLUDE_CODE) {
@@ -2723,12 +2795,11 @@ void Buffer::Impl::updateMacros(DocIterator & it, DocIterator & scope,
                                continue;
                        }
 
-                       if (record_docits && iit->inset->asInsetMath()) {
-                               InsetMath * im = static_cast<InsetMath *>(iit->inset);
-                               if (im->asHullInset()) {
-                                       InsetMathHull * hull = static_cast<InsetMathHull *>(im);
+                       InsetMath * im = iit->inset->asInsetMath();
+                       if (doing_export && im)  {
+                               InsetMathHull * hull = im->asHullInset();
+                               if (hull)
                                        hull->recordLocation(it);
-                               }
                        }
 
                        if (iit->inset->lyxCode() != MATHMACRO_CODE)
@@ -2736,7 +2807,7 @@ void Buffer::Impl::updateMacros(DocIterator & it, DocIterator & scope,
 
                        // get macro data
                        MathMacroTemplate & macroTemplate =
-                               static_cast<MathMacroTemplate &>(*iit->inset);
+                               *iit->inset->asInsetMath()->asMacroTemplate();
                        MacroContext mc(owner_, it);
                        macroTemplate.updateToContext(mc);
 
@@ -2762,7 +2833,7 @@ void Buffer::Impl::updateMacros(DocIterator & it, DocIterator & scope,
 }
 
 
-void Buffer::updateMacros(bool record_docit) const
+void Buffer::updateMacros() const
 {
        if (d->macro_lock)
                return;
@@ -2781,7 +2852,7 @@ void Buffer::updateMacros(bool record_docit) const
        DocIterator it = par_iterator_begin();
        DocIterator outerScope = it;
        outerScope.pit() = outerScope.lastpit() + 2;
-       d->updateMacros(it, outerScope, record_docit);
+       d->updateMacros(it, outerScope);
 }
 
 
@@ -2942,28 +3013,31 @@ void Buffer::changeRefsIfUnique(docstring const & from, docstring const & to,
 {
        //FIXME: This does not work for child documents yet.
        LASSERT(code == CITE_CODE, /**/);
+
        // Check if the label 'from' appears more than once
-       vector<docstring> labels;
-       string paramName;
        checkBibInfoCache();
+
        BiblioInfo const & keys = masterBibInfo();
        BiblioInfo::const_iterator bit  = keys.begin();
        BiblioInfo::const_iterator bend = keys.end();
+       vector<docstring> labels;
 
        for (; bit != bend; ++bit)
                // FIXME UNICODE
                labels.push_back(bit->first);
-       paramName = "key";
 
        if (count(labels.begin(), labels.end(), from) > 1)
                return;
 
+       string const paramName = "key";
        for (InsetIterator it = inset_iterator_begin(inset()); it; ++it) {
                if (it->lyxCode() == code) {
-                       InsetCommand & inset = static_cast<InsetCommand &>(*it);
-                       docstring const oldValue = inset.getParam(paramName);
+                       InsetCommand * inset = it->asInsetCommand();
+                       if (!inset)
+                               continue;
+                       docstring const oldValue = inset->getParam(paramName);
                        if (oldValue == from)
-                               inset.setParam(paramName, to);
+                               inset->setParam(paramName, to);
                }
        }
 }
@@ -2974,7 +3048,7 @@ void Buffer::getSourceCode(odocstream & os, pit_type par_begin,
 {
        OutputParams runparams(&params().encoding());
        runparams.nice = true;
-       runparams.flavor = params().useXetex ? 
+       runparams.flavor = params().useNonTeXFonts ? 
                OutputParams::XETEX : OutputParams::LATEX;
        runparams.linelen = lyxrc.plaintext_linelen;
        // No side effect of file copying and image conversion
@@ -3174,6 +3248,12 @@ int AutoSaveBuffer::generateChild()
 } // namespace anon
 
 
+FileName Buffer::getEmergencyFileName() const
+{
+       return FileName(d->filename.absFileName() + ".emergency");
+}
+
+
 FileName Buffer::getAutosaveFileName() const
 {
        // if the document is unnamed try to save in the backup dir, else
@@ -3187,6 +3267,7 @@ FileName Buffer::getAutosaveFileName() const
                fpath = filePath();
 
        string const fname = "#" + d->filename.onlyFileName() + "#";
+
        return makeAbsPath(fname, fpath);
 }
 
@@ -3209,23 +3290,36 @@ void Buffer::moveAutosaveFile(support::FileName const & oldauto) const
 }
 
 
-// Perfect target for a thread...
-void Buffer::autoSave() const
+bool Buffer::autoSave() const 
 {
-       if (d->bak_clean || isReadonly()) {
-               // We don't save now, but we'll try again later
-               resetAutosaveTimers();
-               return;
-       }
+       Buffer const * buf = d->cloned_buffer_ ? d->cloned_buffer_ : this;
+       if (buf->d->bak_clean || isReadonly())
+               return true;
 
-       // emit message signal.
        message(_("Autosaving current document..."));
-       AutoSaveBuffer autosave(*this, getAutosaveFileName());
-       autosave.start();
-
-       d->bak_clean = true;
-
-       resetAutosaveTimers();
+       buf->d->bak_clean = true;
+       
+       FileName const fname = getAutosaveFileName();
+       if (d->cloned_buffer_) {
+               // If this buffer is cloned, we assume that
+               // we are running in a separate thread already.
+               FileName const tmp_ret = FileName::tempName("lyxauto");
+               if (!tmp_ret.empty()) {
+                       writeFile(tmp_ret);
+                       // assume successful write of tmp_ret
+                       if (tmp_ret.moveTo(fname))
+                               return true;
+               }
+               // failed to write/rename tmp_ret so try writing direct
+               return writeFile(fname);
+       } else {        
+               /// This function is deprecated as the frontend needs to take care
+               /// of cloning the buffer and autosaving it in another thread. It
+               /// is still here to allow (QT_VERSION < 0x040400).
+               AutoSaveBuffer autosave(*this, fname);
+               autosave.start();
+               return true;
+       }
 }
 
 
@@ -3233,7 +3327,7 @@ string Buffer::bufferFormat() const
 {
        string format = params().documentClass().outputFormat();
        if (format == "latex") {
-               if (params().useXetex)
+               if (params().useNonTeXFonts)
                        return "xetex";
                if (params().encoding().package() == Encoding::japanese)
                        return "platex";
@@ -3244,14 +3338,14 @@ string Buffer::bufferFormat() const
 
 string Buffer::getDefaultOutputFormat() const
 {
-       if (!params().defaultOutputFormat.empty()
-           && params().defaultOutputFormat != "default")
-               return params().defaultOutputFormat;
+       if (!params().default_output_format.empty()
+           && params().default_output_format != "default")
+               return params().default_output_format;
        typedef vector<Format const *> Formats;
        Formats formats = exportableFormats(true);
        if (isDocBook()
            || isLiterate()
-           || params().useXetex
+           || params().useNonTeXFonts
            || params().encoding().package() == Encoding::japanese) {
                if (formats.empty())
                        return string();
@@ -3331,6 +3425,10 @@ bool Buffer::doExport(string const & format, bool put_in_tempdir,
                // FIXME: Don't hardcode format names here, but use a flag
                if (backend_format == "pdflatex")
                        runparams.flavor = OutputParams::PDFLATEX;
+               else if (backend_format == "luatex")
+                       runparams.flavor = OutputParams::LUATEX;
+               else if (backend_format == "xetex")
+                       runparams.flavor = OutputParams::XETEX;
        }
 
        string filename = latexName(false);
@@ -3361,11 +3459,10 @@ bool Buffer::doExport(string const & format, bool put_in_tempdir,
                        break;
                case BufferParams::LaTeX:
                        runparams.math_flavor = OutputParams::MathAsLaTeX; 
-                       break;                                                                                  
+                       break;
                }
-               
                makeLyXHTMLFile(FileName(filename), runparams);
-       }       else if (backend_format == "lyx")
+       } else if (backend_format == "lyx")
                writeFile(FileName(filename));
        // Docbook backend
        else if (isDocBook()) {
@@ -3406,9 +3503,10 @@ bool Buffer::doExport(string const & format, bool put_in_tempdir,
                } else 
                        errors(error_type);
                // also to the children, in case of master-buffer-view
-               std::vector<Buffer *> clist = getChildren();
-               for (vector<Buffer *>::const_iterator cit = clist.begin();
-                       cit != clist.end(); ++cit) {
+               ListOfBuffers clist = getDescendents();
+               ListOfBuffers::const_iterator cit = clist.begin();
+               ListOfBuffers::const_iterator const cen = clist.end();
+               for (; cit != cen; ++cit) {
                        if (d->cloned_buffer_) {
                                (*cit)->d->cloned_buffer_->d->errorLists[error_type] = 
                                        (*cit)->d->errorLists[error_type];
@@ -3536,8 +3634,12 @@ vector<string> Buffer::backends() const
        vector<string> v;
        v.push_back(bufferFormat());
        // FIXME: Don't hardcode format names here, but use a flag
-       if (v.back() == "latex")
+       if (v.back() == "latex") {
                v.push_back("pdflatex");
+               v.push_back("luatex");
+               v.push_back("xetex");
+       } else if (v.back() == "xetex")
+               v.push_back("luatex");
        v.push_back("xhtml");
        v.push_back("text");
        v.push_back("lyx");
@@ -3545,109 +3647,147 @@ vector<string> Buffer::backends() const
 }
 
 
-bool Buffer::readFileHelper(FileName const & s)
+Buffer::ReadStatus Buffer::extractFromVC()
 {
-       // File information about normal file
-       if (!s.exists()) {
-               docstring const file = makeDisplayPath(s.absFileName(), 50);
-               docstring text = bformat(_("The specified document\n%1$s"
-                                                    "\ncould not be read."), file);
-               Alert::error(_("Could not read document"), text);
-               return false;
-       }
+       bool const found = LyXVC::file_not_found_hook(d->filename);
+       if (!found)
+               return ReadFileNotFound;
+       if (!d->filename.isReadableFile())
+               return ReadVCError;
+       return ReadSuccess;
+}
 
-       // Check if emergency save file exists and is newer.
-       FileName const e(s.absFileName() + ".emergency");
 
-       if (e.exists() && s.exists() && e.lastModified() > s.lastModified()) {
-               docstring const file = makeDisplayPath(s.absFileName(), 20);
-               docstring const text =
-                       bformat(_("An emergency save of the document "
-                                 "%1$s exists.\n\n"
-                                              "Recover emergency save?"), file);
-               switch (Alert::prompt(_("Load emergency save?"), text, 0, 2,
-                                     _("&Recover"),  _("&Load Original"),
-                                     _("&Cancel")))
-               {
-               case 0: {
-                       // the file is not saved if we load the emergency file.
+Buffer::ReadStatus Buffer::loadEmergency()
+{
+       FileName const emergencyFile = getEmergencyFileName();
+       if (!emergencyFile.exists() 
+                 || emergencyFile.lastModified() <= d->filename.lastModified())
+               return ReadFileNotFound;
+
+       docstring const file = makeDisplayPath(d->filename.absFileName(), 20);
+       docstring const text = bformat(_("An emergency save of the document "
+               "%1$s exists.\n\nRecover emergency save?"), file);
+       
+       int const load_emerg = Alert::prompt(_("Load emergency save?"), text,
+               0, 2, _("&Recover"), _("&Load Original"), _("&Cancel"));
+
+       switch (load_emerg)
+       {
+       case 0: {
+               docstring str;
+               ReadStatus const ret_llf = loadThisLyXFile(emergencyFile);
+               bool const success = (ret_llf == ReadSuccess);
+               if (success) {
+                       if (isReadonly()) {
+                               Alert::warning(_("File is read-only"),
+                                       bformat(_("An emergency file is succesfully loaded, "
+                                       "but the original file %1$s is marked read-only. "
+                                       "Please make sure to save the document as a different "
+                                       "file."), from_utf8(d->filename.absFileName())));
+                       }
                        markDirty();
-                       docstring str;
-                       bool res;
-
-                       if ((res = readFile(e)) == success)
-                               str = _("Document was successfully recovered.");
-                       else
-                               str = _("Document was NOT successfully recovered.");
-                       str += "\n\n" + bformat(_("Remove emergency file now?\n(%1$s)"),
-                                               makeDisplayPath(e.absFileName()));
-
-                       if (!Alert::prompt(_("Delete emergency file?"), str, 1, 1,
-                                       _("&Remove"), _("&Keep it"))) {
-                               e.removeFile();
-                               if (res == success)
-                                       Alert::warning(_("Emergency file deleted"),
-                                               _("Do not forget to save your file now!"), true);
-                               }
-                       return res;
-               }
-               case 1:
-                       if (!Alert::prompt(_("Delete emergency file?"),
-                                       _("Remove emergency file now?"), 1, 1,
-                                       _("&Remove"), _("&Keep it")))
-                               e.removeFile();
-                       break;
-               default:
-                       return false;
-               }
+                       str = _("Document was successfully recovered.");
+               } else
+                       str = _("Document was NOT successfully recovered.");
+               str += "\n\n" + bformat(_("Remove emergency file now?\n(%1$s)"),
+                       makeDisplayPath(emergencyFile.absFileName()));
+
+               int const del_emerg = 
+                       Alert::prompt(_("Delete emergency file?"), str, 1, 1,
+                               _("&Remove"), _("&Keep"));
+               if (del_emerg == 0) {
+                       emergencyFile.removeFile();
+                       if (success)
+                               Alert::warning(_("Emergency file deleted"),
+                                       _("Do not forget to save your file now!"), true);
+                       }
+               return success ? ReadSuccess : ReadEmergencyFailure;
+       }
+       case 1: {
+               int const del_emerg =
+                       Alert::prompt(_("Delete emergency file?"),
+                               _("Remove emergency file now?"), 1, 1,
+                               _("&Remove"), _("&Keep"));
+               if (del_emerg == 0)
+                       emergencyFile.removeFile();
+               return ReadOriginal;
        }
 
+       default:
+               break;
+       }
+       return ReadCancel;
+}
+
+
+Buffer::ReadStatus Buffer::loadAutosave()
+{
        // Now check if autosave file is newer.
-       FileName const a(onlyPath(s.absFileName()) + '#' + onlyFileName(s.absFileName()) + '#');
-
-       if (a.exists() && s.exists() && a.lastModified() > s.lastModified()) {
-               docstring const file = makeDisplayPath(s.absFileName(), 20);
-               docstring const text =
-                       bformat(_("The backup of the document "
-                                 "%1$s is newer.\n\nLoad the "
-                                              "backup instead?"), file);
-               switch (Alert::prompt(_("Load backup?"), text, 0, 2,
-                                     _("&Load backup"), _("Load &original"),
-                                     _("&Cancel") ))
-               {
-               case 0:
-                       // the file is not saved if we load the autosave file.
+       FileName const autosaveFile = getAutosaveFileName();
+       if (!autosaveFile.exists() 
+                 || autosaveFile.lastModified() <= d->filename.lastModified()) 
+               return ReadFileNotFound;
+
+       docstring const file = makeDisplayPath(d->filename.absFileName(), 20);
+       docstring const text = bformat(_("The backup of the document %1$s " 
+               "is newer.\n\nLoad the backup instead?"), file);
+       int const ret = Alert::prompt(_("Load backup?"), text, 0, 2,
+               _("&Load backup"), _("Load &original"), _("&Cancel"));
+       
+       switch (ret)
+       {
+       case 0: {
+               ReadStatus const ret_llf = loadThisLyXFile(autosaveFile);
+               // the file is not saved if we load the autosave file.
+               if (ret_llf == ReadSuccess) {
+                       if (isReadonly()) {
+                               Alert::warning(_("File is read-only"),
+                                       bformat(_("A backup file is succesfully loaded,  "
+                                       "but the original file %1$s is marked read-only. "
+                                       "Please make sure to save the document as a "
+                                       "different file."), 
+                                       from_utf8(d->filename.absFileName())));
+                       }
                        markDirty();
-                       return readFile(a);
-               case 1:
-                       // Here we delete the autosave
-                       a.removeFile();
-                       break;
-               default:
-                       return false;
+                       return ReadSuccess;
                }
+               return ReadAutosaveFailure;
+       }
+       case 1:
+               // Here we delete the autosave
+               autosaveFile.removeFile();
+               return ReadOriginal;
+       default:
+               break;
        }
-       return readFile(s);
+       return ReadCancel;
 }
 
 
-bool Buffer::loadLyXFile(FileName const & s)
+Buffer::ReadStatus Buffer::loadLyXFile()
 {
-       // If the file is not readable, we try to
-       // retrieve the file from version control.
-       if (!s.isReadableFile()
-                 && !LyXVC::file_not_found_hook(s))
-               return false;
-       
-       if (s.isReadableFile()){
-               // InsetInfo needs to know if file is under VCS
-               lyxvc().file_found_hook(s);
-               if (readFileHelper(s)) {
-                       d->read_only = !s.isWritable();
-                       return true;
-               }
+       if (!d->filename.isReadableFile()) {
+               ReadStatus const ret_rvc = extractFromVC();
+               if (ret_rvc != ReadSuccess)
+                       return ret_rvc;
        }
-       return false;
+
+       ReadStatus const ret_re = loadEmergency();
+       if (ret_re == ReadSuccess || ret_re == ReadCancel)
+               return ret_re;
+       
+       ReadStatus const ret_ra = loadAutosave();
+       if (ret_ra == ReadSuccess || ret_ra == ReadCancel)
+               return ret_ra;
+
+       return loadThisLyXFile(d->filename);
+}
+
+
+Buffer::ReadStatus Buffer::loadThisLyXFile(FileName const & fn)
+{
+       return readFile(fn);
 }
 
 
@@ -3688,7 +3828,7 @@ void Buffer::updateBuffer(UpdateScope scope, UpdateType utype) const
        DocumentClass const & textclass = master->params().documentClass();
        
        // do this only if we are the top-level Buffer
-       if (scope != UpdateMaster || master == this)
+       if (master == this)
                checkBibInfoCache();
 
        // keep the buffers to be children in this set. If the call from the
@@ -3839,11 +3979,11 @@ void Buffer::Impl::setLabel(ParIterator & it, UpdateType utype) const
        switch(layout.labeltype) {
        case LABEL_COUNTER:
                if (layout.toclevel <= bp.secnumdepth
-                   && (layout.latextype != LATEX_ENVIRONMENT
-                       || it.text()->isFirstInSequence(it.pit()))) {
-                       counters.step(layout.counter, utype);
-                       par.params().labelString(
-                               par.expandLabel(layout, bp));
+                     && (layout.latextype != LATEX_ENVIRONMENT
+                         || it.text()->isFirstInSequence(it.pit()))) {
+                       if (counters.hasCounter(layout.counter))
+                               counters.step(layout.counter, utype);
+                       par.params().labelString(par.expandLabel(layout, bp));
                } else
                        par.params().labelString(docstring());
                break;
@@ -3942,10 +4082,8 @@ void Buffer::updateBuffer(ParIterator & parit, UpdateType utype) const
 {
        LASSERT(parit.pit() == 0, /**/);
 
-       // set the position of the text in the buffer to be able
-       // to resolve macros in it. This has nothing to do with
-       // labels, but by putting it here we avoid implementing
-       // a whole bunch of traversal routines just for this call.
+       // Set the position of the text in the buffer to be able
+       // to resolve macros in it.
        parit.text()->setMacrocontextPosition(parit);
 
        depth_type maxdepth = 0;
@@ -3997,7 +4135,9 @@ int Buffer::spellCheck(DocIterator & from, DocIterator & to,
                if (from == end)
                        break;
                to = from;
-               if (from.paragraph().spellCheck(from.pos(), to.pos(), wl, suggestions)) {
+               from.paragraph().spellCheck();
+               SpellChecker::Result res = from.paragraph().spellCheck(from.pos(), to.pos(), wl, suggestions);
+               if (SpellChecker::misspelled(res)) {
                        word_lang = wl;
                        break;
                }
@@ -4013,17 +4153,17 @@ int Buffer::spellCheck(DocIterator & from, DocIterator & to,
 }
 
 
-bool Buffer::reload()
+Buffer::ReadStatus Buffer::reload()
 {
        setBusy(true);
-       // c.f. bug 6587
+       // c.f. bug http://www.lyx.org/trac/ticket/6587
        removeAutosaveFile();
        // e.g., read-only status could have changed due to version control
        d->filename.refresh();
        docstring const disp_fn = makeDisplayPath(d->filename.absFileName());
 
-       bool const success = loadLyXFile(d->filename);
-       if (success) {
+       ReadStatus const status = loadLyXFile();
+       if (status == ReadSuccess) {
                updateBuffer();
                changed(true);
                updateTitles();
@@ -4033,11 +4173,42 @@ bool Buffer::reload()
                message(bformat(_("Could not reload document %1$s."), disp_fn));
        }       
        setBusy(false);
-       thePreviews().removeLoader(*this);
-       if (graphics::Previews::status() != LyXRC::PREVIEW_OFF)
-               thePreviews().generateBufferPreviews(*this);
+       removePreviews();
+       updatePreviews();
        errors("Parse");
-       return success;
+       return status;
+}
+
+
+bool Buffer::saveAs(FileName const & fn)
+{
+       FileName const old_name = fileName();
+       FileName const old_auto = getAutosaveFileName();
+       bool const old_unnamed = isUnnamed();
+
+       setFileName(fn);
+       markDirty();
+       setUnnamed(false);
+
+       if (save()) {
+               // bring the autosave file with us, just in case.
+               moveAutosaveFile(old_auto);
+               // validate version control data and
+               // correct buffer title
+               lyxvc().file_found_hook(fileName());
+               updateTitles();
+               // the file has now been saved to the new location.
+               // we need to check that the locations of child buffers
+               // are still valid.
+               checkChildBuffers();
+               return true;
+       } else {
+               // save failed
+               // reset the old filename and unnamed state
+               setFileName(old_name);
+               setUnnamed(old_unnamed);
+               return false;
+       }
 }