Source position: gtktipsquery.pp line 53
procedure gtk_tips_query_stop_query(
tips_query: PGtkTipsQuery
);