Re: button_press_event & gdk_pointer_is_grabbed()

 > > Is this a major issue for you?

 > It is, as long as it produces a different result depending on the 
 > platform, as you suggest further down.

But as th documentation for gdk_pointer_is_grabbed() specifies that it
doesn't return TRUE even if the pointer *is* (implicitly) grabbed on
X11, isn't it wrong to write code that depends on the return value?

--tml