Module GBin
GtkScrolledWindow
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
GtkEventBox
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
GtkHandleBox
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
GtkFrame & GtkAspectFrame
class frame_skel : 'a Gtk.obj -> object ... end
class frame : Gtk.frame 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
GtkViewport
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
GtkAlignment
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
GtkExpander
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
- since
- GTK 2.4
@gtkdoc gtk GtkExpander