x_hide_tip       9157 src/xfns.c     	  x_hide_tip (delete);
x_hide_tip       9160 src/xfns.c     	x_hide_tip (true);
x_hide_tip       9163 src/xfns.c         x_hide_tip (true);
x_hide_tip       9322 src/xfns.c       return x_hide_tip (!tooltip_reuse_hidden_frame);