-
Arturo Espinosa authored
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
1f07d39e
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