fault; I wrote them hurriedly before going on vacation, and I never did any testing. Sorry :-) Apart from the fix in Gdk, I added the corresponding "visibility_notify_event" to GtkWidget. - Federico