e156fb681e
Input devices may hold a pointer to the widget being destroyed. Reset such pointers in widget_destroy(). This fixes a use-after-free in window_destroy(), if an application destroys its widgets before the window. Signed-off-by: Pekka Paalanen <ppaalanen@gmail.com>