Extracted from Pike v7.6 release 33 at 2006-10-17.
pike.ida.liu.se
[Top]
GTK

Method GTK.main_quit()


Method main_quit

void GTK.main_quit()

Description

Exit from the gtk_main function on the next iteration.