Extracted from Pike v8.0 release 182 as of 2016-03-26.
[Top]
GTK1
Symbol index
GTK1.grab_add()
GTK1.gtk_init()
Method GTK1.grab_remove()
Method
grab_remove
void
grab_remove
(
GTK1.Widget
widget
)