]> git.lyx.org Git - lyx.git/blobdiff - src/Buffer.cpp
Embedding: saving inzip name to .lyx file so that embedded files can always be found...
[lyx.git] / src / Buffer.cpp
index f888232ddf3fbcdb50bfeb1d76828782ea102f51..5d90106fad5361212d24e96452d56def64027bd6 100644 (file)
@@ -78,7 +78,9 @@
 
 #include "support/convert.h"
 #include "support/debug.h"
+#include "support/ExceptionMessage.h"
 #include "support/FileFilterList.h"
+#include "support/FileName.h"
 #include "support/FileNameList.h"
 #include "support/filetools.h"
 #include "support/ForkedCalls.h"
@@ -86,8 +88,8 @@
 #include "support/gzstream.h"
 #include "support/lstrings.h"
 #include "support/lyxalgo.h"
-#include "support/lyxlib.h"
 #include "support/os.h"
+#include "support/Package.h"
 #include "support/Path.h"
 #include "support/textutils.h"
 #include "support/types.h"
 #include <sstream>
 #include <fstream>
 
-using std::endl;
-using std::for_each;
-using std::make_pair;
-
-using std::ios;
-using std::map;
-using std::ostream;
-using std::ostringstream;
-using std::ofstream;
-using std::ifstream;
-using std::pair;
-using std::stack;
-using std::vector;
-using std::string;
-using std::time_t;
+using namespace std;
+using namespace lyx::support;
 
 namespace lyx {
 
-using support::addName;
-using support::bformat;
-using support::changeExtension;
-using support::cmd_ret;
-using support::createBufferTmpDir;
-using support::FileName;
-using support::FileNameList;
-using support::libFileSearch;
-using support::latex_path;
-using support::ltrim;
-using support::makeAbsPath;
-using support::makeDisplayPath;
-using support::makeLatexName;
-using support::onlyFilename;
-using support::onlyPath;
-using support::quoteName;
-using support::removeAutosaveFile;
-using support::rename;
-using support::runCommand;
-using support::split;
-using support::subst;
-using support::tempName;
-using support::trim;
-using support::suffixIs;
-
 namespace Alert = frontend::Alert;
 namespace os = support::os;
 
 namespace {
 
-int const LYX_FORMAT = 307; // JSpitzm: support for \slash
+int const LYX_FORMAT = 311; // Richard Heck: a dummy format to drive the AMS conversion
 
 } // namespace anon
 
 
-typedef std::map<string, bool> DepClean;
+typedef map<string, bool> DepClean;
 
 class Buffer::Impl
 {
@@ -176,7 +140,7 @@ public:
        
        BufferParams params;
        LyXVC lyxvc;
-       string temppath;
+       FileName temppath;
        mutable TexRow texrow;
        Buffer const * parent_buffer;
 
@@ -210,16 +174,25 @@ public:
        ///
        mutable TocBackend toc_backend;
 
-       /// macro table
-       typedef std::map<unsigned int, MacroData, std::greater<int> > PositionToMacroMap;
-       typedef std::map<docstring, PositionToMacroMap> NameToPositionMacroMap;
-       NameToPositionMacroMap macros;
+       /// macro tables
+       typedef pair<DocIterator, MacroData> ScopeMacro;
+       typedef map<DocIterator, ScopeMacro> PositionScopeMacroMap;
+       typedef map<docstring, PositionScopeMacroMap> NamePositionScopeMacroMap;
+       NamePositionScopeMacroMap macros;
+       bool macro_lock;
+       
+       /// positions of child buffers in the buffer
+       typedef map<Buffer const * const, DocIterator> BufferPositionMap;
+       typedef pair<DocIterator, Buffer const *> ScopeBuffer;
+       typedef map<DocIterator, ScopeBuffer> PositionScopeBufferMap;
+       BufferPositionMap children_positions;
+       PositionScopeBufferMap position_to_children;
 
        /// Container for all sort of Buffer dependant errors.
        map<string, ErrorList> errorLists;
 
        /// all embedded files of this buffer
-       EmbeddedFiles embedded_files;
+       EmbeddedFileList embedded_files;
 
        /// timestamp and checksum used to test if the file has been externally
        /// modified. (Used to properly enable 'File->Revert to saved', bug 4114).
@@ -234,24 +207,38 @@ public:
 
        /// A cache for the bibfiles (including bibfiles of loaded child
        /// documents), needed for appropriate update of natbib labels.
-       mutable FileNameList bibfilesCache_;
+       mutable EmbeddedFileList bibfilesCache_;
 };
 
+/// Creates the per buffer temporary directory
+static FileName createBufferTmpDir()
+{
+       static int count;
+       // We are in our own directory.  Why bother to mangle name?
+       // In fact I wrote this code to circumvent a problematic behaviour
+       // (bug?) of EMX mkstemp().
+       FileName tmpfl(package().temp_dir().absFilename() + "/lyx_tmpbuf" +
+               convert<string>(count++));
+
+       if (!tmpfl.createDirectory(0777)) {
+               throw ExceptionMessage(WarningException, _("Disk Error: "), bformat(
+                       _("LyX could not create the temporary directory '%1$s' (Disk is full maybe?)"),
+                       from_utf8(tmpfl.absFilename())));
+       }
+       return tmpfl;
+}
+
 
 Buffer::Impl::Impl(Buffer & parent, FileName const & file, bool readonly_)
        : parent_buffer(0), lyx_clean(true), bak_clean(true), unnamed(false),
          read_only(readonly_), filename(file), file_fully_loaded(false),
-         inset(params), toc_backend(&parent), embedded_files(&parent),
-         timestamp_(0), checksum_(0), wa_(0), undo_(parent)
+         inset(params), toc_backend(&parent), macro_lock(false),
+         embedded_files(), timestamp_(0), checksum_(0), wa_(0), 
+         undo_(parent)
 {
+       temppath = createBufferTmpDir();
        inset.setAutoBreakRows(true);
        lyxvc.setBuffer(&parent);
-       temppath = createBufferTmpDir();
-
-       // FIXME: And now do something if temppath == string(), because we
-       // assume from now on that temppath points to a valid temp dir.
-       // See http://www.mail-archive.com/lyx-devel@lists.lyx.org/msg67406.html
-
        if (use_gui)
                wa_ = new frontend::WorkAreaManager;
 }
@@ -261,6 +248,8 @@ Buffer::Buffer(string const & file, bool readonly)
        : d(new Impl(*this, FileName(file), readonly)), gui_(0)
 {
        LYXERR(Debug::INFO, "Buffer::Buffer()");
+
+       d->inset.getText(0)->setMacrocontextPosition(par_iterator_begin());
 }
 
 
@@ -274,18 +263,20 @@ Buffer::~Buffer()
        gui_ = 0;
 
        Buffer const * master = masterBuffer();
-       if (master != this && use_gui)
+       if (master != this && use_gui) {
                // We are closing buf which was a child document so we
                // must update the labels and section numbering of its master
                // Buffer.
                updateLabels(*master);
+               master->updateMacros();
+       }
 
        resetChildDocuments(false);
 
-       if (!temppath().empty() && !FileName(temppath()).destroyDirectory()) {
+       if (!d->temppath.destroyDirectory()) {
                Alert::warning(_("Could not remove temporary directory"),
                        bformat(_("Could not remove the temporary directory %1$s"),
-                       from_utf8(temppath())));
+                       from_utf8(d->temppath.absFilename())));
        }
 
        // Remove any previewed LaTeX snippets associated with this buffer.
@@ -357,9 +348,9 @@ LyXVC const & Buffer::lyxvc() const
 }
 
 
-string const Buffer::temppath() const
+string const Buffer::temppath() const
 {
-       return d->temppath;
+       return d->temppath.absFilename();
 }
 
 
@@ -375,18 +366,24 @@ TocBackend & Buffer::tocBackend() const
 }
 
 
-EmbeddedFiles & Buffer::embeddedFiles()
+EmbeddedFileList & Buffer::embeddedFiles()
 {
        return d->embedded_files;
 }
 
 
-EmbeddedFiles const & Buffer::embeddedFiles() const
+EmbeddedFileList const & Buffer::embeddedFiles() const
 {
        return d->embedded_files;
 }
 
 
+bool Buffer::embedded() const
+{
+       return params().embedded;
+}
+
+
 Undo & Buffer::undo()
 {
        return d->undo_;
@@ -526,6 +523,8 @@ int Buffer::readHeader(Lexer & lex)
                errorList.push_back(ErrorItem(_("Document header error"),
                        s, -1, 0, 0));
        }
+       
+       params().makeTextClass();
 
        return unknown_tokens;
 }
@@ -551,14 +550,6 @@ bool Buffer::readDocument(Lexer & lex)
        BOOST_ASSERT(paragraphs().empty());
 
        readHeader(lex);
-       TextClass const & baseClass = textclasslist[params().getBaseClass()];
-       if (!baseClass.load(filePath())) {
-               string theclass = baseClass.name();
-               Alert::error(_("Can't load document class"), bformat(
-                       _("Using the default document class, because the "
-                                    "class %1$s could not be loaded."), from_utf8(theclass)));
-               params().setBaseClass(defaultTextclass());
-       }
 
        if (params().outputChanges) {
                bool dvipost    = LaTeXFeatures::isAvailable("dvipost");
@@ -586,6 +577,8 @@ bool Buffer::readDocument(Lexer & lex)
                 text().paragraphs().end(),
                 bind(&Paragraph::setInsetOwner, _1, &inset()));
 
+       updateMacros();
+       updateMacroInstances();
        return res;
 }
 
@@ -644,22 +637,22 @@ void Buffer::insertStringAsLines(ParagraphList & pars,
 }
 
 
-bool Buffer::readString(std::string const & s)
+bool Buffer::readString(string const & s)
 {
        params().compressed = false;
 
        // remove dummy empty par
        paragraphs().clear();
        Lexer lex(0, 0);
-       std::istringstream is(s);
+       istringstream is(s);
        lex.setStream(is);
-       FileName const name(tempName());
+       FileName const name = FileName::tempName();
        switch (readFile(lex, name, true)) {
        case failure:
                return false;
        case wrongversion: {
                // We need to call lyx2lyx, so write the input to a file
-               std::ofstream os(name.toFilesystemEncoding().c_str());
+               ofstream os(name.toFilesystemEncoding().c_str());
                os << s;
                os.close();
                return readFile(name);
@@ -685,6 +678,8 @@ bool Buffer::readFile(FileName const & filename)
                FileName lyxfile(addName(temppath(), "content.lyx"));
                // if both manifest.txt and file.lyx exist, this is am embedded file
                if (lyxfile.exists()) {
+                       // if in bundled format, save checksum of the compressed file, not content.lyx
+                       saveCheckSum(filename);
                        params().embedded = true;
                        fname = lyxfile;
                }
@@ -777,7 +772,7 @@ Buffer::ReadStatus Buffer::readFile(Lexer & lex, FileName const & filename,
                        // lyx2lyx would fail
                        return wrongversion;
 
-               FileName const tmpfile(tempName());
+               FileName const tmpfile = FileName::tempName();
                if (tmpfile.empty()) {
                        Alert::error(_("Conversion failed"),
                                     bformat(_("%1$s is from a different"
@@ -855,7 +850,7 @@ bool Buffer::save() const
                        backupName = FileName(addName(lyxrc.backupdir_path,
                                                      mangledName));
                }
-               if (fileName().copyTo(backupName, true)) {
+               if (fileName().copyTo(backupName)) {
                        madeBackup = true;
                } else {
                        Alert::error(_("Backup failure"),
@@ -883,7 +878,7 @@ bool Buffer::save() const
        } else {
                // Saving failed, so backup is not backup
                if (madeBackup)
-                       rename(backupName, d->filename);
+                       backupName.moveTo(d->filename);
                return false;
        }
 }
@@ -921,20 +916,19 @@ bool Buffer::writeFile(FileName const & fname) const
        }
 
        removeAutosaveFile(d->filename.absFilename());
+
+       if (params().embedded) {
+               message(str + _(" writing embedded files!."));
+               // if embedding is enabled, write file.lyx and all the embedded files
+               // to the zip file fname.
+               if (!d->embedded_files.writeFile(fname, *this)) {
+                       message(str + _(" could not write embedded files!."));
+                       return false;
+               }
+       }
        saveCheckSum(d->filename);
        message(str + _(" done."));
 
-       if (!params().embedded)
-               return true;
-
-       message(str + _(" writing embedded files!."));
-       // if embedding is enabled, write file.lyx and all the embedded files
-       // to the zip file fname.
-       if (!d->embedded_files.writeFile(fname)) {
-               message(str + _(" could not write embedded files!."));
-               return false;
-       }
-       message(str + _(" error while writing embedded files."));
        return true;
 }
 
@@ -943,7 +937,7 @@ bool Buffer::write(ostream & ofs) const
 {
 #ifdef HAVE_LOCALE
        // Use the standard "C" locale for file output.
-       ofs.imbue(std::locale::classic());
+       ofs.imbue(locale::classic());
 #endif
 
        // The top of the file should not be written by params().
@@ -1022,25 +1016,41 @@ bool Buffer::makeLaTeXFile(FileName const & fname,
                return false;
 
        //TexStream ts(ofs.rdbuf(), &texrow());
-
+       ErrorList & errorList = d->errorLists["Export"];
+       errorList.clear();
        bool failed_export = false;
        try {
                d->texrow.reset();
                writeLaTeXSource(ofs, original_path,
                      runparams, output_preamble, output_body);
        }
+       catch (EncodingException & e) {
+               odocstringstream ods;
+               ods.put(e.failed_char);
+               ostringstream oss;
+               oss << "0x" << hex << e.failed_char << dec;
+               docstring msg = bformat(_("Could not find LaTeX command for character '%1$s'"
+                                         " (code point %2$s)"),
+                                         ods.str(), from_utf8(oss.str()));
+               errorList.push_back(ErrorItem(msg, _("Some characters of your document are probably not "
+                               "representable in the chosen encoding.\n"
+                               "Changing the document encoding to utf8 could help."),
+                               e.par_id, e.pos, e.pos + 1));
+               failed_export = true;                   
+       }
        catch (iconv_codecvt_facet_exception & e) {
-               lyxerr << "Caught iconv exception: " << e.what() << endl;
+               errorList.push_back(ErrorItem(_("iconv conversion failed"),
+                       _(e.what()), -1, 0, 0));
                failed_export = true;
        }
-       catch (std::exception const & e) {
-               lyxerr << "Caught \"normal\" exception: " << e.what() << endl;
+       catch (exception const & e) {
+               errorList.push_back(ErrorItem(_("conversion failed"),
+                       _(e.what()), -1, 0, 0));
                failed_export = true;
        }
        catch (...) {
                lyxerr << "Caught some really weird exception..." << endl;
-               LyX::cref().emergencyCleanup();
-               abort();
+               LyX::cref().exit(1);
        }
 
        ofs.close();
@@ -1049,14 +1059,8 @@ bool Buffer::makeLaTeXFile(FileName const & fname,
                lyxerr << "File '" << fname << "' was not closed properly." << endl;
        }
 
-       if (failed_export) {
-               Alert::error(_("Encoding error"),
-                       _("Some characters of your document are probably not "
-                       "representable in the chosen encoding.\n"
-                       "Changing the document encoding to utf8 could help."));
-               return false;
-       }
-       return true;
+       errors("Export");
+       return !failed_export;
 }
 
 
@@ -1129,31 +1133,19 @@ void Buffer::writeLaTeXSource(odocstream & os,
        
        LYXERR(Debug::INFO, "preamble finished, now the body.");
 
-       if (!lyxrc.language_auto_begin &&
-           !params().language->babel().empty()) {
-               // FIXME UNICODE
-               os << from_utf8(subst(lyxrc.language_command_begin,
-                                          "$$lang",
-                                          params().language->babel()))
-                  << '\n';
-               d->texrow.newline();
-       }
-
-       Encoding const & encoding = params().encoding();
-       if (encoding.package() == Encoding::CJK) {
-               // Open a CJK environment, since in contrast to the encodings
-               // handled by inputenc the document encoding is not set in
-               // the preamble if it is handled by CJK.sty.
-               os << "\\begin{CJK}{" << from_ascii(encoding.latexName())
-                  << "}{}\n";
-               d->texrow.newline();
-       }
+       // fold macros if possible, still with parent buffer as the
+       // macros will be put in the prefix anyway.
+       updateMacros();
+       updateMacroInstances();
 
        // if we are doing a real file with body, even if this is the
        // child of some other buffer, let's cut the link here.
        // This happens for example if only a child document is printed.
        Buffer const * save_parent = 0;
        if (output_preamble) {
+               // output the macros visible for this buffer
+               writeParentMacros(os);
+
                save_parent = d->parent_buffer;
                d->parent_buffer = 0;
        }
@@ -1164,30 +1156,19 @@ void Buffer::writeLaTeXSource(odocstream & os,
        latexParagraphs(*this, paragraphs(), os, d->texrow, runparams);
 
        // Restore the parenthood if needed
-       if (output_preamble)
+       if (output_preamble) {
                d->parent_buffer = save_parent;
 
+               // restore macros with correct parent buffer (especially
+               // important for the redefinition flag which depends on the 
+               // parent)
+               updateMacros();
+       }
+
        // add this just in case after all the paragraphs
        os << endl;
        d->texrow.newline();
 
-       if (encoding.package() == Encoding::CJK) {
-               // Close the open CJK environment.
-               // latexParagraphs will have opened one even if the last text
-               // was not CJK.
-               os << "\\end{CJK}\n";
-               d->texrow.newline();
-       }
-
-       if (!lyxrc.language_auto_end &&
-           !params().language->babel().empty()) {
-               os << from_utf8(subst(lyxrc.language_command_end,
-                                          "$$lang",
-                                          params().language->babel()))
-                  << '\n';
-               d->texrow.newline();
-       }
-
        if (output_preamble) {
                os << "\\end{document}\n";
                d->texrow.newline();
@@ -1229,7 +1210,6 @@ void Buffer::makeDocBookFile(FileName const & fname,
 {
        LYXERR(Debug::LATEX, "makeDocBookFile...");
 
-       //ofstream ofs;
        odocfstream ofs;
        if (!openFileWrite(ofs, fname))
                return;
@@ -1328,7 +1308,7 @@ int Buffer::runChktex()
        string const name = addName(path.absFilename(), latexName());
        string const org_path = filePath();
 
-       support::PathChanger p(path); // path to LaTeX file
+       PathChanger p(path); // path to LaTeX file
        message(_("Running chktex..."));
 
        // Generate the LaTeX file if neccessary
@@ -1360,72 +1340,13 @@ int Buffer::runChktex()
 
 void Buffer::validate(LaTeXFeatures & features) const
 {
-       TextClass const & tclass = params().getTextClass();
-
-       if (params().outputChanges) {
-               bool dvipost    = LaTeXFeatures::isAvailable("dvipost");
-               bool xcolorsoul = LaTeXFeatures::isAvailable("soul") &&
-                                 LaTeXFeatures::isAvailable("xcolor");
-
-               if (features.runparams().flavor == OutputParams::LATEX) {
-                       if (dvipost) {
-                               features.require("ct-dvipost");
-                               features.require("dvipost");
-                       } else if (xcolorsoul) {
-                               features.require("ct-xcolor-soul");
-                               features.require("soul");
-                               features.require("xcolor");
-                       } else {
-                               features.require("ct-none");
-                       }
-               } else if (features.runparams().flavor == OutputParams::PDFLATEX ) {
-                       if (xcolorsoul) {
-                               features.require("ct-xcolor-soul");
-                               features.require("soul");
-                               features.require("xcolor");
-                               features.require("pdfcolmk"); // improves color handling in PDF output
-                       } else {
-                               features.require("ct-none");
-                       }
-               }
-       }
-
-       // AMS Style is at document level
-       if (params().use_amsmath == BufferParams::package_on
-           || tclass.provides("amsmath"))
-               features.require("amsmath");
-       if (params().use_esint == BufferParams::package_on)
-               features.require("esint");
+       params().validate(features);
 
        loadChildDocuments();
 
        for_each(paragraphs().begin(), paragraphs().end(),
                 boost::bind(&Paragraph::validate, _1, boost::ref(features)));
 
-       // the bullet shapes are buffer level not paragraph level
-       // so they are tested here
-       for (int i = 0; i < 4; ++i) {
-               if (params().user_defined_bullet(i) != ITEMIZE_DEFAULTS[i]) {
-                       int const font = params().user_defined_bullet(i).getFont();
-                       if (font == 0) {
-                               int const c = params()
-                                       .user_defined_bullet(i)
-                                       .getCharacter();
-                               if (c == 16
-                                  || c == 17
-                                  || c == 25
-                                  || c == 26
-                                  || c == 31) {
-                                       features.require("latexsym");
-                               }
-                       } else if (font == 1) {
-                               features.require("amssymb");
-                       } else if ((font >= 2 && font <= 5)) {
-                               features.require("pifont");
-                       }
-               }
-       }
-
        if (lyxerr.debugging(Debug::LATEX)) {
                features.showStruct();
        }
@@ -1469,7 +1390,7 @@ void Buffer::updateBibfilesCache() const
                if (it->lyxCode() == BIBTEX_CODE) {
                        InsetBibtex const & inset =
                                static_cast<InsetBibtex const &>(*it);
-                       FileNameList const bibfiles = inset.getFiles(*this);
+                       EmbeddedFileList const bibfiles = inset.getFiles(*this);
                        d->bibfilesCache_.insert(d->bibfilesCache_.end(),
                                bibfiles.begin(),
                                bibfiles.end());
@@ -1477,7 +1398,7 @@ void Buffer::updateBibfilesCache() const
                        InsetInclude & inset =
                                static_cast<InsetInclude &>(*it);
                        inset.updateBibfilesCache(*this);
-                       FileNameList const & bibfiles =
+                       EmbeddedFileList const & bibfiles =
                                        inset.getBibfilesCache(*this);
                        d->bibfilesCache_.insert(d->bibfilesCache_.end(),
                                bibfiles.begin(),
@@ -1487,7 +1408,7 @@ void Buffer::updateBibfilesCache() const
 }
 
 
-FileNameList const & Buffer::getBibfilesCache() const
+EmbeddedFileList const & Buffer::getBibfilesCache() const
 {
        // if this is a child document and the parent is already loaded
        // use the parent's cache instead
@@ -1724,7 +1645,7 @@ string Buffer::absFileName() const
 
 string Buffer::filePath() const
 {
-       return d->filename.onlyPath().absFilename();
+       return d->filename.onlyPath().absFilename() + "/";
 }
 
 
@@ -1738,6 +1659,7 @@ void Buffer::setParent(Buffer const * buffer)
 {
        // Avoids recursive include.
        d->parent_buffer = buffer == this ? 0 : buffer;
+       updateMacros();
 }
 
 
@@ -1756,110 +1678,394 @@ Buffer const * Buffer::masterBuffer() const
 }
 
 
-bool Buffer::hasMacro(docstring const & name, Paragraph const & par) const
+template<typename M>
+typename M::iterator greatest_below(M & m, typename M::key_type const & x)
 {
-       Impl::PositionToMacroMap::iterator it;
-       it = d->macros[name].upper_bound(par.macrocontextPosition());
-       if (it != d->macros[name].end())
-               return true;
+       if (m.empty())
+               return m.end();
 
-       // If there is a master buffer, query that
-       Buffer const * master = masterBuffer();
-       if (master && master != this)
-               return master->hasMacro(name);
+       typename M::iterator it = m.lower_bound(x);
+       if (it == m.begin())
+               return m.end();
 
-       return MacroTable::globalMacros().has(name);
+       it--;
+       return it;      
 }
 
 
-bool Buffer::hasMacro(docstring const & name) const
+MacroData const * Buffer::getBufferMacro(docstring const & name, 
+                                        DocIterator const & pos) const
 {
-       if( !d->macros[name].empty() )
-               return true;
+       LYXERR(Debug::MACROS, "Searching for " << to_ascii(name) << " at " << pos);
 
-       // If there is a master buffer, query that
-       Buffer const * master = masterBuffer();
-       if (master && master != this)
-               return master->hasMacro(name);
+       // if paragraphs have no macro context set, pos will be empty
+       if (pos.empty())
+               return 0;
+
+       // we haven't found anything yet
+       DocIterator bestPos = par_iterator_begin();
+       MacroData const * bestData = 0;
+       
+       // find macro definitions for name
+       Impl::NamePositionScopeMacroMap::iterator nameIt
+       = d->macros.find(name);
+       if (nameIt != d->macros.end()) {
+               // find last definition in front of pos or at pos itself
+               Impl::PositionScopeMacroMap::const_iterator it
+               = greatest_below(nameIt->second, pos);
+               if (it != nameIt->second.end()) {
+                       while (true) {
+                               // scope ends behind pos?
+                               if (pos < it->second.first) {
+                                       // Looks good, remember this. If there
+                                       // is no external macro behind this,
+                                       // we found the right one already.
+                                       bestPos = it->first;
+                                       bestData = &it->second.second;
+                                       break;
+                               }
+                               
+                               // try previous macro if there is one
+                               if (it == nameIt->second.begin())
+                                       break;
+                               it--;
+                       }
+               }
+       }
 
-       return MacroTable::globalMacros().has(name);
+       // find macros in included files
+       Impl::PositionScopeBufferMap::const_iterator it
+       = greatest_below(d->position_to_children, pos);
+       if (it != d->position_to_children.end()) {
+               while (true) {
+                       // do we know something better (i.e. later) already?
+                       if (it->first < bestPos )               
+                               break;
+
+                       // scope ends behind pos?
+                       if (pos < it->second.first) {
+                               // look for macro in external file
+                               d->macro_lock = true;
+                               MacroData const * data
+                               = it->second.second->getMacro(name, false);
+                               d->macro_lock = false;
+                               if (data) {
+                                       bestPos = it->first;
+                                       bestData = data;                               
+                                       break;
+                               }
+                       }
+                       
+                       // try previous file if there is one
+                       if (it == d->position_to_children.begin())
+                               break;
+                       --it;
+               }
+       }
+               
+       // return the best macro we have found
+       return bestData;
 }
 
 
-MacroData const & Buffer::getMacro(docstring const & name,
-       Paragraph const & par) const
+MacroData const * Buffer::getMacro(docstring const & name,
+       DocIterator const & pos, bool global) const
 {
-       Impl::PositionToMacroMap::iterator it;
-       it = d->macros[name].upper_bound(par.macrocontextPosition());
-       if( it != d->macros[name].end() )
-               return it->second;
+       if (d->macro_lock)
+               return 0;       
+
+       // query buffer macros
+       MacroData const * data = getBufferMacro(name, pos);
+       if (data != 0)
+               return data;
 
        // If there is a master buffer, query that
-       Buffer const * master = masterBuffer();
-       if (master && master != this)
-               return master->getMacro(name);
+       if (d->parent_buffer) {
+               d->macro_lock = true;
+               MacroData const * macro
+               = d->parent_buffer->getMacro(name, *this, false);
+               d->macro_lock = false;
+               if (macro)
+                       return macro;
+       }
 
-       return MacroTable::globalMacros().get(name);
+       if (global) {
+               data = MacroTable::globalMacros().get(name);
+               if (data != 0)
+                       return data;
+       }
+
+       return 0;
 }
 
 
-MacroData const & Buffer::getMacro(docstring const & name) const
+MacroData const * Buffer::getMacro(docstring const & name, bool global) const
 {
-       Impl::PositionToMacroMap::iterator it;
-       it = d->macros[name].begin();
-       if( it != d->macros[name].end() )
-               return it->second;
+       // set scope end behind the last paragraph
+       DocIterator scope = par_iterator_begin();
+       scope.pit() = scope.lastpit() + 1;
 
-       // If there is a master buffer, query that
-       Buffer const * master = masterBuffer();
-       if (master && master != this)
-               return master->getMacro(name);
+       return getMacro(name, scope, global);
+}
 
-       return MacroTable::globalMacros().get(name);
+
+MacroData const * Buffer::getMacro(docstring const & name, Buffer const & child, bool global) const
+{
+       // look where the child buffer is included first
+       Impl::BufferPositionMap::iterator it
+       = d->children_positions.find(&child);
+       if (it == d->children_positions.end())
+               return 0;
+
+       // check for macros at the inclusion position
+       return getMacro(name, it->second, global);
 }
 
 
-void Buffer::updateMacros()
+void Buffer::updateEnvironmentMacros(DocIterator & it, 
+                                    pit_type lastpit, 
+                                    DocIterator & scope) const
 {
-       // start with empty table
-       d->macros = Impl::NameToPositionMacroMap();
-
-       // Iterate over buffer
-       ParagraphList & pars = text().paragraphs();
-       for (size_t i = 0, n = pars.size(); i != n; ++i) {
-               // set position again
-               pars[i].setMacrocontextPosition(i);
-
-               //lyxerr << "searching main par " << i
-               //      << " for macro definitions" << std::endl;
-               InsetList const & insets = pars[i].insetList();
-               InsetList::const_iterator it = insets.begin();
+       Paragraph & par = it.paragraph();
+       depth_type depth 
+       = par.params().depth();
+       Length const & leftIndent
+       = par.params().leftIndent();
+
+       // look for macros in each paragraph
+       while (it.pit() <= lastpit) {
+               Paragraph & par = it.paragraph();
+
+               // increased depth?
+               if ((par.params().depth() > depth
+                    || par.params().leftIndent() != leftIndent)
+                   && par.layout()->isEnvironment()) {
+                       updateBlockMacros(it, scope);
+                       continue;
+               }
+
+               // iterate over the insets of the current paragraph
+               InsetList const & insets = par.insetList();
+               InsetList::const_iterator iit = insets.begin();
                InsetList::const_iterator end = insets.end();
-               for ( ; it != end; ++it) {
-                       if (it->inset->lyxCode() != MATHMACRO_CODE)
+               for (; iit != end; ++iit) {
+                       it.pos() = iit->pos;
+                       
+                       // is it a nested text inset?
+                       if (iit->inset->asInsetText()) {
+                               // Inset needs its own scope?
+                               InsetText const * itext 
+                               = iit->inset->asInsetText();
+                               bool newScope = itext->isMacroScope(*this);
+
+                               // scope which ends just behind die inset       
+                               DocIterator insetScope = it;
+                               insetScope.pos()++;
+
+                               // collect macros in inset
+                               it.push_back(CursorSlice(*iit->inset));
+                               updateInsetMacros(it, newScope ? insetScope : scope);
+                               it.pop_back();
+                               continue;
+                       }
+                                             
+                       // is it an external file?
+                       if (iit->inset->lyxCode() == INCLUDE_CODE) {
+                               // get buffer of external file
+                               InsetCommand const & inset 
+                               = static_cast<InsetCommand const &>(*iit->inset);
+                               InsetCommandParams const & ip = inset.params();
+                               d->macro_lock = true;
+                               Buffer * child = loadIfNeeded(*this, ip);
+                               d->macro_lock = false;
+                               if (!child)
+                                       continue;                               
+
+                               // register it, but only when it is
+                               // included first in the buffer
+                               if (d->children_positions.find(child)
+                                   == d->children_positions.end())
+                                       d->children_positions[child] = it;
+                                                                                               
+                               // register child with its scope
+                               d->position_to_children[it] = Impl::ScopeBuffer(scope, child);
+
+                               continue;
+                       }
+
+                       if (iit->inset->lyxCode() != MATHMACRO_CODE)
                                continue;
                        
                        // get macro data
-                       MathMacroTemplate const & macroTemplate
-                       = static_cast<MathMacroTemplate const &>(*it->inset);
+                       MathMacroTemplate & macroTemplate
+                       = static_cast<MathMacroTemplate &>(*iit->inset);
+                       MacroContext mc(*this, it);
+                       macroTemplate.updateToContext(mc);
 
                        // valid?
-                       if (macroTemplate.validMacro()) {
-                               MacroData macro = macroTemplate.asMacroData();
+                       bool valid = macroTemplate.validMacro();
+                       // FIXME: Should be fixNameAndCheckIfValid() in fact,
+                       // then the BufferView's cursor will be invalid in
+                       // some cases which leads to crashes.
+                       if (!valid)
+                               continue;
 
-                               // redefinition?
-                               // call hasMacro here instead of directly querying mc to
-                               // also take the master document into consideration
-                               macro.setRedefinition(hasMacro(macroTemplate.name()));
+                       // register macro
+                       d->macros[macroTemplate.name()][it] 
+                       = Impl::ScopeMacro(scope, MacroData(*this, it));
+               }
 
-                               // register macro (possibly overwrite the previous one of this paragraph)
-                               d->macros[macroTemplate.name()][i] = macro;
-                       }
+               // next paragraph
+               it.pit()++;
+               it.pos() = 0;
+       }
+}
+
+
+void Buffer::updateBlockMacros(DocIterator & it, DocIterator & scope) const
+{
+       Paragraph & par = it.paragraph();
+               
+       // set scope for macros in this paragraph:
+       // * either the "old" outer scope
+       // * or the scope ending after the environment
+       if (par.layout()->isEnvironment()) {
+               // find end of environment block,
+               DocIterator envEnd = it;
+               pit_type n = it.lastpit() + 1;
+               depth_type depth = par.params().depth();
+               Length const & length = par.params().leftIndent();
+               // looping through the paragraph, basically until
+               // the layout changes or the depth gets smaller.
+               // (the logic of output_latex.cpp's TeXEnvironment)
+               do {
+                       envEnd.pit()++;
+                       if (envEnd.pit() == n)
+                               break;
+               } while (par.layout() == envEnd.paragraph().layout()
+                        || depth < envEnd.paragraph().params().depth()
+                        || length != envEnd.paragraph().params().leftIndent());               
+               
+               // collect macros from environment block
+               updateEnvironmentMacros(it, envEnd.pit() - 1, envEnd);
+       } else {
+               // collect macros from paragraph
+               updateEnvironmentMacros(it, it.pit(), scope);
+       }
+}
+
+
+void Buffer::updateInsetMacros(DocIterator & it, DocIterator & scope) const
+{
+       // look for macros in each paragraph
+       pit_type n = it.lastpit() + 1;
+       while (it.pit() < n)
+               updateBlockMacros(it, scope);       
+}
+
+
+void Buffer::updateMacros() const
+{
+       if (d->macro_lock)
+               return;
+
+       LYXERR(Debug::MACROS, "updateMacro of " << d->filename.onlyFileName());
+
+       // start with empty table
+       d->macros.clear();
+       d->children_positions.clear();
+       d->position_to_children.clear();
+
+       // Iterate over buffer, starting with first paragraph
+       // The scope must be bigger than any lookup DocIterator
+       // later. For the global lookup, lastpit+1 is used, hence
+       // we use lastpit+2 here.
+       DocIterator it = par_iterator_begin();
+       DocIterator outerScope = it;
+       outerScope.pit() = outerScope.lastpit() + 2;
+       updateInsetMacros(it, outerScope);
+}
+
+
+void Buffer::updateMacroInstances() const
+{
+       LYXERR(Debug::MACROS, "updateMacroInstances for " << d->filename.onlyFileName());
+       ParIterator it = par_iterator_begin();
+       ParIterator end = par_iterator_end();
+       for (; it != end; it.forwardPos()) {
+               // look for MathData cells in InsetMathNest insets
+               Inset * inset = it.nextInset();
+               if (!inset)
+                       continue;
+
+               InsetMath * minset = inset->asInsetMath();
+               if (!minset)
+                       continue;
+
+               // update macro in all cells of the InsetMathNest
+               DocIterator::idx_type n = minset->nargs();
+               MacroContext mc = MacroContext(*this, it);
+               for (DocIterator::idx_type i = 0; i < n; ++i) {
+                       MathData & data = minset->cell(i);
+                       data.updateMacros(0, mc);
                }
        }
 }
 
 
+void Buffer::listMacroNames(MacroNameSet & macros) const
+{
+       if (d->macro_lock)
+               return;
+
+       d->macro_lock = true;
+       
+       // loop over macro names
+       Impl::NamePositionScopeMacroMap::iterator nameIt
+       = d->macros.begin();
+       Impl::NamePositionScopeMacroMap::iterator nameEnd
+       = d->macros.end();
+       for (; nameIt != nameEnd; ++nameIt)
+               macros.insert(nameIt->first);
+
+       // loop over children
+       Impl::BufferPositionMap::iterator it
+       = d->children_positions.begin();        
+       Impl::BufferPositionMap::iterator end
+       = d->children_positions.end();
+       for (; it != end; ++it)
+               it->first->listMacroNames(macros);
+
+       // call parent
+       if (d->parent_buffer)
+               d->parent_buffer->listMacroNames(macros);
+
+       d->macro_lock = false;  
+}
+
+
+void Buffer::writeParentMacros(odocstream & os) const
+{
+       if (!d->parent_buffer)
+               return;
+
+       // collect macro names
+       MacroNameSet names;
+       d->parent_buffer->listMacroNames(names);
+
+       // resolve and output them
+       MacroNameSet::iterator it = names.begin();
+       MacroNameSet::iterator end = names.end();
+       for (; it != end; ++it) {
+               // defined?
+               MacroData const * data = 
+               d->parent_buffer->getMacro(*it, *this, false);
+               if (data)
+                       data->write(os, true);          
+       }
+}
+
+
 void Buffer::changeRefsIfUnique(docstring const & from, docstring const & to,
        InsetCode code)
 {
@@ -1884,7 +2090,7 @@ void Buffer::changeRefsIfUnique(docstring const & from, docstring const & to,
                paramName = "reference";
        }
 
-       if (std::count(labels.begin(), labels.end(), from) > 1)
+       if (count(labels.begin(), labels.end(), from) > 1)
                return;
 
        for (InsetIterator it = inset_iterator_begin(inset()); it; ++it) {
@@ -1947,7 +2153,7 @@ void Buffer::getSourceCode(odocstream & os, pit_type par_begin,
 ErrorList & Buffer::errorList(string const & type) const
 {
        static ErrorList emptyErrorList;
-       std::map<string, ErrorList>::iterator I = d->errorLists.find(type);
+       map<string, ErrorList>::iterator I = d->errorLists.find(type);
        if (I == d->errorLists.end())
                return emptyErrorList;
 
@@ -1962,7 +2168,7 @@ void Buffer::structureChanged() const
 }
 
 
-void Buffer::errors(std::string const & err) const
+void Buffer::errors(string const & err) const
 {
        if (gui_)
                gui_->errors(err);
@@ -2013,7 +2219,7 @@ void Buffer::setGuiDelegate(frontend::GuiBufferDelegate * gui)
 
 namespace {
 
-class AutoSaveBuffer : public support::ForkedProcess {
+class AutoSaveBuffer : public ForkedProcess {
 public:
        ///
        AutoSaveBuffer(Buffer const & buffer, FileName const & fname)
@@ -2056,11 +2262,11 @@ int AutoSaveBuffer::generateChild()
                // anyway.
                bool failed = false;
 
-               FileName const tmp_ret(tempName(FileName(), "lyxauto"));
+               FileName const tmp_ret = FileName::tempName("lyxauto");
                if (!tmp_ret.empty()) {
                        buffer_.writeFile(tmp_ret);
                        // assume successful write of tmp_ret
-                       if (!rename(tmp_ret, fname_)) {
+                       if (!tmp_ret.moveTo(fname_)) {
                                failed = true;
                                // most likely couldn't move between
                                // filesystems unless write of tmp_ret
@@ -2130,6 +2336,10 @@ void Buffer::resetChildDocuments(bool close_them) const
 
        if (use_gui && masterBuffer() == this)
                updateLabels(*this);
+
+       // clear references to children in macro tables
+       d->children_positions.clear();
+       d->position_to_children.clear();
 }
 
 
@@ -2151,6 +2361,8 @@ void Buffer::loadChildDocuments() const
 
        if (use_gui && masterBuffer() == this)
                updateLabels(*this);
+
+       updateMacros();
 }
 
 
@@ -2203,6 +2415,9 @@ bool Buffer::doExport(string const & format, bool put_in_tempdir,
        filename = changeExtension(filename,
                                   formats.extension(backend_format));
 
+       // fix macros
+       updateMacroInstances();
+
        // Plain text backend
        if (backend_format == "text")
                writePlaintextFile(*this, FileName(filename), runparams);
@@ -2220,7 +2435,7 @@ bool Buffer::doExport(string const & format, bool put_in_tempdir,
                if (!makeLaTeXFile(FileName(filename), string(), runparams))
                        return false;
        } else if (!lyxrc.tex_allows_spaces
-                  && support::contains(filePath(), ' ')) {
+                  && contains(filePath(), ' ')) {
                Alert::error(_("File name error"),
                           _("The directory path to the document cannot contain spaces."));
                return false;