Now we have disentangled writeSession() and closeWorkAreaAll(), we can release child...

[features.git] / src / Buffer.cpp

diff --git a/src/Buffer.cpp b/src/Buffer.cpp
index fe9cb181094f96bae0d77301479121afc50fe028..60128969688d06eedf90a8c1a49a9ab93640c263 100644 (file)
--- a/src/Buffer.cpp
+++ b/src/Buffer.cpp
@@ -318,7 +318,7 @@ Buffer::~Buffer()
                return;
        }
 
-       /*// loop over children
+       // loop over children
        Impl::BufferPositionMap::iterator it = d->children_positions.begin();
        Impl::BufferPositionMap::iterator end = d->children_positions.end();
        for (; it != end; ++it) {
@@ -326,7 +326,7 @@ Buffer::~Buffer()
                // The child buffer might have been closed already.
                if (theBufferList().isLoaded(child))
                        theBufferList().releaseChild(this, child);
-       }*/
+       }
 
        if (!isClean()) {
                docstring msg = _("Buffer had unsaved changes when destroyed!\n");