Code cleanup in GuiCompleter

[features.git] / src / Buffer.cpp

diff --git a/src/Buffer.cpp b/src/Buffer.cpp
index 7cb5ac205d332b4130d6848a21f3e596d22bb87a..cfdb9d93c19d03839468c7dfac57d7aa4bd9ae3d 100644 (file)
--- 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<Buffer *>(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())