Gtk.widget Gtk.obj ->
object
  val obj : Gtk.widget Gtk.obj
  method activate : unit -> bool
  method add_accelerator :
    sgn:(Gtk.widget, unit -> unit) GtkSignal.t ->
    group:Gtk.accel_group ->
    ?modi:Gdk.Tags.modifier list ->
    ?flags:Gtk.Tags.accel_flag list -> Gdk.keysym -> unit
  method add_selection_target :
    target:string -> ?info:int -> Gdk.atom -> unit
  method allocation : Gtk.rectangle
  method clear_selection_targets : Gdk.atom -> unit
  method colormap : Gdk.colormap
  method connect : GObj.misc_signals
  method convert_selection : target:string -> ?time:int32 -> Gdk.atom -> bool
  method create_pango_context : GPango.context_rw
  method disconnect : GtkSignal.id -> unit
  method draw : Gdk.Rectangle.t option -> unit
  method freeze_notify : unit -> unit
  method get_flag : Gtk.Tags.widget_flags -> bool
  method get_oid : int
  method get_property : string -> Gobject.data_get
  method get_type : string
  method grab_default : unit -> unit
  method grab_focus : unit -> unit
  method grab_selection : ?time:int32 -> Gdk.atom -> bool
  method handler_block : GtkSignal.id -> unit
  method handler_unblock : GtkSignal.id -> unit
  method hide : unit -> unit
  method hide_all : unit -> unit
  method intersect : Gdk.Rectangle.t -> Gdk.Rectangle.t option
  method is_ancestor : GObj.widget -> bool
  method map : unit -> unit
  method modify_base : (Gtk.Tags.state_type * GDraw.color) list -> unit
  method modify_bg : (Gtk.Tags.state_type * GDraw.color) list -> unit
  method modify_fg : (Gtk.Tags.state_type * GDraw.color) list -> unit
  method modify_font : Pango.font_description -> unit
  method modify_font_by_name : string -> unit
  method modify_text : (Gtk.Tags.state_type * GDraw.color) list -> unit
  method name : string
  method pango_context : GPango.context
  method parent : GObj.widget option
  method pointer : int * int
  method realize : unit -> unit
  method remove_accelerator :
    group:Gtk.accel_group ->
    ?modi:Gdk.Tags.modifier list -> Gdk.keysym -> unit
  method render_icon :
    ?detail:string ->
    size:Gtk.Tags.icon_size -> GtkStock.id -> GdkPixbuf.pixbuf
  method reparent : GObj.widget -> unit
  method set_app_paintable : bool -> unit
  method set_can_default : bool -> unit
  method set_can_focus : bool -> unit
  method set_double_buffered : bool -> unit
  method set_name : string -> unit
  method set_property : string -> 'a Gobject.data_set -> unit
  method set_sensitive : bool -> unit
  method set_size_chars :
    ?desc:Pango.font_description ->
    ?lang:string -> ?width:int -> ?height:int -> unit -> unit
  method set_size_request : ?width:int -> ?height:int -> unit -> unit
  method set_state : Gtk.Tags.state_type -> unit
  method set_style : GObj.style -> unit
  method show : unit -> unit
  method show_all : unit -> unit
  method style : GObj.style
  method thaw_notify : unit -> unit
  method toplevel : GObj.widget
  method unmap : unit -> unit
  method unparent : unit -> unit
  method unrealize : unit -> unit
  method visible : bool
  method visual : Gdk.visual
  method visual_depth : int
  method window : Gdk.window
end