w32_frame_unhighlight  189 src/w32term.c  static void w32_frame_unhighlight (struct frame *);
w32_frame_unhighlight 3201 src/w32term.c  	w32_frame_unhighlight (old_highlight);