gtkmain: Remove comment mentioning GDK_PROPERTY_NOTIFY

... which doesn't exist anymore.
This commit is contained in:
Timm Bäder 2019-01-29 05:29:57 +01:00
parent 245cebec1d
commit 0a5362a7d9

View File

@ -1728,9 +1728,7 @@ gtk_main_do_event (GdkEvent *event)
/* Find the widget which got the event. We store the widget
* in the user_data field of GdkSurface's. Ignore the event
* if we don't have a widget for it, except for GDK_PROPERTY_NOTIFY
* events which are handled specially. Though this happens rarely,
* bogus events can occur for e.g. destroyed GdkSurfaces.
* if we don't have a widget for it.
*/
event_widget = gtk_get_event_widget (event);
if (!event_widget)