11 method destroy : unit -> unit
15 class gtkobj_signals :
16 ?after:bool -> 'a obj ->
21 method destroy : callback:(unit -> unit) -> GtkSignal.id
24 class gtkobj_misc : 'a obj ->
26 method get_type : string
27 method disconnect : GtkSignal.id -> unit
28 method handler_block : GtkSignal.id -> unit
29 method handler_unblock : GtkSignal.id -> unit
35 ?after:bool -> [>`widget] obj ->
39 callback:(Gdk.Tags.event_type Gdk.event -> bool) -> GtkSignal.id
40 method button_press : callback:(GdkEvent.Button.t -> bool) -> GtkSignal.id
41 method button_release :
42 callback:(GdkEvent.Button.t -> bool) -> GtkSignal.id
43 method configure : callback:(GdkEvent.Configure.t -> bool) -> GtkSignal.id
44 method delete : callback:([`DELETE] Gdk.event -> bool) -> GtkSignal.id
45 method destroy : callback:([`DESTROY] Gdk.event -> bool) -> GtkSignal.id
47 callback:(GdkEvent.Crossing.t -> bool) -> GtkSignal.id
48 method expose : callback:(GdkEvent.Expose.t -> bool) -> GtkSignal.id
49 method focus_in : callback:(GdkEvent.Focus.t -> bool) -> GtkSignal.id
50 method focus_out : callback:(GdkEvent.Focus.t -> bool) -> GtkSignal.id
51 method key_press : callback:(GdkEvent.Key.t -> bool) -> GtkSignal.id
52 method key_release : callback:(GdkEvent.Key.t -> bool) -> GtkSignal.id
54 callback:(GdkEvent.Crossing.t -> bool) -> GtkSignal.id
55 method map : callback:([`MAP] Gdk.event -> bool) -> GtkSignal.id
56 method motion_notify :
57 callback:(GdkEvent.Motion.t -> bool) -> GtkSignal.id
58 method property_notify :
59 callback:(GdkEvent.Property.t -> bool) -> GtkSignal.id
61 callback:(GdkEvent.Proximity.t -> bool) -> GtkSignal.id
62 method proximity_out :
63 callback:(GdkEvent.Proximity.t -> bool) -> GtkSignal.id
64 method selection_clear :
65 callback:(GdkEvent.Selection.t -> bool) -> GtkSignal.id
66 method selection_notify :
67 callback:(GdkEvent.Selection.t -> bool) -> GtkSignal.id
68 method selection_request :
69 callback:(GdkEvent.Selection.t -> bool) -> GtkSignal.id
70 method unmap : callback:([`UNMAP] Gdk.event -> bool) -> GtkSignal.id
73 class event_ops : [>`widget] obj ->
75 method add : Gdk.Tags.event_mask list -> unit
76 method connect : event_signals
77 method send : Gdk.Tags.event_type Gdk.event -> bool
78 method set_extensions : Gdk.Tags.extension_events -> unit
81 class style : Gtk.style ->
84 method as_style : Gtk.style
85 method bg : Tags.state_type -> Gdk.Color.t
86 method colormap : Gdk.colormap
88 method font : Gdk.font
89 method set_background : Gdk.window -> Tags.state_type -> unit
90 method set_bg : (Tags.state_type * GDraw.color) list -> unit
91 method set_font : Gdk.font -> unit
94 class selection_data :
95 GtkData.Selection.t ->
97 val sel : GtkData.Selection.t
98 method data : string (* May raise Null_pointer *)
100 method selection : Gdk.atom
101 method seltype : Gdk.atom
102 method target : Gdk.atom
103 method set : typ:Gdk.atom -> format:int -> ?data:string -> unit
106 class drag_ops : [>`widget] obj ->
108 method connect : drag_signals
110 ?flags:Tags.dest_defaults list ->
111 ?actions:Gdk.Tags.drag_action list -> target_entry list -> unit
112 method dest_unset : unit -> unit
113 method get_data : ?time:int -> context:drag_context -> Gdk.atom ->unit
114 method highlight : unit -> unit
116 ?modi:Gdk.Tags.modifier list ->
117 ?actions:Gdk.Tags.drag_action list -> target_entry list -> unit
118 method source_set_icon : ?colormap:Gdk.colormap -> GDraw.pixmap -> unit
119 method source_unset : unit -> unit
120 method unhighlight : unit -> unit
127 val obj : Gtk.widget obj
128 method activate : unit -> bool
129 method add_accelerator :
130 sgn:(Gtk.widget, unit -> unit) GtkSignal.t ->
131 group:accel_group -> ?modi:Gdk.Tags.modifier list ->
132 ?flags:Tags.accel_flag list -> Gdk.keysym -> unit
133 method allocation : rectangle
134 method colormap : Gdk.colormap
135 method connect : misc_signals
136 method draw : Gdk.Rectangle.t option -> unit
137 method grab_default : unit -> unit
138 method grab_focus : unit -> unit
139 method has_focus : bool
140 method hide : unit -> unit
141 method hide_all : unit -> unit
142 method intersect : Gdk.Rectangle.t -> Gdk.Rectangle.t option
143 method is_ancestor : widget -> bool
144 method lock_accelerators : unit -> unit
145 method map : unit -> unit
147 method parent : widget option
148 method pointer : int * int
149 method popup : x:int -> y:int -> unit
150 method realize : unit -> unit
151 method remove_accelerator :
152 group:accel_group -> ?modi:Gdk.Tags.modifier list -> Gdk.keysym -> unit
153 method reparent : widget -> unit
154 method set_app_paintable : bool -> unit
155 method set_can_default : bool -> unit
156 method set_can_focus : bool -> unit
157 method set_name : string -> unit
158 method set_sensitive : bool -> unit
159 method set_state : Tags.state_type -> unit
160 method set_style : style -> unit
161 method set_geometry :
162 ?x:int -> ?y:int -> ?width:int -> ?height:int -> unit -> unit
163 method show : unit -> unit
164 method show_all : unit -> unit
166 method toplevel : widget option
167 method unmap : unit -> unit
168 method unparent : unit -> unit
169 method unrealize : unit -> unit
170 method visible : bool
171 method visual : Gdk.visual
172 method visual_depth : int
173 method window : Gdk.window
180 constraint 'a = [>`widget]
182 method as_widget : Gtk.widget obj
183 method coerce : widget
184 method drag : drag_ops
185 method misc : misc_ops
189 ?after:bool -> Gtk.widget obj ->
191 inherit gtkobj_signals
192 val obj : Gtk.widget obj
194 method draw : callback:(Gtk.rectangle -> unit) -> GtkSignal.id
195 method hide : callback:(unit -> unit) -> GtkSignal.id
196 method map : callback:(unit -> unit) -> GtkSignal.id
197 method parent_set : callback:(widget option -> unit) -> GtkSignal.id
198 method realize : callback:(unit -> unit) -> GtkSignal.id
199 method show : callback:(unit -> unit) -> GtkSignal.id
200 method state_changed :
201 callback:(Gtk.Tags.state_type -> unit) -> GtkSignal.id
202 method style_set : callback:(unit -> unit) -> GtkSignal.id
203 method unmap : callback:(unit -> unit) -> GtkSignal.id
209 val context : Gdk.drag_context
210 method context : Gdk.drag_context
211 method finish : success:bool -> del:bool -> time:int -> unit
212 method source_widget : widget
213 method set_icon_pixmap :
214 ?colormap:Gdk.colormap -> GDraw.pixmap -> hot_x:int -> hot_y:int -> unit
215 method set_icon_widget : widget -> hot_x:int -> hot_y:int -> unit
216 method status : ?time:int -> Gdk.Tags.drag_action list -> unit
217 method suggested_action : Gdk.Tags.drag_action
218 method targets : Gdk.atom list
222 ?after:bool -> Gtk.widget obj ->
226 callback:(drag_context -> unit) -> GtkSignal.id
228 callback:(drag_context -> unit) -> GtkSignal.id
230 callback:(drag_context -> selection_data -> info:int -> time:int -> unit)
232 method data_received :
233 callback:(drag_context -> x:int -> y:int ->
234 selection_data -> info:int -> time:int -> unit) -> GtkSignal.id
236 callback:(drag_context -> x:int -> y:int -> time:int -> bool) ->
239 callback:(drag_context -> unit) -> GtkSignal.id
241 callback:(drag_context -> time:int -> unit) -> GtkSignal.id
243 callback:(drag_context -> x:int -> y:int -> time:int -> bool) ->
247 class widget_signals : ?after:bool -> 'a obj ->
249 inherit gtkobj_signals
250 constraint 'a = [>`widget]
254 class widget_full : 'a obj ->
257 constraint 'a = [>`widget]
259 method connect : widget_signals
262 val as_widget : widget -> Gtk.widget obj
266 packing:(widget -> unit) option -> show:bool option -> 'a
267 (* To use in initializers to provide a ?packing: option *)