Re: gtk_widget_set_sensitive and mouse pointer

["Rui Tiago Cação Matos" <tiagomatos gmail com>]

On 14/07/2008, Eric Masson @ Savant Protection
<emasson savantprotection com> wrote:
>  The problem was this:
>  You have several widgets inside of a container and you call
> gtk_widget_set_sensitive with false to gray out the container + all
> children.  If you leave your mouse positioned over a button inside that
> container, and call gtk_widget_set_sensitive with true, you will no longer
> be able to click on that button.

I think you should report a bug at bugzilla.gnome.org.

Rui