`sig
val cast : 'a Gobject.obj -> Gtk.widget Gtk.obj
module P :
sig
val app_paintable : ([> `widget ], bool) Gobject.property
val can_default : ([> `widget ], bool) Gobject.property
val can_focus : ([> `widget ], bool) Gobject.property
val composite_child : ([> `widget ], bool) Gobject.property
val events : ([> `widget ], GdkEnums.event_mask list) Gobject.property
val extension_events :
([> `widget ], GdkEnums.extension_mode) Gobject.property
val has_default : ([> `widget ], bool) Gobject.property
val has_focus : ([> `widget ], bool) Gobject.property
val has_tooltip : ([> `widget ], bool) Gobject.property
val height_request : ([> `widget ], int) Gobject.property
val is_focus : ([> `widget ], bool) Gobject.property
val name : ([> `widget ], string) Gobject.property
val parent :
([> `widget ], Gtk.container Gtk.obj option) Gobject.property
val receives_default : ([> `widget ], bool) Gobject.property
val sensitive : ([> `widget ], bool) Gobject.property
val style : ([> `widget ], Gtk.style) Gobject.property
val tooltip_markup : ([> `widget ], string) Gobject.property
val tooltip_text : ([> `widget ], string) Gobject.property
val visible : ([> `widget ], bool) Gobject.property
val width_request : ([> `widget ], int) Gobject.property
end
module S :
sig
val show : ([> `widget ], unit -> unit) GtkSignal.t
val hide : ([> `widget ], unit -> unit) GtkSignal.t
val map : ([> `widget ], unit -> unit) GtkSignal.t
val unmap : ([> `widget ], unit -> unit) GtkSignal.t
val query_tooltip :
([> `widget ], x:int -> y:int -> kbd:bool -> Gtk.tooltip -> bool)
GtkSignal.t
val realize : ([> `widget ], unit -> unit) GtkSignal.t
val unrealize : ([> `widget ], unit -> unit) GtkSignal.t
val state_changed :
([> `widget ], GtkEnums.state_type -> unit) GtkSignal.t
val parent_set :
([> `widget ], Gtk.widget Gtk.obj option -> unit) GtkSignal.t
val size_allocate : ([> `widget ], Gtk.rectangle -> unit) GtkSignal.t
val style_set : ([> `widget ], Gtk.style option -> unit) GtkSignal.t
val selection_get :
([> `widget ], Gtk.selection_data -> info:int -> time:int32 -> unit)
GtkSignal.t
val selection_received :
([> `widget ], Gtk.selection_data -> time:int32 -> unit) GtkSignal.t
val drag_begin : ([> `widget ], Gdk.drag_context -> unit) GtkSignal.t
val drag_data_delete :
([> `widget ], Gdk.drag_context -> unit) GtkSignal.t
val drag_data_get :
([> `widget ],
Gdk.drag_context ->
Gtk.selection_data -> info:int -> time:int32 -> unit)
GtkSignal.t
val drag_data_received :
([> `widget ],
Gdk.drag_context ->
x:int ->
y:int -> Gtk.selection_data -> info:int -> time:int32 -> unit)
GtkSignal.t
val drag_drop :
([> `widget ],
Gdk.drag_context -> x:int -> y:int -> time:int32 -> bool)
GtkSignal.t
val drag_end : ([> `widget ], Gdk.drag_context -> unit) GtkSignal.t
val drag_leave :
([> `widget ], Gdk.drag_context -> time:int32 -> unit) GtkSignal.t
val drag_motion :
([> `widget ],
Gdk.drag_context -> x:int -> y:int -> time:int32 -> bool)
GtkSignal.t
val event : ([> `widget ], GdkEvent.any -> bool) GtkSignal.t
val event_after : ([> `widget ], GdkEvent.any -> unit) GtkSignal.t
end
external set_double_buffered : [> `widget ] Gtk.obj -> bool -> unit
= "ml_gtk_widget_set_double_buffered"
external style_get_property :
[> `widget ] Gtk.obj -> string -> Gobject.g_value
= "ml_gtk_widget_style_get_property"
val size_params :
cont:(([> `widget ] as 'a) Gobject.param list -> 'b) ->
'a Gobject.param list -> ?width:int -> ?height:int -> 'b
external unparent : [> `widget ] Gtk.obj -> unit = "ml_gtk_widget_unparent"
external show : [> `widget ] Gtk.obj -> unit = "ml_gtk_widget_show"
external show_now : [> `widget ] Gtk.obj -> unit = "ml_gtk_widget_show_now"
external show_all : [> `widget ] Gtk.obj -> unit = "ml_gtk_widget_show_all"
external hide : [> `widget ] Gtk.obj -> unit = "ml_gtk_widget_hide"
external hide_all : [> `widget ] Gtk.obj -> unit = "ml_gtk_widget_hide_all"
external map : [> `widget ] Gtk.obj -> unit = "ml_gtk_widget_map"
external unmap : [> `widget ] Gtk.obj -> unit = "ml_gtk_widget_unmap"
external realize : [> `widget ] Gtk.obj -> unit = "ml_gtk_widget_realize"
external unrealize : [> `widget ] Gtk.obj -> unit
= "ml_gtk_widget_unrealize"
external queue_draw : [> `widget ] Gtk.obj -> unit
= "ml_gtk_widget_queue_draw"
external queue_resize : [> `widget ] Gtk.obj -> unit
= "ml_gtk_widget_queue_resize"
external draw : [> `widget ] Gtk.obj -> Gdk.Rectangle.t option -> unit
= "ml_gtk_widget_draw"
external event : [> `widget ] Gtk.obj -> 'a Gdk.event -> bool
= "ml_gtk_widget_event"
external activate : [> `widget ] Gtk.obj -> bool = "ml_gtk_widget_activate"
external reparent : [> `widget ] Gtk.obj -> [> `widget ] Gtk.obj -> unit
= "ml_gtk_widget_reparent"
external intersect :
[> `widget ] Gtk.obj -> Gdk.Rectangle.t -> Gdk.Rectangle.t option
= "ml_gtk_widget_intersect"
external set_state : [> `widget ] Gtk.obj -> Gtk.Tags.state_type -> unit
= "ml_gtk_widget_set_state"
external set_uposition : [> `widget ] Gtk.obj -> x:int -> y:int -> unit
= "ml_gtk_widget_set_uposition"
external add_events :
[> `widget ] Gtk.obj -> Gdk.Tags.event_mask list -> unit
= "ml_gtk_widget_add_events"
external get_toplevel : [> `widget ] Gtk.obj -> Gtk.widget Gtk.obj
= "ml_gtk_widget_get_toplevel"
external get_ancestor :
[> `widget ] Gtk.obj -> Gobject.g_type -> Gtk.widget Gtk.obj
= "ml_gtk_widget_get_ancestor"
external get_colormap : [> `widget ] Gtk.obj -> Gdk.colormap
= "ml_gtk_widget_get_colormap"
external get_visual : [> `widget ] Gtk.obj -> Gdk.visual
= "ml_gtk_widget_get_visual"
external get_pointer : [> `widget ] Gtk.obj -> int * int
= "ml_gtk_widget_get_pointer"
external is_ancestor : [> `widget ] Gtk.obj -> [> `widget ] Gtk.obj -> bool
= "ml_gtk_widget_is_ancestor"
external ensure_style : [> `widget ] Gtk.obj -> unit
= "ml_gtk_widget_ensure_style"
external modify_fg :
[> `widget ] Gtk.obj -> Gtk.Tags.state_type -> Gdk.color -> unit
= "ml_gtk_widget_modify_fg"
external modify_bg :
[> `widget ] Gtk.obj -> Gtk.Tags.state_type -> Gdk.color -> unit
= "ml_gtk_widget_modify_bg"
external modify_text :
[> `widget ] Gtk.obj -> Gtk.Tags.state_type -> Gdk.color -> unit
= "ml_gtk_widget_modify_text"
external modify_base :
[> `widget ] Gtk.obj -> Gtk.Tags.state_type -> Gdk.color -> unit
= "ml_gtk_widget_modify_base"
external modify_font :
[> `widget ] Gtk.obj -> Pango.font_description -> unit
= "ml_gtk_widget_modify_font"
external get_pango_context : [> `widget ] Gtk.obj -> Pango.context
= "ml_gtk_widget_get_pango_context"
external create_pango_context : [> `widget ] Gtk.obj -> Pango.context
= "ml_gtk_widget_create_pango_context"
external render_icon :
[> `widget ] Gtk.obj ->
string -> Gtk.Tags.icon_size -> string option -> GdkPixbuf.pixbuf
= "ml_gtk_widget_render_icon"
external add_accelerator :
([> `widget ] as 'a) Gtk.obj ->
sgn:('a, unit -> unit) GtkSignal.t ->
Gtk.accel_group ->
key:Gdk.keysym ->
?modi:Gdk.Tags.modifier list -> ?flags:Gtk.Tags.accel_flag list -> unit
= "ml_gtk_widget_add_accelerator_bc" "ml_gtk_widget_add_accelerator"
external remove_accelerator :
[> `widget ] Gtk.obj ->
Gtk.accel_group -> key:Gdk.keysym -> ?modi:Gdk.Tags.modifier list -> unit
= "ml_gtk_widget_remove_accelerator"
external set_accel_path :
[> `widget ] Gtk.obj -> string -> Gtk.accel_group -> unit
= "ml_gtk_widget_set_accel_path"
external window : [> `widget ] Gtk.obj -> Gdk.window
= "ml_GtkWidget_window"
external allocation : [> `widget ] Gtk.obj -> Gtk.rectangle
= "ml_gtk_widget_allocation"
external set_colormap : [> `widget ] Gtk.obj -> Gdk.colormap -> unit
= "ml_gtk_widget_set_colormap"
external set_visual : [> `widget ] Gtk.obj -> Gdk.visual -> unit
= "ml_gtk_widget_set_visual"
external set_default_colormap : Gdk.colormap -> unit
= "ml_gtk_widget_set_default_colormap"
external set_default_visual : Gdk.visual -> unit
= "ml_gtk_widget_set_default_visual"
external get_default_colormap : unit -> Gdk.colormap
= "ml_gtk_widget_get_default_colormap"
external get_default_visual : unit -> Gdk.visual
= "ml_gtk_widget_get_default_visual"
external push_colormap : Gdk.colormap -> unit
= "ml_gtk_widget_push_colormap"
external push_visual : Gdk.visual -> unit = "ml_gtk_widget_push_visual"
external pop_colormap : unit -> unit = "ml_gtk_widget_pop_colormap"
external pop_visual : unit -> unit = "ml_gtk_widget_pop_visual"
module Tooltip :
sig
external get_markup : [> `widget ] Gtk.obj -> string
= "ml_gtk_widget_get_tooltip_markup"
external set_markup : [> `widget ] Gtk.obj -> string -> unit
= "ml_gtk_widget_set_tooltip_markup"
external get_text : [> `widget ] Gtk.obj -> string
= "ml_gtk_widget_get_tooltip_text"
external set_text : [> `widget ] Gtk.obj -> string -> unit
= "ml_gtk_widget_set_tooltip_text"
external get_window : [> `widget ] Gtk.obj -> Gtk.window Gtk.obj
= "ml_gtk_widget_get_tooltip_window"
external set_window :
[> `widget ] Gtk.obj -> [> `window ] Gtk.obj -> unit
= "ml_gtk_widget_set_tooltip_window"
external get_has_tooltip : [> `widget ] Gtk.obj -> bool
= "ml_gtk_widget_get_has_tooltip"
external set_has_tooltip : [> `widget ] Gtk.obj -> bool -> unit
= "ml_gtk_widget_set_has_tooltip"
external trigger_query : [> `widget ] Gtk.obj -> unit
= "ml_gtk_widget_trigger_tooltip_query"
end
module Signals :
sig
val marshal :
(Gtk.widget Gtk.obj -> 'a) ->
'b -> [> `OBJECT of 'c Gobject.obj option ] list -> 'a
val marshal_opt :
(Gtk.widget Gtk.obj option -> 'a) ->
'b -> [> `OBJECT of 'c Gobject.obj option ] list -> 'a
module Event :
sig
val marshal :
([< Gdk.Tags.event_type ] Gdk.event -> bool) ->
Gobject.Closure.argv -> unit
val any :
([> `widget ], Gdk.Tags.event_type Gdk.event -> bool) GtkSignal.t
val button_press :
([> `widget ], GdkEvent.Button.t -> bool) GtkSignal.t
val button_release :
([> `widget ], GdkEvent.Button.t -> bool) GtkSignal.t
val motion_notify :
([> `widget ], GdkEvent.Motion.t -> bool) GtkSignal.t
val delete :
([> `widget ], [ `DELETE ] Gdk.event -> bool) GtkSignal.t
val destroy :
([> `widget ], [ `DESTROY ] Gdk.event -> bool) GtkSignal.t
val expose : ([> `widget ], GdkEvent.Expose.t -> bool) GtkSignal.t
val key_press : ([> `widget ], GdkEvent.Key.t -> bool) GtkSignal.t
val key_release :
([> `widget ], GdkEvent.Key.t -> bool) GtkSignal.t
val enter_notify :
([> `widget ], GdkEvent.Crossing.t -> bool) GtkSignal.t
val leave_notify :
([> `widget ], GdkEvent.Crossing.t -> bool) GtkSignal.t
val configure :
([> `widget ], GdkEvent.Configure.t -> bool) GtkSignal.t
val focus_in : ([> `widget ], GdkEvent.Focus.t -> bool) GtkSignal.t
val focus_out :
([> `widget ], GdkEvent.Focus.t -> bool) GtkSignal.t
val map : ([> `widget ], [ `MAP ] Gdk.event -> bool) GtkSignal.t
val unmap :
([> `widget ], [ `UNMAP ] Gdk.event -> bool) GtkSignal.t
val property_notify :
([> `widget ], GdkEvent.Property.t -> bool) GtkSignal.t
val scroll : ([> `widget ], GdkEvent.Scroll.t -> bool) GtkSignal.t
val selection_clear :
([> `widget ], GdkEvent.Selection.t -> bool) GtkSignal.t
val selection_request :
([> `widget ], GdkEvent.Selection.t -> bool) GtkSignal.t
val selection_notify :
([> `widget ], GdkEvent.Selection.t -> bool) GtkSignal.t
val proximity_in :
([> `widget ], GdkEvent.Proximity.t -> bool) GtkSignal.t
val proximity_out :
([> `widget ], GdkEvent.Proximity.t -> bool) GtkSignal.t
val client : ([> `widget ], GdkEvent.Client.t -> bool) GtkSignal.t
val visibility_notify :
([> `widget ], GdkEvent.Visibility.t -> bool) GtkSignal.t
val window_state :
([> `widget ], GdkEvent.WindowState.t -> bool) GtkSignal.t
end
end
end`