Previous  Up  Next

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_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

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