pgtk_frame_rehighlight  254 src/pgtkfns.c    pgtk_frame_rehighlight (FRAME_DISPLAY_INFO (f));
pgtk_frame_rehighlight 4701 src/pgtkterm.c   pgtk_frame_rehighlight (FRAME_DISPLAY_INFO (frame));
pgtk_frame_rehighlight 4752 src/pgtkterm.c   pgtk_frame_rehighlight (dpyinfo);
pgtk_frame_rehighlight  622 src/pgtkterm.h extern void pgtk_frame_rehighlight (struct pgtk_display_info *);