Gtk.widget Gtk.obj ->
object
val obj : Gtk.widget Gtk.obj
method activate : unit -> bool
method add_accelerator :
sgn:('a, 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 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.cairo -> unit
method freeze_notify : unit -> unit
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 has_tooltip : bool
method hide : 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 :
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_has_tooltip : 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_style : GObj.style -> unit
method set_tooltip_markup : string -> unit
method set_tooltip_text : string -> unit
method show : unit -> unit
method show_all : unit -> unit
method style : GObj.style
method thaw_notify : unit -> unit
method tooltip_markup : string
method tooltip_text : string
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