Whitespace cosmetics

(cherry picked from commit 745b43784c)
This commit is contained in:
Juergen Spitzmueller 2017-09-27 18:05:58 +02:00
parent f64efe2f63
commit a0bd27d8b1
2 changed files with 5 additions and 5 deletions

View File

@ -538,10 +538,10 @@ Buffer::~Buffer()
for (; it != end; ++it) {
Buffer * child = const_cast<Buffer *>(it->first);
if (theBufferList().isLoaded(child)) {
if (theBufferList().isOthersChild(this, child))
child->setParent(0);
else
theBufferList().release(child);
if (theBufferList().isOthersChild(this, child))
child->setParent(0);
else
theBufferList().release(child);
}
}

View File

@ -436,7 +436,7 @@ Buffer * InsetInclude::loadIfNeeded() const
// Use cached Buffer if possible.
if (child_buffer_ != 0) {
if (theBufferList().isLoaded(child_buffer_)
// additional sanity check: make sure the Buffer really is
// additional sanity check: make sure the Buffer really is
// associated with the file we want.
&& child_buffer_ == theBufferList().getBuffer(included_file))
return child_buffer_;