haiku_hide_tip   2496 src/haikufns.c 	  haiku_hide_tip (delete);
haiku_hide_tip   2499 src/haikufns.c 	haiku_hide_tip (true);
haiku_hide_tip   2502 src/haikufns.c     haiku_hide_tip (true);
haiku_hide_tip   2657 src/haikufns.c   return haiku_hide_tip (!tooltip_reuse_hidden_frame);