X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2FgWindow.mli;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2FgWindow.mli;h=0000000000000000000000000000000000000000;hp=4c89a76b612e5fe7a96505b3dd669cc0bc7ab48b;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff

diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gWindow.mli b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gWindow.mli
deleted file mode 100644
index 4c89a76b6..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gWindow.mli
+++ /dev/null
@@ -1,156 +0,0 @@
-(* $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