pgtk_handle_property_notify 6624 src/pgtkterm.c     pgtk_handle_property_notify (&event->property);
pgtk_handle_property_notify  543 src/pgtkterm.h extern void pgtk_handle_property_notify (GdkEventProperty *);