Module GBin

module GBin: sig .. end

Containers with just one child

GtkScrolledWindow

class scrolled_window : Gtk.scrolled_window Gtk.obj -> object .. end

Adds scrollbars to its child widget


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

GtkEventBox

class event_box : [> Gtk.event_box ] Gtk.obj -> object .. end

A widget used to catch events for widgets which do not have their own window


val event_box : ?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> event_box
class invisible : [> Gtk.invisible ] Gtk.obj -> object .. end

val invisible : ?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> invisible

GtkHandleBox

class handle_box_signals : [> Gtk.handle_box ] Gtk.obj -> object .. end

class handle_box : Gtk.handle_box Gtk.obj -> object .. end

A widget for detachable window portions


val handle_box : ?handle_position:Gtk.Tags.position ->
?snap_edge:Gtk.Tags.position ->
?shadow_type:Gtk.Tags.shadow_type ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> handle_box

GtkFrame & GtkAspectFrame

class frame_skel : [> Gtk.frame ] Gtk.obj -> object .. end

class frame : Gtk.frame Gtk.obj -> object .. end

A bin with a decorative frame and optional label


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
class aspect_frame : Gtk.aspect_frame Gtk.obj -> object .. end

A frame that constrains its child to a particular aspect ratio


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

GtkViewport

class viewport : Gtk.viewport Gtk.obj -> object .. end

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

GtkAlignment

A widget which controls the alignment and size of its child

class alignment : Gtk.alignment Gtk.obj -> object .. end

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
val alignment_cast : #GObj.widget -> alignment

GtkExpander

A container which can hide its child

class expander_signals : [> Gtk.expander ] Gtk.obj -> object .. end

class expander : [> Gtk.expander ] 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