Extracted from Pike v7.8 release 866 at 2016-11-06.
pike.ida.liu.se
[Top]
GTK
GTK.TipsQuery

Method GTK.TipsQuery()->stop_query()


Method stop_query

GTK.TipsQuery stop_query()