pgtk_frame_rehighlight  254 src/pgtkfns.c    pgtk_frame_rehighlight (FRAME_DISPLAY_INFO (f));
pgtk_frame_rehighlight 4702 src/pgtkterm.c   pgtk_frame_rehighlight (FRAME_DISPLAY_INFO (frame));
pgtk_frame_rehighlight 4753 src/pgtkterm.c   pgtk_frame_rehighlight (dpyinfo);
pgtk_frame_rehighlight  620 src/pgtkterm.h extern void pgtk_frame_rehighlight (struct pgtk_display_info *);