| _gtkWidgetAddContainer |
fun [ObjGtk ObjGtk] ObjGtk |
| _gtkWidgetAlignmentGet |
fun [ObjGtk] [F F] |
| _gtkWidgetAlignmentSet |
fun [ObjGtk F F] ObjGtk |
| _gtkWidgetBackgroundColor |
fun [ObjGtk I [I I I]] ObjGtk |
| _gtkWidgetConnectSignal |
fun [ObjGtk fun [ObjGtk u0] I u0 S] ObjGtk |
| _gtkWidgetDestroy |
fun [ObjGtk] I |
| _gtkWidgetEnable |
fun [ObjGtk I] I |
| _gtkWidgetHide |
fun [ObjGtk] ObjGtk |
| _gtkWidgetPaddingGet |
fun [ObjGtk] [I I] |
| _gtkWidgetPaddingSet |
fun [ObjGtk I I] ObjGtk |
| _gtkWidgetShow |
fun [ObjGtk] ObjGtk |
| _gtkWidgetSnapshot |
fun [ObjGtk [I I I I]] ObjGtkPixmap |