Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Source file gtkBase.ml
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386(**************************************************************************)(* Lablgtk *)(* *)(* This program is free software; you can redistribute it *)(* and/or modify it under the terms of the GNU Library General *)(* Public License as published by the Free Software Foundation *)(* version 2, with the exception described in file COPYING which *)(* comes with the library. *)(* *)(* This program is distributed in the hope that it will be useful, *)(* but WITHOUT ANY WARRANTY; without even the implied warranty of *)(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *)(* GNU Library General Public License for more details. *)(* *)(* You should have received a copy of the GNU Library General *)(* Public License along with this program; if not, write to the *)(* Free Software Foundation, Inc., 59 Temple Place, Suite 330, *)(* Boston, MA 02111-1307 USA *)(* *)(* *)(**************************************************************************)(* $Id$ *)openGauxopenGobjectopenGtkopenTagsopenGtkBasePropsmoduleObject=structincludeGtkObjectlettry_cast=Gobject.try_castendmoduleWidget=structincludeWidgetletsize_params~contpl?width?height=letmay_cons=Property.may_consincont(may_consP.width_requestwidth(may_consP.height_requestheightpl))externalunparent:[>`widget]obj->unit="ml_gtk_widget_unparent"externalshow:[>`widget]obj->unit="ml_gtk_widget_show"externalshow_now:[>`widget]obj->unit="ml_gtk_widget_show_now"externalshow_all:[>`widget]obj->unit="ml_gtk_widget_show_all"externalhide:[>`widget]obj->unit="ml_gtk_widget_hide"externalmap:[>`widget]obj->unit="ml_gtk_widget_map"externalunmap:[>`widget]obj->unit="ml_gtk_widget_unmap"externalrealize:[>`widget]obj->unit="ml_gtk_widget_realize"externalunrealize:[>`widget]obj->unit="ml_gtk_widget_unrealize"externalqueue_draw:[>`widget]obj->unit="ml_gtk_widget_queue_draw"externalqueue_resize:[>`widget]obj->unit="ml_gtk_widget_queue_resize"externaldraw:[>`widget]obj->Gdk.cairo->unit="ml_gtk_widget_draw"externalqueue_draw_area:[>`widget]obj->int->int->int->int->unit="ml_gtk_widget_queue_draw_area"(*
external draw_focus : [>`widget] obj -> unit
= "ml_gtk_widget_draw_focus"
external draw_default : [>`widget] obj -> unit
= "ml_gtk_widget_draw_default"
*)externalevent:[>`widget]obj->'aGdk.event->bool="ml_gtk_widget_event"externalactivate:[>`widget]obj->bool="ml_gtk_widget_activate"externalreparent:[>`widget]obj->[>`widget]obj->unit="ml_gtk_widget_reparent"(*
external popup : [>`widget] obj -> x:int -> y:int -> unit
= "ml_gtk_widget_popup"
*)externalintersect:[>`widget]obj->Gdk.Rectangle.t->Gdk.Rectangle.toption="ml_gtk_widget_intersect"(*external set_state : [>`widget] obj -> state_type -> unit
= "ml_gtk_widget_set_state"
external set_uposition : [>`widget] obj -> x:int -> y:int -> unit
= "ml_gtk_widget_set_uposition"*)externaladd_events:[>`widget]obj->Gdk.Tags.event_masklist->unit="ml_gtk_widget_add_events"externalget_toplevel:[>`widget]obj->widgetobj="ml_gtk_widget_get_toplevel"externalget_ancestor:[>`widget]obj->g_type->widgetobj="ml_gtk_widget_get_ancestor"(*external get_colormap : [>`widget] obj -> Gdk.colormap
= "ml_gtk_widget_get_colormap"*)externalget_visual:[>`widget]obj->Gdk.visual="ml_gtk_widget_get_visual"externalget_pointer:[>`widget]obj->int*int="ml_gtk_widget_get_pointer"externalis_ancestor:[>`widget]obj->[>`widget]obj->bool="ml_gtk_widget_is_ancestor"(* Deprecated since 3.0 *)externalensure_style:[>`widget]obj->unit="ml_gtk_widget_ensure_style"externalmodify_fg:[>`widget]obj->state_type->Gdk.color->unit="ml_gtk_widget_modify_fg"externalmodify_bg:[>`widget]obj->state_type->Gdk.color->unit="ml_gtk_widget_modify_bg"externalmodify_text:[>`widget]obj->state_type->Gdk.color->unit="ml_gtk_widget_modify_text"externalmodify_base:[>`widget]obj->state_type->Gdk.color->unit="ml_gtk_widget_modify_base"externalmodify_font:[>`widget]obj->Pango.font_description->unit="ml_gtk_widget_modify_font"(* End deprecated since 3.0 *)externalget_pango_context:[>`widget]obj->Pango.context="ml_gtk_widget_get_pango_context"externalcreate_pango_context:[>`widget]obj->Pango.context="ml_gtk_widget_create_pango_context"externalrender_icon:[>`widget]obj->string->Gtk.Tags.icon_size->GdkPixbuf.pixbuf="ml_gtk_widget_render_icon_pixbuf"externaladd_accelerator:([>`widget]as'a)obj->sgn:('a,unit->unit)GtkSignal.t->accel_group->key:Gdk.keysym->?modi:Gdk.Tags.modifierlist->?flags:accel_flaglist->unit="ml_gtk_widget_add_accelerator_bc""ml_gtk_widget_add_accelerator"externalremove_accelerator:[>`widget]obj->accel_group->key:Gdk.keysym->?modi:Gdk.Tags.modifierlist->unit="ml_gtk_widget_remove_accelerator"externalset_accel_path:[>`widget]obj->string->accel_group->unit="ml_gtk_widget_set_accel_path"(*
external lock_accelerators : [>`widget] obj -> unit
= "ml_gtk_widget_lock_accelerators"
external unlock_accelerators : [>`widget] obj -> unit
= "ml_gtk_widget_unlock_accelerators"
external accelerators_locked : [>`widget] obj -> bool
= "ml_gtk_widget_accelerators_locked"
*)externalwindow:[>`widget]obj->Gdk.window="ml_gtk_widget_get_window"externalallocation:[>`widget]obj->rectangle="ml_gtk_widget_get_allocation"(* external set_colormap : [>`widget] obj -> Gdk.colormap -> unit
= "ml_gtk_widget_set_colormap" *)externalset_visual:[>`widget]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" *)(** @since GTK 2.12 *)moduleTooltip=structexternalget_markup:[>`widget]obj->string="ml_gtk_widget_get_tooltip_markup"externalset_markup:[>`widget]obj->string->unit="ml_gtk_widget_set_tooltip_markup"externalget_text:[>`widget]obj->string="ml_gtk_widget_get_tooltip_text"externalset_text:[>`widget]obj->string->unit="ml_gtk_widget_set_tooltip_text"externalget_window:[>`widget]obj->Gtk.windowobj="ml_gtk_widget_get_tooltip_window"externalset_window:[>`widget]obj->[>`window]obj->unit="ml_gtk_widget_set_tooltip_window"externalget_has_tooltip:[>`widget]obj->bool="ml_gtk_widget_get_has_tooltip"externalset_has_tooltip:[>`widget]obj->bool->unit="ml_gtk_widget_set_has_tooltip"externaltrigger_query:[>`widget]obj->unit="ml_gtk_widget_trigger_tooltip_query"endmoduleSignals=structopenGtkSignalletdestroy={name="destroy";classe=`widget;marshaller=marshal_unit}letmarshalf_=function|`OBJECT(Somep)::_->f(castp)|_->invalid_arg"GtkBase.Widget.Signals.marshal"letmarshal_optf_=function|`OBJECT(Someobj)::_->f(Some(castobj))|`OBJECTNone::_->fNone|_->invalid_arg"GtkBase.Widget.Signals.marshal_opt"moduleEvent=structletmarshalfargv=matchClosure.get_argsargvwith|_::[`POINTER(Somep)]->letev=GdkEvent.unsafe_copypinClosure.set_resultargv(`BOOL(fev))|_->invalid_arg"GtkBase.Widget.Event.marshal"letany:([>`widget],Gdk.Tags.event_typeGdk.event->bool)t={name="event";classe=`widget;marshaller=marshal}letbutton_press:([>`widget],GdkEvent.Button.t->bool)t={name="button_press_event";classe=`widget;marshaller=marshal}letbutton_release:([>`widget],GdkEvent.Button.t->bool)t={name="button_release_event";classe=`widget;marshaller=marshal}letmotion_notify:([>`widget],GdkEvent.Motion.t->bool)t={name="motion_notify_event";classe=`widget;marshaller=marshal}letdelete:([>`widget],[`DELETE]Gdk.event->bool)t={name="delete_event";classe=`widget;marshaller=marshal}letdestroy:([>`widget],[`DESTROY]Gdk.event->bool)t={name="destroy_event";classe=`widget;marshaller=marshal}letexpose:([>`widget],GdkEvent.Expose.t->bool)t={name="expose_event";classe=`widget;marshaller=marshal}letkey_press:([>`widget],GdkEvent.Key.t->bool)t={name="key_press_event";classe=`widget;marshaller=marshal}letkey_release:([>`widget],GdkEvent.Key.t->bool)t={name="key_release_event";classe=`widget;marshaller=marshal}letenter_notify:([>`widget],GdkEvent.Crossing.t->bool)t={name="enter_notify_event";classe=`widget;marshaller=marshal}letleave_notify:([>`widget],GdkEvent.Crossing.t->bool)t={name="leave_notify_event";classe=`widget;marshaller=marshal}letconfigure:([>`widget],GdkEvent.Configure.t->bool)t={name="configure_event";classe=`widget;marshaller=marshal}letfocus_in:([>`widget],GdkEvent.Focus.t->bool)t={name="focus_in_event";classe=`widget;marshaller=marshal}letfocus_out:([>`widget],GdkEvent.Focus.t->bool)t={name="focus_out_event";classe=`widget;marshaller=marshal}letmap:([>`widget],[`MAP]Gdk.event->bool)t={name="map_event";classe=`widget;marshaller=marshal}letunmap:([>`widget],[`UNMAP]Gdk.event->bool)t={name="unmap_event";classe=`widget;marshaller=marshal}letproperty_notify:([>`widget],GdkEvent.Property.t->bool)t={name="property_notify_event";classe=`widget;marshaller=marshal}letscroll:([>`widget],GdkEvent.Scroll.t->bool)t={name="scroll_event";classe=`widget;marshaller=marshal}letselection_clear:([>`widget],GdkEvent.Selection.t->bool)t={name="selection_clear_event";classe=`widget;marshaller=marshal}letselection_request:([>`widget],GdkEvent.Selection.t->bool)t={name="selection_request_event";classe=`widget;marshaller=marshal}letselection_notify:([>`widget],GdkEvent.Selection.t->bool)t={name="selection_notify_event";classe=`widget;marshaller=marshal}letproximity_in:([>`widget],GdkEvent.Proximity.t->bool)t={name="proximity_in_event";classe=`widget;marshaller=marshal}letproximity_out:([>`widget],GdkEvent.Proximity.t->bool)t={name="proximity_out_event";classe=`widget;marshaller=marshal}letvisibility_notify:([>`widget],GdkEvent.Visibility.t->bool)t={name="visibility_notify_event";classe=`widget;marshaller=marshal}letwindow_state:([>`widget],GdkEvent.WindowState.t->bool)t={name="window_state_event";classe=`widget;marshaller=marshal}endendendmoduleOrientable=OrientablemoduleBin=Bin(* Clipboard provides high-level access to Selection *)moduleClipboard=structexternalget:Gdk.atom->clipboard="ml_gtk_clipboard_get"externalclear:clipboard->unit="ml_gtk_clipboard_clear"externalset_text:clipboard->string->unit="ml_gtk_clipboard_set_text"externalset_image:clipboard->GdkPixbuf.pixbuf->unit="ml_gtk_clipboard_set_image"externalwait_for_contents:clipboard->target:Gdk.atom->selection_data="ml_gtk_clipboard_wait_for_contents"externalwait_for_text:clipboard->stringoption="ml_gtk_clipboard_wait_for_text"externalwait_for_image:clipboard->GdkPixbuf.pixbufoption="ml_gtk_clipboard_wait_for_image"externalwait_for_targets:clipboard->Gdk.atomlist="ml_gtk_clipboard_wait_for_targets"externalrequest_contents:clipboard->target:Gdk.atom->callback:(selection_data->unit)->unit="ml_gtk_clipboard_request_contents"externalrequest_text:clipboard->callback:(stringoption->unit)->unit="ml_gtk_clipboard_request_text"end(* Use of Selection is deprecated: rather use simpler Clipboard module *)moduleSelection=structexternalselection:selection_data->Gdk.atom="ml_gtk_selection_data_get_selection"externaltarget:selection_data->Gdk.atom="ml_gtk_selection_data_get_target"externalseltype:selection_data->Gdk.atom="ml_gtk_selection_data_get_data_type"externalformat:selection_data->int="ml_gtk_selection_data_get_format"externalget_data:selection_data->string="ml_gtk_selection_data_get_data"(* May raise Gpointer.null *)externalset:selection_data->typ:Gdk.atom->format:int->data:stringoption->unit="ml_gtk_selection_data_set"(* Create a memory-managed copy of the data *)externalcopy:selection_data->selection_data="ml_gtk_selection_data_copy"externalowner_set:[>`widget]obj->sel:Gdk.atom->time:int32->bool="ml_gtk_selection_owner_set"externaladd_target:[>`widget]obj->sel:Gdk.atom->target:Gdk.atom->info:int->unit="ml_gtk_selection_add_target"externalconvert:[>`widget]obj->sel:Gdk.atom->target:Gdk.atom->time:int32->bool="ml_gtk_selection_convert"externalclear_targets:[>`widget]obj->sel:Gdk.atom->unit="ml_gtk_selection_clear_targets"endmoduleDnD=structexternaldest_set:[>`widget]obj->flags:dest_defaultslist->targets:target_entryarray->actions:Gdk.Tags.drag_actionlist->unit="ml_gtk_drag_dest_set"externaldest_unset:[>`widget]obj->unit="ml_gtk_drag_dest_unset"externalfinish:Gdk.drag_context->success:bool->del:bool->time:int32->unit="ml_gtk_drag_finish"externalget_data:[>`widget]obj->Gdk.drag_context->target:Gdk.atom->time:int32->unit="ml_gtk_drag_get_data"externalget_source_widget:Gdk.drag_context->widgetobj="ml_gtk_drag_get_source_widget"externalhighlight:[>`widget]obj->unit="ml_gtk_drag_highlight"externalunhighlight:[>`widget]obj->unit="ml_gtk_drag_unhighlight"externalset_icon_widget:Gdk.drag_context->[>`widget]obj->hot_x:int->hot_y:int->unit="ml_gtk_drag_set_icon_widget"externalset_icon_default:Gdk.drag_context->unit="ml_gtk_drag_set_icon_default"externalsource_set:[>`widget]obj->?modi:Gdk.Tags.modifierlist->targets:target_entryarray->actions:Gdk.Tags.drag_actionlist->unit="ml_gtk_drag_source_set"externalsource_unset:[>`widget]obj->unit="ml_gtk_drag_source_unset"(* external dest_handle_event : [>`widget] -> *)end(** @since GTK 2.12 *)moduleTooltip=structexternalset_markup:tooltip->string->unit="ml_gtk_tooltip_set_markup"externalset_text:tooltip->string->unit="ml_gtk_tooltip_set_text"externalset_icon:tooltip->GdkPixbuf.pixbuf->unit="ml_gtk_tooltip_set_icon"externalset_icon_from_stock:tooltip->string->Gtk.Tags.icon_size->unit="ml_gtk_tooltip_set_icon_from_stock"letset_icon_from_stockttid=set_icon_from_stocktt(GtkStock.convert_idid)externalset_custom:tooltip->[>`widget]obj->unit="ml_gtk_tooltip_set_custom"externaltrigger_query:Gdk.display->unit="ml_gtk_tooltip_trigger_tooltip_query"externalset_tip_area:tooltip->Gdk.Rectangle.t->unit="ml_gtk_tooltip_set_tip_area"end