app_exit in toolbox_destroy

[Krzysztof Foltman <kfoltman onet pl>]

What's the purpose of calling app_exit in toolbox_destroy ?

If toolbox_delete (delete event) can be compared to win32 WM_CLOSE, and 
toolbox_destroy (destroy event) to WM_DESTROY, then app_exit will be 
called twice without a good reason.

Can it be just removed ? Is there any situation where destroy is called 
and app_exit is not (neither from toolbox_delete nor from explicit 
window delete) ?

Krzysztof the Nitpicker ;-)