class misc_ops : Gtk.widget Gtk.obj -> object .. end
Inherits
val obj : Gtk.widget Gtk.obj
method activate : unit -> bool
method add_accelerator : 'a.
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 : misc_signals
method convert_selection : target:string -> ?time:int32 -> Gdk.atom -> bool
method create_pango_context : GPango.context_rw
method draw : Gdk.cairo -> unit
method grab_default : unit -> unit
method grab_focus : unit -> unit
method grab_selection : ?time:int32 -> Gdk.atom -> bool
method has_tooltip : bool
method hide : unit -> unit
method intersect : Gdk.Rectangle.t -> Gdk.Rectangle.t option
method is_ancestor : widget -> bool
method map : unit -> unit
method modify_bg : (Gtk.Tags.state_type * GDraw.color) list -> unit
method modify_base : (Gtk.Tags.state_type * GDraw.color) list -> unit
method modify_fg : (Gtk.Tags.state_type * GDraw.color) list -> unit
method modify_text : (Gtk.Tags.state_type * GDraw.color) list -> unit
method modify_font : Pango.font_description -> unit
method modify_font_by_name : string -> unit
method name : string
method parent : widget option
method pango_context : GPango.context
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 : 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_sensitive : bool -> unit
method set_size_chars : ?desc:Pango.font_description ->
?lang:string -> ?width:int -> ?height:int -> unit -> unit
method set_style : style -> unit
method set_size_request : ?width:int -> ?height:int -> unit -> unit
method set_tooltip_markup : string -> unit
method set_tooltip_text : string -> unit
method show : unit -> unit
method show_all : unit -> unit
method style : style
method tooltip_markup : string
method tooltip_text : string
method toplevel : 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