<html><head> <link rel="stylesheet" href="style.css" type="text/css"> <link rel="Start" href="index.html"> <title>LablGTK : GtkBaseProps.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">end</span></code></body></html>