]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gWindow.mli
* click signal changed: now the element argument is optional
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / gWindow.mli
1 (* $Id$ *)
2
3 open Gtk
4 open GObj
5
6 class ['a] window_skel : 'b obj ->
7   object
8     inherit GContainer.container
9     constraint 'a = 'a #window_skel
10     constraint 'b = [>`widget|`container|`window]
11     val obj : 'b obj
12     method activate_default : unit -> unit
13     method activate_focus : unit -> unit
14     method add_accel_group : accel_group -> unit
15     method event : event_ops
16     method as_window : Gtk.window obj
17     method set_allow_grow : bool -> unit
18     method set_allow_shrink : bool -> unit
19     method set_auto_shrink : bool -> unit
20     method set_default_size : width:int -> height:int -> unit
21     method set_modal : bool -> unit
22     method set_position : Tags.window_position -> unit
23     method set_resize_mode : Tags.resize_mode -> unit
24     method set_title : string -> unit
25     method set_transient_for : 'a -> unit
26     method set_wm_class : string -> unit
27     method set_wm_name : string -> unit
28     method show : unit -> unit
29   end
30
31 class window : [>`window] obj ->
32   object
33     inherit [window] window_skel
34     val obj : Gtk.window obj
35     method connect : GContainer.container_signals
36   end
37 val window :
38   ?kind:Tags.window_type ->
39   ?title:string ->
40   ?wm_name:string ->
41   ?wm_class:string ->
42   ?position:Tags.window_position ->
43   ?allow_shrink:bool ->
44   ?allow_grow:bool ->
45   ?auto_shrink:bool ->
46   ?modal:bool ->
47   ?x:int ->
48   ?y:int ->
49   ?border_width:int ->
50   ?width:int -> ?height:int -> ?show:bool -> unit -> window
51
52 class dialog : [>`dialog] obj ->
53   object
54     inherit [window] window_skel
55     val obj : Gtk.dialog obj
56     method action_area : GPack.box
57     method connect : GContainer.container_signals
58     method event : event_ops
59     method vbox : GPack.box
60   end
61 val dialog :
62   ?title:string ->
63   ?wm_name:string ->
64   ?wm_class:string ->
65   ?position:Tags.window_position ->
66   ?allow_shrink:bool ->
67   ?allow_grow:bool ->
68   ?auto_shrink:bool ->
69   ?modal:bool ->
70   ?x:int ->
71   ?y:int ->
72   ?border_width:int ->
73   ?width:int -> ?height:int -> ?show:bool -> unit -> dialog
74
75 class color_selection_dialog : Gtk.color_selection_dialog obj ->
76   object
77     inherit [window] window_skel
78     val obj : Gtk.color_selection_dialog obj
79     method cancel_button : GButton.button
80     method colorsel : GMisc.color_selection
81     method connect : GContainer.container_signals
82     method help_button : GButton.button
83     method ok_button : GButton.button
84   end
85 val color_selection_dialog :
86   ?title:string ->
87   ?wm_name:string ->
88   ?wm_class:string ->
89   ?position:Tags.window_position ->
90   ?allow_shrink:bool ->
91   ?allow_grow:bool ->
92   ?auto_shrink:bool ->
93   ?modal:bool ->
94   ?x:int ->
95   ?y:int ->
96   ?border_width:int ->
97   ?width:int -> ?height:int -> ?show:bool -> unit -> color_selection_dialog
98
99 class file_selection : Gtk.file_selection obj ->
100   object
101     inherit [window] window_skel
102     val obj : Gtk.file_selection obj
103     method cancel_button : GButton.button
104     method connect : GContainer.container_signals
105     method get_filename : string
106     method help_button : GButton.button
107     method ok_button : GButton.button
108     method set_filename : string -> unit
109     method set_fileop_buttons : bool -> unit
110   end
111 val file_selection :
112   ?title:string ->
113   ?filename:string ->
114   ?fileop_buttons:bool ->
115   ?wm_name:string ->
116   ?wm_class:string ->
117   ?position:Tags.window_position ->
118   ?allow_shrink:bool ->
119   ?allow_grow:bool ->
120   ?auto_shrink:bool ->
121   ?modal:bool ->
122   ?x:int ->
123   ?y:int ->
124   ?border_width:int ->
125   ?width:int -> ?height:int -> ?show:bool -> unit -> file_selection
126
127 class font_selection_dialog : Gtk.font_selection_dialog obj ->
128   object
129     inherit [window] window_skel
130     val obj : Gtk.font_selection_dialog obj
131     method apply_button : GButton.button
132     method cancel_button : GButton.button
133     method connect : GContainer.container_signals
134     method selection : GMisc.font_selection
135     method ok_button : GButton.button
136   end
137 val font_selection_dialog :
138   ?title:string ->
139   ?wm_name:string ->
140   ?wm_class:string ->
141   ?position:Tags.window_position ->
142   ?allow_shrink:bool ->
143   ?allow_grow:bool ->
144   ?auto_shrink:bool ->
145   ?modal:bool ->
146   ?x:int ->
147   ?y:int ->
148   ?border_width:int ->
149   ?width:int -> ?height:int -> ?show:bool -> unit -> font_selection_dialog
150
151 class plug : Gtk.plug obj -> window
152
153 val plug :
154   window:Gdk.xid ->
155   ?border_width:int ->
156   ?width:int -> ?height:int -> ?show:bool -> unit -> plug