w32_hide_tip 7473 src/w32fns.c w32_hide_tip (delete); w32_hide_tip 7476 src/w32fns.c w32_hide_tip (true); w32_hide_tip 7479 src/w32fns.c w32_hide_tip (true); w32_hide_tip 7648 src/w32fns.c return w32_hide_tip (!tooltip_reuse_hidden_frame);