]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gBin.mli
* click signal changed: now the element argument is optional
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / gBin.mli
1 (* $Id$ *)
2
3 open Gtk
4 open GObj
5 open GContainer
6
7 class scrolled_window : Gtk.scrolled_window obj ->
8   object
9     inherit container_full
10     val obj : Gtk.scrolled_window obj
11     method add_with_viewport : widget -> unit
12     method hadjustment : GData.adjustment
13     method set_hadjustment : GData.adjustment -> unit
14     method set_hpolicy : Tags.policy_type -> unit
15     method set_placement : Tags.corner_type -> unit
16     method set_vadjustment : GData.adjustment -> unit
17     method set_vpolicy : Tags.policy_type -> unit
18     method vadjustment : GData.adjustment
19   end
20 val scrolled_window :
21   ?hadjustment:GData.adjustment ->
22   ?vadjustment:GData.adjustment ->
23   ?hpolicy:Tags.policy_type ->
24   ?vpolicy:Tags.policy_type ->
25   ?placement:Tags.corner_type ->
26   ?border_width:int ->
27   ?width:int ->
28   ?height:int ->
29   ?packing:(widget -> unit) -> ?show:bool -> unit -> scrolled_window
30
31 class event_box : Gtk.event_box obj ->
32   object
33     inherit container_full
34     val obj : Gtk.event_box obj
35     method event : event_ops
36   end
37 val event_box :
38   ?border_width:int ->
39   ?width:int ->
40   ?height:int ->
41   ?packing:(widget -> unit) -> ?show:bool -> unit -> event_box
42
43 class handle_box_signals : 'a obj ->
44   object
45     inherit container_signals
46     constraint 'a = [>`handlebox|`container|`widget]
47     val obj : 'a obj
48     method child_attached : callback:(widget -> unit) -> GtkSignal.id
49     method child_detached : callback:(widget -> unit) -> GtkSignal.id
50   end
51
52 class handle_box : Gtk.handle_box obj ->
53   object
54     inherit container
55     val obj : Gtk.handle_box obj
56     method event : event_ops
57     method connect : handle_box_signals
58     method set_handle_position : Tags.position -> unit
59     method set_shadow_type : Tags.shadow_type -> unit
60     method set_snap_edge : Tags.position -> unit
61   end
62 val handle_box :
63   ?border_width:int ->
64   ?width:int ->
65   ?height:int ->
66   ?packing:(widget -> unit) -> ?show:bool -> unit -> handle_box
67
68 class frame_skel : 'a obj ->
69   object
70     inherit container
71     constraint 'a = [>`frame|`container|`widget]
72     val obj : 'a obj
73     method set_label : string -> unit
74     method set_label_align : ?x:clampf -> ?y:clampf -> unit -> unit
75     method set_shadow_type : Tags.shadow_type -> unit
76   end
77 class frame : [>`frame] obj ->
78   object
79     inherit frame_skel
80     val obj : Gtk.frame obj
81     method connect : GContainer.container_signals
82   end
83 val frame :
84   ?label:string ->
85   ?label_xalign:clampf ->
86   ?label_yalign:clampf ->
87   ?shadow_type:Tags.shadow_type ->
88   ?border_width:int ->
89   ?width:int ->
90   ?height:int ->
91   ?packing:(widget -> unit) -> ?show:bool -> unit -> frame
92
93 class aspect_frame : Gtk.aspect_frame obj ->
94   object
95     inherit frame
96     val obj : Gtk.aspect_frame obj
97     method set_alignment : ?x:clampf -> ?y:clampf -> unit -> unit
98     method set_obey_child : bool -> unit
99     method set_ratio : clampf -> unit
100   end
101 val aspect_frame :
102   ?label:string ->
103   ?xalign:clampf ->
104   ?yalign:clampf ->
105   ?ratio:float ->
106   ?obey_child:bool ->
107   ?label_xalign:clampf ->
108   ?label_yalign:clampf ->
109   ?shadow_type:Tags.shadow_type ->
110   ?border_width:int ->
111   ?width:int ->
112   ?height:int ->
113   ?packing:(widget -> unit) -> ?show:bool -> unit -> aspect_frame
114
115 class viewport : Gtk.viewport obj ->
116   object
117     inherit container_full
118     val obj : Gtk.viewport obj
119     method event : event_ops
120     method hadjustment : GData.adjustment
121     method set_hadjustment : GData.adjustment -> unit
122     method set_shadow_type : Gtk.Tags.shadow_type -> unit
123     method set_vadjustment : GData.adjustment -> unit
124     method vadjustment : GData.adjustment
125   end
126 val viewport :
127   ?hadjustment:GData.adjustment ->
128   ?vadjustment:GData.adjustment ->
129   ?shadow_type:Tags.shadow_type ->
130   ?border_width:int ->
131   ?width:int ->
132   ?height:int ->
133   ?packing:(widget -> unit) -> ?show:bool -> unit -> viewport
134
135 class alignment : Gtk.alignment obj ->
136   object
137     inherit container_full
138     val obj : Gtk.alignment obj
139     method set_alignment : ?x:Gtk.clampf -> ?y:Gtk.clampf -> unit -> unit
140     method set_scale : ?x:Gtk.clampf -> ?y:Gtk.clampf -> unit -> unit
141   end
142 val alignment :
143   ?x:Gtk.clampf ->
144   ?y:Gtk.clampf ->
145   ?xscale:Gtk.clampf ->
146   ?yscale:Gtk.clampf ->
147   ?border_width:int ->
148   ?width:int ->
149   ?height:int ->
150   ?packing:(widget -> unit) -> ?show:bool -> unit -> alignment
151 val alignment_cast : < as_widget : 'a obj; .. > -> alignment
152
153 class socket : Gtk.socket obj ->
154   object
155     inherit container_full
156     val obj : Gtk.socket obj
157     method steal : Gdk.xid -> unit
158     method xwindow : Gdk.xid
159   end
160
161 val socket :
162   ?border_width:int -> ?width:int -> ?height:int ->
163   ?packing:(widget -> unit) -> ?show:bool -> unit -> socket