Extracted from Pike v8.0 release 276 as of 2016-07-29.
   

Method GTK1.TipsQuery()->stop_query()


Method stop_query

GTK1.TipsQuery stop_query()