This patch fixed this bug: <a href="https://bugs.freedesktop.org/show_bug.cgi?id=50632">https://bugs.freedesktop.org/show_bug.cgi?id=50632</a><br><br>The Object Catalog was not updated, because at the point when<br>onDocumentClosed() event was generated in BasicTreeListBox, the to-be-closed<br>
document is still alive, so UpdateEntries() doesn't remove the entry. I removed<br>this entry manually in onDocumentClosed().<br><br>Uray M. János<br><br>