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