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