pgtk_wait_for_map_event  828 src/pgtkterm.c       pgtk_wait_for_map_event (f, false);
pgtk_wait_for_map_event  840 src/pgtkterm.c   pgtk_wait_for_map_event (f, true);