x_hide_tip       8876 src/xfns.c     	  x_hide_tip (delete);
x_hide_tip       8879 src/xfns.c     	x_hide_tip (true);
x_hide_tip       8882 src/xfns.c         x_hide_tip (true);
x_hide_tip       9041 src/xfns.c       return x_hide_tip (!tooltip_reuse_hidden_frame);