Extracted from Pike v8.0 release 28 as of 2015-09-20.
[Top]
GTK1
Symbol index
GTK1.grab_add()
GTK1.gtk_init()
Method GTK1.grab_remove()
Method
grab_remove
void
grab_remove
(
GTK1.Widget
widget
)