Go to the first, previous, next, last section, table of contents.


The GtkObj module

 :
  Gtk.Unsafe.gtkobject ->
  object

    val gtkobject : Gtk.Unsafe.gtkobject
    method destroy : unit
    method disconnect_slot : int -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
  end
and widget :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method realize : unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and container :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add : widget -> unit
    method block_resize : unit
    method border_width : int -> unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method focus : Gtk.direction_type -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method need_resize : unit
    method realize : unit
    method remove : widget -> unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unblock_resize : unit
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and bin :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add : widget -> unit
    method block_resize : unit
    method border_width : int -> unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method focus : Gtk.direction_type -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method need_resize : unit
    method realize : unit
    method remove : widget -> unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unblock_resize : unit
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and alignment :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add : widget -> unit
    method block_resize : unit
    method border_width : int -> unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method focus : Gtk.direction_type -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method need_resize : unit
    method realize : unit
    method remove : widget -> unit
    method reparent : widget -> unit
    method set : float -> float -> float -> float -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unblock_resize : unit
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and misc :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method realize : unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and pixmap :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method realize : unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and arrow :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method realize : unit
    method reparent : widget -> unit
    method set : Gtk.arrow_type -> Gtk.shadow_type -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and frame :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add : widget -> unit
    method block_resize : unit
    method border_width : int -> unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method focus : Gtk.direction_type -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method need_resize : unit
    method realize : unit
    method remove : widget -> unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_label : string -> unit
    method set_label_align : float -> float -> unit
    method set_sensitive : bool -> unit
    method set_shadow_type : Gtk.shadow_type -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unblock_resize : unit
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and aspect_frame :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add : widget -> unit
    method block_resize : unit
    method border_width : int -> unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method focus : Gtk.direction_type -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method need_resize : unit
    method realize : unit
    method remove : widget -> unit
    method reparent : widget -> unit
    method set : float -> float -> float -> bool -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_label : string -> unit
    method set_label_align : float -> float -> unit
    method set_sensitive : bool -> unit
    method set_shadow_type : Gtk.shadow_type -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unblock_resize : unit
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and box :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add : widget -> unit
    method block_resize : unit
    method border_width : int -> unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method focus : Gtk.direction_type -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method need_resize : unit
    method pack_end : widget -> bool -> bool -> int -> unit
    method pack_end_defaults : widget -> unit
    method pack_start : widget -> bool -> bool -> int -> unit
    method pack_start_defaults : widget -> unit
    method query_child_packing : widget -> bool * bool * int * Gtk.pack_type
    method realize : unit
    method remove : widget -> unit
    method reorder_child : widget -> int -> unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_homogeneous : bool -> unit
    method set_sensitive : bool -> unit
    method set_spacing : int -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unblock_resize : unit
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and button_box :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add : widget -> unit
    method block_resize : unit
    method border_width : int -> unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method focus : Gtk.direction_type -> unit
    method get_child_ipadding : int * int
    method get_child_size : int * int
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method get_layout : Gtk.button_box_layout_style
    method get_spacing : int
    method hide : unit
    method need_resize : unit
    method pack_end : widget -> bool -> bool -> int -> unit
    method pack_end_defaults : widget -> unit
    method pack_start : widget -> bool -> bool -> int -> unit
    method pack_start_defaults : widget -> unit
    method query_child_packing : widget -> bool * bool * int * Gtk.pack_type
    method realize : unit
    method remove : widget -> unit
    method reorder_child : widget -> int -> unit
    method reparent : widget -> unit
    method set_child_ipadding : int -> int -> unit
    method set_child_size : int -> int -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_homogeneous : bool -> unit
    method set_layout : Gtk.button_box_layout_style -> unit
    method set_sensitive : bool -> unit
    method set_spacing : int -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unblock_resize : unit
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and button :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add : widget -> unit
    method block_resize : unit
    method border_width : int -> unit
    method clicked : unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_clicked : (unit -> unit) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_enter : (unit -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_leave : (unit -> unit) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method connect_pressed : (unit -> unit) -> int
    method connect_released : (unit -> unit) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method enter : unit
    method focus : Gtk.direction_type -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method leave : unit
    method need_resize : unit
    method pressed : unit
    method realize : unit
    method released : unit
    method remove : widget -> unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unblock_resize : unit
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and toggle_button :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add : widget -> unit
    method block_resize : unit
    method border_width : int -> unit
    method clicked : unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_clicked : (unit -> unit) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_enter : (unit -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_leave : (unit -> unit) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method connect_pressed : (unit -> unit) -> int
    method connect_released : (unit -> unit) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method enter : unit
    method focus : Gtk.direction_type -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method leave : unit
    method need_resize : unit
    method pressed : unit
    method realize : unit
    method released : unit
    method remove : widget -> unit
    method reparent : widget -> unit
    method set_active : bool -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_mode : bool -> unit
    method set_sensitive : bool -> unit
    method set_state : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method toggle_button_toggled : unit
    method unblock_resize : unit
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and check_button :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add : widget -> unit
    method block_resize : unit
    method border_width : int -> unit
    method clicked : unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_clicked : (unit -> unit) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_enter : (unit -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_leave : (unit -> unit) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method connect_pressed : (unit -> unit) -> int
    method connect_released : (unit -> unit) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method enter : unit
    method focus : Gtk.direction_type -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method leave : unit
    method need_resize : unit
    method pressed : unit
    method realize : unit
    method released : unit
    method remove : widget -> unit
    method reparent : widget -> unit
    method set_active : bool -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_mode : bool -> unit
    method set_sensitive : bool -> unit
    method set_state : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method toggle_button_toggled : unit
    method unblock_resize : unit
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and item :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add : widget -> unit
    method block_resize : unit
    method border_width : int -> unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method focus : Gtk.direction_type -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method need_resize : unit
    method realize : unit
    method remove : widget -> unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unblock_resize : unit
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and menu_shell :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add : widget -> unit
    method append : menu_item -> unit
    method block_resize : unit
    method border_width : int -> unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method focus : Gtk.direction_type -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method insert : menu_item -> int -> unit
    method need_resize : unit
    method prepend : menu_item -> unit
    method realize : unit
    method remove : widget -> unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unblock_resize : unit
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and menu :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add : widget -> unit
    method append : menu_item -> unit
    method block_resize : unit
    method border_width : int -> unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method focus : Gtk.direction_type -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method insert : menu_item -> int -> unit
    method need_resize : unit
    method popdown : unit -> unit
    method prepend : menu_item -> unit
    method realize : unit
    method remove : widget -> unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unblock_resize : unit
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and menu_item :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add : widget -> unit
    method block_resize : unit
    method border_width : int -> unit
    method connect_activate : (unit -> unit) -> int
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method deselect : unit -> unit
    method destroy : unit
    method disconnect_slot : int -> unit
    method focus : Gtk.direction_type -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method need_resize : unit
    method realize : unit
    method remove : widget -> unit
    method reparent : widget -> unit
    method select : unit -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_submenu : menu -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unblock_resize : unit
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and check_menu_item :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add : widget -> unit
    method block_resize : unit
    method border_width : int -> unit
    method connect_activate : (unit -> unit) -> int
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method connect_toggled : (unit -> unit) -> int
    method deselect : unit -> unit
    method destroy : unit
    method disconnect_slot : int -> unit
    method focus : Gtk.direction_type -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method need_resize : unit
    method realize : unit
    method remove : widget -> unit
    method reparent : widget -> unit
    method select : unit -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_state : bool -> unit
    method set_submenu : menu -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method toggled : unit
    method unblock_resize : unit
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and ['a] clist :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add : widget -> unit
    method append_row : string array -> int
    method block_resize : unit
    method border_width : int -> unit
    method clear : unit
    method column_titles_hide : unit
    method column_titles_show : unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_click_column : (int -> unit) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method connect_select_row : (int -> int -> unit) -> int
    method connect_unselect_row : (int -> int -> unit) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method focus : Gtk.direction_type -> unit
    method freeze : unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method get_row_data : int -> 'a
    method get_text : int -> int -> string
    method hide : unit
    method insert_row : int -> string array -> unit
    method need_resize : unit
    method prepend_row : string array -> int
    method realize : unit
    method remove : widget -> unit
    method remove_row : int -> unit
    method reparent : widget -> unit
    method select_row : int -> int -> unit
    method set_border : Gtk.shadow_type -> unit
    method set_column_justification : int -> Gtk.justification -> unit
    method set_column_title : int -> string -> unit
    method set_column_widget : int -> widget -> unit
    method set_column_width : int -> int -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_row_data : int -> 'a -> unit
    method set_row_height : int -> unit
    method set_row_moveto : int -> int -> float -> float -> unit
    method set_selection_mode : Gtk.selection_type -> unit
    method set_sensitive : bool -> unit
    method set_shift : int -> int -> int -> int -> unit
    method set_text : int -> int -> string -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method thaw : unit
    method unblock_resize : unit
    method unparent : unit
    method unrealize : unit
    method unselect_row : int -> int -> unit
    method window_of : Gdk.window
  end
and vbox :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add : widget -> unit
    method block_resize : unit
    method border_width : int -> unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method focus : Gtk.direction_type -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method need_resize : unit
    method pack_end : widget -> bool -> bool -> int -> unit
    method pack_end_defaults : widget -> unit
    method pack_start : widget -> bool -> bool -> int -> unit
    method pack_start_defaults : widget -> unit
    method query_child_packing : widget -> bool * bool * int * Gtk.pack_type
    method realize : unit
    method remove : widget -> unit
    method reorder_child : widget -> int -> unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_homogeneous : bool -> unit
    method set_sensitive : bool -> unit
    method set_spacing : int -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unblock_resize : unit
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and color_selection :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add : widget -> unit
    method block_resize : unit
    method border_width : int -> unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_color_changed : (unit -> unit) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method focus : Gtk.direction_type -> unit
    method get_color : float * float * float * float
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method need_resize : unit
    method pack_end : widget -> bool -> bool -> int -> unit
    method pack_end_defaults : widget -> unit
    method pack_start : widget -> bool -> bool -> int -> unit
    method pack_start_defaults : widget -> unit
    method query_child_packing : widget -> bool * bool * int * Gtk.pack_type
    method realize : unit
    method remove : widget -> unit
    method reorder_child : widget -> int -> unit
    method reparent : widget -> unit
    method set_color : float * float * float * float -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_homogeneous : bool -> unit
    method set_opacity : bool -> unit
    method set_sensitive : bool -> unit
    method set_spacing : int -> unit
    method set_tip : string -> string -> unit
    method set_update_policy : Gtk.update_policy -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unblock_resize : unit
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and drawing_area :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method realize : unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method size : int -> int -> unit
    method style_of : Gtk.style
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and scrolled_window :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add : widget -> unit
    method block_resize : unit
    method border_width : int -> unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method focus : Gtk.direction_type -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method need_resize : unit
    method realize : unit
    method remove : widget -> unit
    method reparent : widget -> unit
    method scrolled_window_add_with_viewport : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unblock_resize : unit
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and paned :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add1 : widget -> unit
    method add2 : widget -> unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method gutter_size : int -> unit
    method handle_size : int -> unit
    method hide : unit
    method realize : unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and vpaned :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add1 : widget -> unit
    method add2 : widget -> unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method gutter_size : int -> unit
    method handle_size : int -> unit
    method hide : unit
    method realize : unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and hpaned :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add1 : widget -> unit
    method add2 : widget -> unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method gutter_size : int -> unit
    method handle_size : int -> unit
    method hide : unit
    method realize : unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and list_item :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add : widget -> unit
    method block_resize : unit
    method border_width : int -> unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method focus : Gtk.direction_type -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method need_resize : unit
    method realize : unit
    method remove : widget -> unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unblock_resize : unit
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and window :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add : widget -> unit
    method block_resize : unit
    method border_width : int -> unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_delete_event : (unit -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method connect_move_resize : (int -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method focus : Gtk.direction_type -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method need_resize : unit
    method realize : unit
    method remove : widget -> unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_title : string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unblock_resize : unit
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and dialog :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add : widget -> unit
    method block_resize : unit
    method border_width : int -> unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_delete_event : (unit -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method connect_move_resize : (int -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method focus : Gtk.direction_type -> unit
    method get_action_area : box
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method get_vbox : box
    method hide : unit
    method need_resize : unit
    method realize : unit
    method remove : widget -> unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_title : string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unblock_resize : unit
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and hbox :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add : widget -> unit
    method block_resize : unit
    method border_width : int -> unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method focus : Gtk.direction_type -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method need_resize : unit
    method pack_end : widget -> bool -> bool -> int -> unit
    method pack_end_defaults : widget -> unit
    method pack_start : widget -> bool -> bool -> int -> unit
    method pack_start_defaults : widget -> unit
    method query_child_packing : widget -> bool * bool * int * Gtk.pack_type
    method realize : unit
    method remove : widget -> unit
    method reorder_child : widget -> int -> unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_homogeneous : bool -> unit
    method set_sensitive : bool -> unit
    method set_spacing : int -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unblock_resize : unit
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and radio_button :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add : widget -> unit
    method block_resize : unit
    method border_width : int -> unit
    method clicked : unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_clicked : (unit -> unit) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_enter : (unit -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_leave : (unit -> unit) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method connect_pressed : (unit -> unit) -> int
    method connect_released : (unit -> unit) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method enter : unit
    method focus : Gtk.direction_type -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method leave : unit
    method need_resize : unit
    method pressed : unit
    method realize : unit
    method released : unit
    method remove : widget -> unit
    method reparent : widget -> unit
    method set_active : bool -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_mode : bool -> unit
    method set_sensitive : bool -> unit
    method set_state : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method toggle_button_toggled : unit
    method unblock_resize : unit
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and list_box :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add : widget -> unit
    method append_items : list_item list -> unit
    method block_resize : unit
    method border_width : int -> unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method focus : Gtk.direction_type -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method insert_items : list_item list -> int -> unit
    method need_resize : unit
    method realize : unit
    method remove : widget -> unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unblock_resize : unit
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and radio_menu_item :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add : widget -> unit
    method block_resize : unit
    method border_width : int -> unit
    method connect_activate : (unit -> unit) -> int
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method connect_toggled : (unit -> unit) -> int
    method deselect : unit -> unit
    method destroy : unit
    method disconnect_slot : int -> unit
    method focus : Gtk.direction_type -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method need_resize : unit
    method realize : unit
    method remove : widget -> unit
    method reparent : widget -> unit
    method select : unit -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_state : bool -> unit
    method set_submenu : menu -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method toggled : unit
    method unblock_resize : unit
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and menu_bar :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add : widget -> unit
    method append : menu_item -> unit
    method block_resize : unit
    method border_width : int -> unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method focus : Gtk.direction_type -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method insert : menu_item -> int -> unit
    method need_resize : unit
    method prepend : menu_item -> unit
    method realize : unit
    method remove : widget -> unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unblock_resize : unit
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and label :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method get : unit -> string
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method realize : unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_text : string -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
val label_new : string -> label

class progress_bar :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method realize : unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unparent : unit
    method unrealize : unit
    method update : float -> unit
    method window_of : Gdk.window
  end
and separator :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method realize : unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and hseparator :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method realize : unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and vseparator :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method realize : unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and scrollbar :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method realize : unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and hscrollbar :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method realize : unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and vscrollbar :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method realize : unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and editable :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method get_chars : int -> int -> string
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method get_position : int
    method get_text : string
    method hide : unit
    method insert_text : string -> int -> int -> unit
    method insert_text_return_position : string -> int -> int -> int
    method realize : unit
    method reparent : widget -> unit
    method select_region : int -> int -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and text :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method backward_delete : int -> int
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method forward_delete : int -> int
    method freeze : unit -> unit
    method get_chars : int -> int -> string
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method get_length : unit -> int
    method get_point : unit -> int
    method get_position : int
    method get_text : string
    method hide : unit
    method insert : Gdk.font option -> string -> unit
    method insert_substring : Gdk.font option -> string -> int -> int -> unit
    method insert_text : string -> int -> int -> unit
    method insert_text_return_position : string -> int -> int -> int
    method realize : unit
    method reparent : widget -> unit
    method select_region : int -> int -> unit
    method set_editable : bool -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_point : int -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method thaw : unit -> unit
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and entry :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method connect_activate : (entry -> unit) -> int
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method get_chars : int -> int -> string
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method get_position : int
    method get_text : string
    method hide : unit
    method insert_text : string -> int -> int -> unit
    method insert_text_return_position : string -> int -> int -> int
    method realize : unit
    method reparent : widget -> unit
    method select_region : int -> int -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_position : int -> unit
    method set_sensitive : bool -> unit
    method set_text : string -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and combo :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add : widget -> unit
    method block_resize : unit
    method border_width : int -> unit
    method combo_disable_activate : unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method focus : Gtk.direction_type -> unit
    method get_button : entry
    method get_entry : entry
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method need_resize : unit
    method pack_end : widget -> bool -> bool -> int -> unit
    method pack_end_defaults : widget -> unit
    method pack_start : widget -> bool -> bool -> int -> unit
    method pack_start_defaults : widget -> unit
    method query_child_packing : widget -> bool * bool * int * Gtk.pack_type
    method realize : unit
    method remove : widget -> unit
    method reorder_child : widget -> int -> unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_homogeneous : bool -> unit
    method set_sensitive : bool -> unit
    method set_spacing : int -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unblock_resize : unit
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and statusbar :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add : widget -> unit
    method block_resize : unit
    method border_width : int -> unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method focus : Gtk.direction_type -> unit
    method get_context_id : string -> int
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method need_resize : unit
    method pack_end : widget -> bool -> bool -> int -> unit
    method pack_end_defaults : widget -> unit
    method pack_start : widget -> bool -> bool -> int -> unit
    method pack_start_defaults : widget -> unit
    method pop : int -> unit
    method push : int -> string -> int
    method query_child_packing : widget -> bool * bool * int * Gtk.pack_type
    method realize : unit
    method remove : widget -> unit
    method remove_mesg : int -> int -> unit
    method reorder_child : widget -> int -> unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_homogeneous : bool -> unit
    method set_sensitive : bool -> unit
    method set_spacing : int -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unblock_resize : unit
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and table :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method attach :
      widget ->
      int ->
      int ->
      int ->
      int ->
      Gtk.Unsafe.option_mask list ->
      Gtk.Unsafe.option_mask list -> int -> int -> unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method realize : unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and file_selection :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method add : widget -> unit
    method block_resize : unit
    method border_width : int -> unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_delete_event : (unit -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method connect_move_resize : (int -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method focus : Gtk.direction_type -> unit
    method get_cancel_button : button
    method get_filename : string
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method get_ok_button : button
    method hide : unit
    method need_resize : unit
    method realize : unit
    method remove : widget -> unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_filename : string -> unit
    method set_sensitive : bool -> unit
    method set_tip : string -> string -> unit
    method set_title : string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unblock_resize : unit
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
and notebook :
  Gtk.Unsafe.gtkobject ->
  object
    val gtkobject : Gtk.Unsafe.gtkobject
    method append_page : widget -> widget -> unit
    method connect_button_press :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_configure :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int
    method connect_expose :
      (gtkobject -> int -> int -> int -> int -> bool) -> int
    method connect_key_press : (gtkobject -> int -> int -> bool) -> int
    method connect_motion_notify :
      (gtkobject -> int -> int -> bool -> int -> bool) -> int
    method destroy : unit
    method disconnect_slot : int -> unit
    method get_gtkobject : Gtk.Unsafe.gtkobject
    method hide : unit
    method insert_page : widget -> widget -> int -> unit
    method next_page : unit
    method prepend_page : widget -> widget -> unit
    method prev_page : unit
    method realize : unit
    method remove_page : int -> unit
    method reparent : widget -> unit
    method set_events : Gdk.Event.mask list -> unit
    method set_page : int -> unit
    method set_sensitive : bool -> unit
    method set_show_border : bool -> unit
    method set_show_tabs : bool -> unit
    method set_tab_pos : Gtk.position_type -> unit
    method set_tip : string -> string -> unit
    method set_usize : int -> int -> unit
    method show : unit
    method style_of : Gtk.style
    method unparent : unit
    method unrealize : unit
    method window_of : Gdk.window
  end
val map_fold : ('a -> 'b -> 'a * 'c) -> 'a -> 'b list -> 'c list
val button_new : unit -> button
val button_new_with_label : string -> button
val check_button_new_with_label : string -> check_button
val check_button_new : unit -> check_button
val check_menu_item_new_with_label : string -> check_menu_item
val check_menu_item_new : unit -> check_menu_item
val clist_new : int -> 'a clist
val color_selection_new : unit -> color_selection
val combo_new : unit -> combo
val dialog_new : unit -> dialog
val drawing_area_new : unit -> drawing_area
val entry_new : unit -> entry
val entry_new_with_max_length : int -> entry
val file_selection_new : string -> file_selection
val frame_new : string -> frame
val hbox_new : bool -> int -> hbox
val hbutton_box_new : unit -> button_box
val hpaned_new : unit -> vpaned
val hseparator_new : unit -> hseparator
val list_item_new_with_label : string -> list_item
val list_new : unit -> list_box
val menu_bar_new : unit -> menu_bar
val menu_item_new_with_label : string -> menu_item
val menu_item_new : unit -> menu_item
val menu_new : unit -> menu
val notebook_new : unit -> notebook
val pixmap_new : Gdk.pixmap -> Gdk.bitmap -> pixmap
val progress_bar_new : unit -> progress_bar
val radio_buttons_new_with_labels : string list -> radio_button list
val radio_buttons_set_index : radio_button list -> int -> unit
val radio_menu_items_new_with_labels : string list -> radio_menu_item list
val scrolled_window_new : unit -> scrolled_window
val statusbar_new : unit -> statusbar
val table_new : int -> int -> bool -> table
val text_new : unit -> text
val toggle_button_new : 'a -> toggle_button
val toggle_button_new_with_label : string -> toggle_button
val vbox_new : bool -> int -> vbox
val vbutton_box_new : unit -> button_box
val vpaned_new : unit -> vpaned
val vscrollbar_new : Gtk.Unsafe.gtkobject option -> vscrollbar
val vseparator_new : unit -> vseparator
val window_new : Gtk.window_type -> window
val ( << ) :
  (< add : widget -> 'b; .. > as 'a) ->
  < connect_button_press : (gtkobject -> int -> int -> int -> int -> bool) ->
                           int;
    connect_configure : (gtkobject -> int -> int -> int -> int -> bool) ->
                        int;
    connect_destroy : (gtkobject -> Glib.Pointer.t -> unit) -> int;
    connect_expose : (gtkobject -> int -> int -> int -> int -> bool) -> int;
    connect_key_press : (gtkobject -> int -> int -> bool) -> int;
    connect_motion_notify : (gtkobject -> int -> int -> bool -> int -> bool) ->
                            int;
    destroy : unit; disconnect_slot : int -> unit;
    get_gtkobject : Gtk.Unsafe.gtkobject; hide : unit; realize : unit;
    reparent : widget -> unit; set_events : Gdk.Event.mask list -> unit;
    set_sensitive : bool -> unit; set_tip : string -> string -> unit;
    set_usize : int -> int -> unit; show : unit; style_of : Gtk.style;
    unparent : unit; unrealize : unit; window_of : Gdk.window; .. > ->
  'a


Go to the first, previous, next, last section, table of contents.