w32_hide_tip     7506 src/w32fns.c   	  w32_hide_tip (delete);
w32_hide_tip     7509 src/w32fns.c   	w32_hide_tip (true);
w32_hide_tip     7512 src/w32fns.c       w32_hide_tip (true);
w32_hide_tip     7681 src/w32fns.c     return w32_hide_tip (!tooltip_reuse_hidden_frame);