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