haiku_hide_tip   2550 src/haikufns.c 	  haiku_hide_tip (delete);
haiku_hide_tip   2553 src/haikufns.c 	haiku_hide_tip (true);
haiku_hide_tip   2556 src/haikufns.c     haiku_hide_tip (true);
haiku_hide_tip   2711 src/haikufns.c   return haiku_hide_tip (!tooltip_reuse_hidden_frame);