window: destroy frame in window_destroy()
authorPekka Paalanen <ppaalanen@gmail.com>
Thu, 19 Jan 2012 11:33:50 +0000 (13:33 +0200)
committerPekka Paalanen <ppaalanen@gmail.com>
Thu, 19 Jan 2012 14:41:48 +0000 (16:41 +0200)
commit4dde2fc6f6d788f681645a3711a513085e07dc7c
tree3d8fef3e31514dd3a53036fbef9d5494c1f602d5
parent90b53815ba4d6711878430c4df360f62b8eac080
window: destroy frame in window_destroy()

Fix a memory leak reported by Valgrind, by destroying the window
decorations widget, if it exists.

All widget pointers returned from toytoolkit to the application should
be destroyed by the application explicitly.

Signed-off-by: Pekka Paalanen <ppaalanen@gmail.com>
clients/window.c