X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2FgEdit.mli;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2FgEdit.mli;h=0000000000000000000000000000000000000000;hp=3b2c286ea109349cc2fe8c0b704169b2fc730fc7;hb=869549224eef6278a48c16ae27dd786376082b38;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8

diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gEdit.mli b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gEdit.mli
deleted file mode 100644
index 3b2c286ea..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gEdit.mli
+++ /dev/null
@@ -1,146 +0,0 @@
-(* $Id$ *)
-
-open Gtk
-open GObj
-
-class editable_signals : 'a obj ->
-  object
-    inherit widget_signals
-    constraint 'a = [>`editable|`widget]
-    val obj : 'a obj
-    method activate : callback:(unit -> unit) -> GtkSignal.id
-    method changed : callback:(unit -> unit) -> GtkSignal.id
-    method delete_text :
-      callback:(start:int -> stop:int -> unit) -> GtkSignal.id
-    method insert_text :
-      callback:(string -> pos:int -> unit) -> GtkSignal.id
-  end
-
-class editable : 'a obj ->
-  object
-    inherit widget
-    constraint 'a = [>`editable|`widget]
-    val obj : 'a obj
-    method connect : editable_signals
-    method copy_clipboard : unit -> unit
-    method cut_clipboard : unit -> unit
-    method delete_selection : unit -> unit
-    method delete_text : start:int -> stop:int -> unit
-    method get_chars : start:int -> stop:int -> string
-    method insert_text : string -> pos:int -> int
-    method paste_clipboard : unit -> unit
-    method position : int
-    method select_region : start:int -> stop:int -> unit
-    method selection : (int * int) option
-    method set_editable : bool -> unit
-    method set_position : int -> unit
-  end
-
-class entry : 'a obj ->
-  object
-    inherit editable
-    constraint 'a = [>`entry|`editable|`widget]
-    val obj : 'a obj
-    method event : event_ops
-    method append_text : string -> unit
-    method prepend_text : string -> unit
-    method set_max_length : int -> unit
-    method set_text : string -> unit
-    method set_visibility : bool -> unit
-    method text : string
-    method text_length : int
-  end
-val entry :
-  ?max_length:int ->
-  ?text:string ->
-  ?visibility:bool ->
-  ?editable:bool ->
-  ?width:int ->
-  ?height:int ->
-  ?packing:(widget -> unit) -> ?show:bool -> unit -> entry
-
-class spin_button : Gtk.spin_button obj ->
-  object
-    inherit entry
-    val obj : Gtk.spin_button obj
-    method adjustment : GData.adjustment
-    method set_adjustment : GData.adjustment -> unit
-    method set_digits : int -> unit
-    method set_numeric : bool -> unit
-    method set_shadow_type : Tags.shadow_type -> unit
-    method set_snap_to_ticks : bool -> unit
-    method set_update_policy : [`ALWAYS|`IF_VALID] -> unit
-    method set_value : float -> unit
-    method set_wrap : bool -> unit
-    method spin : Tags.spin_type -> unit
-    method update : unit
-    method value : float
-    method value_as_int : int
-  end
-val spin_button :
-  ?adjustment:GData.adjustment ->
-  ?rate:float ->
-  ?digits:int ->
-  ?value:float ->
-  ?update_policy:[`ALWAYS|`IF_VALID] ->
-  ?numeric:bool ->
-  ?wrap:bool ->
-  ?shadow_type:Tags.shadow_type ->
-  ?snap_to_ticks:bool ->
-  ?width:int ->
-  ?height:int ->
-  ?packing:(widget -> unit) -> ?show:bool -> unit -> spin_button
-
-class combo : Gtk.combo obj ->
-  object
-    inherit widget
-    val obj : Gtk.combo obj
-    method disable_activate : unit -> unit
-    method entry : entry
-    method list : GList.liste
-    method set_case_sensitive : bool -> unit
-    method set_item_string : GList.list_item -> string -> unit
-    method set_popdown_strings : string list -> unit
-    method set_use_arrows : [`NEVER|`DEFAULT|`ALWAYS] -> unit
-    method set_value_in_list :
-      ?required:bool -> ?ok_if_empty:bool -> unit -> unit
-  end
-val combo :
-  ?popdown_strings:string list ->
-  ?use_arrows:[`NEVER|`DEFAULT|`ALWAYS] ->
-  ?case_sensitive:bool ->
-  ?value_in_list:bool ->
-  ?ok_if_empty:bool ->
-  ?border_width:int ->
-  ?width:int ->
-  ?height:int ->
-  ?packing:(widget -> unit) -> ?show:bool -> unit -> combo
-
-class text : Gtk.text obj ->
-  object
-    inherit editable
-    val obj : Gtk.text obj
-    method event : event_ops
-    method freeze : unit -> unit
-    method hadjustment : GData.adjustment
-    method insert :
-      ?font:Gdk.font ->
-      ?foreground:GDraw.color -> ?background:GDraw.color -> string -> unit
-    method length : int
-    method point : int
-    method set_hadjustment : GData.adjustment -> unit
-    method set_point : int -> unit
-    method set_vadjustment : GData.adjustment -> unit
-    method set_word_wrap : bool -> unit
-    method set_line_wrap : bool -> unit
-    method thaw : unit -> unit
-    method vadjustment : GData.adjustment
-  end
-val text :
-  ?hadjustment:GData.adjustment ->
-  ?vadjustment:GData.adjustment ->
-  ?editable:bool ->
-  ?word_wrap:bool ->
-  ?line_wrap:bool ->
-  ?width:int ->
-  ?height:int -> ?packing:(widget -> unit) -> ?show:bool -> unit -> text