pgtk_hide_tip    3249 src/pgtkfns.c  	  pgtk_hide_tip (delete);
pgtk_hide_tip    3252 src/pgtkfns.c  	pgtk_hide_tip (true);
pgtk_hide_tip    3255 src/pgtkfns.c      pgtk_hide_tip (true);
pgtk_hide_tip    3401 src/pgtkfns.c    return pgtk_hide_tip (!tooltip_reuse_hidden_frame);