pgtk_make_frame_visible  716 src/pgtkfns.c        pgtk_make_frame_visible (f);
pgtk_make_frame_visible 1696 src/pgtkfns.c  	    pgtk_make_frame_visible (f);
pgtk_make_frame_visible  850 src/pgtkterm.c     pgtk_make_frame_visible (f);
pgtk_make_frame_visible  611 src/pgtkterm.h extern void pgtk_make_frame_visible (struct frame *);