Robin Gareus f9d80c32d6 Allow to destroy Widgets when removing them from a container ...

This is useful when the container uses manage()d Widgets,
which are otherwise not destroyed.

2022-04-14 16:35:02 +02:00

34 KiB

Raw Blame History

View Raw