Do not remove a gtk-paned's child if it is destroyed.
authorMatt Birkholz <matt@birkholz.chandler.az.us>
Wed, 19 Dec 2012 00:57:51 +0000 (17:57 -0700)
committerMatt Birkholz <matt@birkholz.chandler.az.us>
Wed, 19 Dec 2012 00:57:51 +0000 (17:57 -0700)
commit8c93bbbe892493af8d80e18f8faed61df6fcbf0d
treebea66559d208d88a734f0275748d7b5675911cd7
parentf0520471f7f18eca2e9630308c059ae6c6c4781f
Do not remove a gtk-paned's child if it is destroyed.

If it is destroyed, it has already been removed (from the list of
children).
src/gtk/gtk-widget.scm