Hi,
You're better off proposing this patch in a bug report on
https://bugzilla.gnome.org
I finally circumvented the usage of hide_on_activate through widget's button_release_event.

This solves my issue at least. However, hide_on_activate property seems pretty confusing and limited to me (not to say: useless).

Thanks anyway,

Tomasz
_______________________________________________
gtk-app-devel-list mailing list
gtk-app-devel-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gtk-app-devel-list

Reply via email to