]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gEdit.mli
Initial revision
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / gEdit.mli
diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gEdit.mli b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gEdit.mli
new file mode 100644 (file)
index 0000000..3b2c286
--- /dev/null
@@ -0,0 +1,146 @@
+(* $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