diff --git a/src/Buffer.cpp b/src/Buffer.cpp index 7cb5ac205d..cfdb9d93c1 100644 --- a/src/Buffer.cpp +++ b/src/Buffer.cpp @@ -3547,9 +3547,6 @@ void Buffer::collectChildren(ListOfBuffers & children, bool grand_children) cons // loop over children for (auto const & p : d->children_positions) { Buffer * child = const_cast(p.first); - // This can happen when called during GUI operations - if (!theBufferList().isLoaded(child)) - continue; // No duplicates ListOfBuffers::const_iterator bit = find(children.begin(), children.end(), child); if (bit != children.end())