Problems deleting widget while mouse button pressed.

[Michael Babcock <mbabcock la creatureshop henson com>]

I'm having some problems where my entire gtk program stops responding if
I delete a window while I have the mouse pressing a button inside the
window. I'm guessing that it has something to do with mouse grabbing.
Should gtk widgets not release their mouse grab when they're deleted? I
notice this problem in a couple of scenarios: closing a window while
pressing a button or dragging a slider in the window, and removing a
slider from a list widget while I'm dragging it.

The reason I need to make this work is I'm using a client/server system
where there are many GUI clients that can view and manipulate a common
set of objects managed by a server. One person could be dragging a
slider in an object detail window when another person deletes that same
object. The behavior I need for this application is that the object
detail window representing the object simply disappear when the object
is deleted. This is what happens currently, but if a user was dragging
the mouse in that detail window, after the window closes the program
completely stops responding to all mouse and keyboard events.

I'm closing the window when I receive the object delete notification by
adding it to a list of windows to delete and enabling an idle event that
deletes all windows on the list (to avoid the "delete this" problem).

Is this a bug in gtk or gtk--? Any ideas about how to make this robust?
Thanks.

--
Michael Babcock
Jim Henson's Creature Shop - Los Angeles
mbabcock@la.creatureshop.henson.com