X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2FBufferList.cpp;h=538df77a1de2005553f3df4dda4ddbdaae8130ed;hb=bbe09eada1de6edb7eb45213eaac4b4b09495f6e;hp=8a94c4208cd4b2de0dc10a44c8b22f4ad05865e6;hpb=cde5d60fcfa48df9959eeb6c709f26ba89ebef5f;p=lyx.git diff --git a/src/BufferList.cpp b/src/BufferList.cpp index 8a94c4208c..538df77a1d 100644 --- a/src/BufferList.cpp +++ b/src/BufferList.cpp @@ -96,7 +96,7 @@ void BufferList::release(Buffer * buf) BufferStorage::iterator const it = find(bstore.begin(), bstore.end(), buf); if (it != bstore.end()) { - Buffer const * parent = buf ? buf->parent() : 0; + Buffer const * parent = buf->parent(); Buffer * tmp = (*it); bstore.erase(it); LASSERT(tmp, return); @@ -201,7 +201,7 @@ Buffer * BufferList::next(Buffer const * buf) const if (bstore.empty()) return 0; - BufferStorage::const_iterator it = + BufferStorage::const_iterator it = find(bstore.begin(), bstore.end(), buf); LASSERT(it != bstore.end(), return 0); ++it; @@ -217,7 +217,7 @@ Buffer * BufferList::previous(Buffer const * buf) const if (bstore.empty()) return 0; - BufferStorage::const_iterator it = + BufferStorage::const_iterator it = find(bstore.begin(), bstore.end(), buf); LASSERT(it != bstore.end(), return 0); @@ -241,7 +241,6 @@ void BufferList::updateIncludedTeXfiles(string const & masterTmpDir, (*it)->markDepClean(masterTmpDir); } } - runparams.is_child = false; } @@ -269,7 +268,7 @@ bool BufferList::exists(FileName const & fname) const } - bool BufferList::isLoaded(Buffer const * b) const +bool BufferList::isLoaded(Buffer const * b) const { if (!b) return false; @@ -279,12 +278,22 @@ bool BufferList::exists(FileName const & fname) const } +bool BufferList::isInternal(Buffer const * b) const +{ + if (!b) + return false; + BufferStorage::const_iterator cit = + find(binternal.begin(), binternal.end(), b); + return cit != binternal.end(); +} + + bool BufferList::isOthersChild(Buffer * parent, Buffer * child) { LASSERT(parent, return false); LASSERT(child, return false); LASSERT(parent->isChild(child), return false); - + // Does child document have a different parent? Buffer const * parent_ = child->parent(); if (parent_ && parent_ != parent)