pgtk_hide_tip    3256 src/pgtkfns.c  	  pgtk_hide_tip (delete);
pgtk_hide_tip    3259 src/pgtkfns.c  	pgtk_hide_tip (true);
pgtk_hide_tip    3262 src/pgtkfns.c      pgtk_hide_tip (true);
pgtk_hide_tip    3408 src/pgtkfns.c    return pgtk_hide_tip (!tooltip_reuse_hidden_frame);