[PUSHED] [PATCH] fdo#50632 IDE: update Object Catalog when closing a document

[Noel Power]

On 25/07/12 17:04, János Uray wrote:
> This patch fixed this bug: 
> https://bugs.freedesktop.org/show_bug.cgi?id=50632
>
> The Object Catalog was not updated, because at the point when
> onDocumentClosed() event was generated in BasicTreeListBox, the 
> to-be-closed
> document is still alive, so UpdateEntries() doesn't remove the entry. 
> I removed
> this entry manually in onDocumentClosed().
pushed, thanks for another nice fix !

Noel