Memory leaks and destruction of widgets

["Ian King" <king eiffel com>]

Hi,

When a widget is destroyed, it seems that I have to explicitly remove the
tooltip set for it to reclaim the memory taken up by the tooltip (by setting
with a NULL tooltip). Shouldn't this be done when the widget is destroyed so
I don't have to explicitly call this myself?

Are there any other `hidden' procedures that I have to go through to ensure
that all the memory taken up by the life of a widget is reclaimed, with
removing tooltips being one example?

Thanks for your time

Ian King