GBin
Containers with just one child
class scrolled_window : Gtk.scrolled_window Gtk.obj -> object ... end
Adds scrollbars to its child widget @gtkdoc gtk GtkScrolledWindow
val scrolled_window :
?hadjustment:GData.adjustment ->
?vadjustment:GData.adjustment ->
?hpolicy:Gtk.Tags.policy_type ->
?vpolicy:Gtk.Tags.policy_type ->
?placement:Gtk.Tags.corner_type ->
?shadow_type:Gtk.Tags.shadow_type ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool ->
unit ->
scrolled_window
@gtkdoc gtk GtkScrolledWindow
class event_box : [> Gtk.event_box ] as 'a Gtk.obj -> object ... end
A widget used to catch events for widgets which do not have their own window @gtkdoc gtk GtkEventBox
val event_box :
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool ->
unit ->
event_box
@gtkdoc gtk GtkEventBox
class invisible : [> Gtk.invisible ] as 'a Gtk.obj -> object ... end
val invisible :
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool ->
unit ->
invisible
class handle_box_signals : 'a Gtk.obj -> object ... end
@gtkdoc gtk GtkHandleBox
class handle_box : Gtk.handle_box Gtk.obj -> object ... end
A widget for detachable window portions @gtkdoc gtk GtkHandleBox
val handle_box :
?handle_position:Gtk.Tags.position_type ->
?snap_edge:Gtk.Tags.position_type ->
?shadow_type:Gtk.Tags.shadow_type ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool ->
unit ->
handle_box
@gtkdoc gtk GtkHandleBox
class frame_skel : 'a Gtk.obj -> object ... end
A bin with a decorative frame and optional label @gtkdoc gtk GtkFrame
val frame :
?label:string ->
?label_xalign:Gtk.clampf ->
?label_yalign:Gtk.clampf ->
?shadow_type:Gtk.Tags.shadow_type ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool ->
unit ->
frame
@gtkdoc gtk GtkFrame
class aspect_frame : Gtk.aspect_frame Gtk.obj -> object ... end
A frame that constrains its child to a particular aspect ratio @gtkdoc gtk GtkAspectFrame
val aspect_frame :
?obey_child:bool ->
?ratio:float ->
?xalign:Gtk.clampf ->
?yalign:Gtk.clampf ->
?label:string ->
?label_xalign:Gtk.clampf ->
?label_yalign:Gtk.clampf ->
?shadow_type:Gtk.Tags.shadow_type ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool ->
unit ->
aspect_frame
@gtkdoc gtk GtkAspectFrame
class viewport : Gtk.viewport Gtk.obj -> object ... end
@gtkdoc gtk GtkViewport
val viewport :
?hadjustment:GData.adjustment ->
?vadjustment:GData.adjustment ->
?shadow_type:Gtk.Tags.shadow_type ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool ->
unit ->
viewport
@gtkdoc gtk GtkViewport
A widget which controls the alignment and size of its child
class alignment : Gtk.alignment Gtk.obj -> object ... end
@gtkdoc gtk GtkAlignment
val alignment :
?padding:(int * int * int * int) ->
?xalign:Gtk.clampf ->
?yalign:Gtk.clampf ->
?xscale:Gtk.clampf ->
?yscale:Gtk.clampf ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool ->
unit ->
alignment
@gtkdoc gtk GtkAlignment
val alignment_cast : GObj.widget -> alignment
A container which can hide its child
class expander_signals : [> Gtk.expander ] as 'a Gtk.obj -> object ... end
class expander : [> Gtk.expander ] as 'a Gtk.obj -> object ... end
val expander :
?expanded:bool ->
?label:string ->
?spacing:int ->
?use_underline:bool ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool ->
unit ->
expander
@gtkdoc gtk GtkExpander