]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gWindow.mli
Initial revision
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / gWindow.mli
diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gWindow.mli b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gWindow.mli
new file mode 100644 (file)
index 0000000..4c89a76
--- /dev/null
@@ -0,0 +1,156 @@
+(* $Id$ *)
+
+open Gtk
+open GObj
+
+class ['a] window_skel : 'b obj ->
+  object
+    inherit GContainer.container
+    constraint 'a = 'a #window_skel
+    constraint 'b = [>`widget|`container|`window]
+    val obj : 'b obj
+    method activate_default : unit -> unit
+    method activate_focus : unit -> unit
+    method add_accel_group : accel_group -> unit
+    method event : event_ops
+    method as_window : Gtk.window obj
+    method set_allow_grow : bool -> unit
+    method set_allow_shrink : bool -> unit
+    method set_auto_shrink : bool -> unit
+    method set_default_size : width:int -> height:int -> unit
+    method set_modal : bool -> unit
+    method set_position : Tags.window_position -> unit
+    method set_resize_mode : Tags.resize_mode -> unit
+    method set_title : string -> unit
+    method set_transient_for : 'a -> unit
+    method set_wm_class : string -> unit
+    method set_wm_name : string -> unit
+    method show : unit -> unit
+  end
+
+class window : [>`window] obj ->
+  object
+    inherit [window] window_skel
+    val obj : Gtk.window obj
+    method connect : GContainer.container_signals
+  end
+val window :
+  ?kind:Tags.window_type ->
+  ?title:string ->
+  ?wm_name:string ->
+  ?wm_class:string ->
+  ?position:Tags.window_position ->
+  ?allow_shrink:bool ->
+  ?allow_grow:bool ->
+  ?auto_shrink:bool ->
+  ?modal:bool ->
+  ?x:int ->
+  ?y:int ->
+  ?border_width:int ->
+  ?width:int -> ?height:int -> ?show:bool -> unit -> window
+
+class dialog : [>`dialog] obj ->
+  object
+    inherit [window] window_skel
+    val obj : Gtk.dialog obj
+    method action_area : GPack.box
+    method connect : GContainer.container_signals
+    method event : event_ops
+    method vbox : GPack.box
+  end
+val dialog :
+  ?title:string ->
+  ?wm_name:string ->
+  ?wm_class:string ->
+  ?position:Tags.window_position ->
+  ?allow_shrink:bool ->
+  ?allow_grow:bool ->
+  ?auto_shrink:bool ->
+  ?modal:bool ->
+  ?x:int ->
+  ?y:int ->
+  ?border_width:int ->
+  ?width:int -> ?height:int -> ?show:bool -> unit -> dialog
+
+class color_selection_dialog : Gtk.color_selection_dialog obj ->
+  object
+    inherit [window] window_skel
+    val obj : Gtk.color_selection_dialog obj
+    method cancel_button : GButton.button
+    method colorsel : GMisc.color_selection
+    method connect : GContainer.container_signals
+    method help_button : GButton.button
+    method ok_button : GButton.button
+  end
+val color_selection_dialog :
+  ?title:string ->
+  ?wm_name:string ->
+  ?wm_class:string ->
+  ?position:Tags.window_position ->
+  ?allow_shrink:bool ->
+  ?allow_grow:bool ->
+  ?auto_shrink:bool ->
+  ?modal:bool ->
+  ?x:int ->
+  ?y:int ->
+  ?border_width:int ->
+  ?width:int -> ?height:int -> ?show:bool -> unit -> color_selection_dialog
+
+class file_selection : Gtk.file_selection obj ->
+  object
+    inherit [window] window_skel
+    val obj : Gtk.file_selection obj
+    method cancel_button : GButton.button
+    method connect : GContainer.container_signals
+    method get_filename : string
+    method help_button : GButton.button
+    method ok_button : GButton.button
+    method set_filename : string -> unit
+    method set_fileop_buttons : bool -> unit
+  end
+val file_selection :
+  ?title:string ->
+  ?filename:string ->
+  ?fileop_buttons:bool ->
+  ?wm_name:string ->
+  ?wm_class:string ->
+  ?position:Tags.window_position ->
+  ?allow_shrink:bool ->
+  ?allow_grow:bool ->
+  ?auto_shrink:bool ->
+  ?modal:bool ->
+  ?x:int ->
+  ?y:int ->
+  ?border_width:int ->
+  ?width:int -> ?height:int -> ?show:bool -> unit -> file_selection
+
+class font_selection_dialog : Gtk.font_selection_dialog obj ->
+  object
+    inherit [window] window_skel
+    val obj : Gtk.font_selection_dialog obj
+    method apply_button : GButton.button
+    method cancel_button : GButton.button
+    method connect : GContainer.container_signals
+    method selection : GMisc.font_selection
+    method ok_button : GButton.button
+  end
+val font_selection_dialog :
+  ?title:string ->
+  ?wm_name:string ->
+  ?wm_class:string ->
+  ?position:Tags.window_position ->
+  ?allow_shrink:bool ->
+  ?allow_grow:bool ->
+  ?auto_shrink:bool ->
+  ?modal:bool ->
+  ?x:int ->
+  ?y:int ->
+  ?border_width:int ->
+  ?width:int -> ?height:int -> ?show:bool -> unit -> font_selection_dialog
+
+class plug : Gtk.plug obj -> window
+
+val plug :
+  window:Gdk.xid ->
+  ?border_width:int ->
+  ?width:int -> ?height:int -> ?show:bool -> unit -> plug