]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gEdit.mli
* implemented a more efficient selection to avoid flickering
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20001129-0.1.0 / gEdit.mli
1 (* $Id$ *)
2
3 open Gtk
4 open GObj
5
6 class editable_signals : 'a obj ->
7   object
8     inherit widget_signals
9     constraint 'a = [>`editable|`widget]
10     val obj : 'a obj
11     method activate : callback:(unit -> unit) -> GtkSignal.id
12     method changed : callback:(unit -> unit) -> GtkSignal.id
13     method delete_text :
14       callback:(start:int -> stop:int -> unit) -> GtkSignal.id
15     method insert_text :
16       callback:(string -> pos:int -> unit) -> GtkSignal.id
17   end
18
19 class editable : 'a obj ->
20   object
21     inherit widget
22     constraint 'a = [>`editable|`widget]
23     val obj : 'a obj
24     method connect : editable_signals
25     method copy_clipboard : unit -> unit
26     method cut_clipboard : unit -> unit
27     method delete_selection : unit -> unit
28     method delete_text : start:int -> stop:int -> unit
29     method get_chars : start:int -> stop:int -> string
30     method insert_text : string -> pos:int -> int
31     method paste_clipboard : unit -> unit
32     method position : int
33     method select_region : start:int -> stop:int -> unit
34     method selection : (int * int) option
35     method set_editable : bool -> unit
36     method set_position : int -> unit
37   end
38
39 class entry : 'a obj ->
40   object
41     inherit editable
42     constraint 'a = [>`entry|`editable|`widget]
43     val obj : 'a obj
44     method event : event_ops
45     method append_text : string -> unit
46     method prepend_text : string -> unit
47     method set_max_length : int -> unit
48     method set_text : string -> unit
49     method set_visibility : bool -> unit
50     method text : string
51     method text_length : int
52   end
53 val entry :
54   ?max_length:int ->
55   ?text:string ->
56   ?visibility:bool ->
57   ?editable:bool ->
58   ?width:int ->
59   ?height:int ->
60   ?packing:(widget -> unit) -> ?show:bool -> unit -> entry
61
62 class spin_button : Gtk.spin_button obj ->
63   object
64     inherit entry
65     val obj : Gtk.spin_button obj
66     method adjustment : GData.adjustment
67     method set_adjustment : GData.adjustment -> unit
68     method set_digits : int -> unit
69     method set_numeric : bool -> unit
70     method set_shadow_type : Tags.shadow_type -> unit
71     method set_snap_to_ticks : bool -> unit
72     method set_update_policy : [`ALWAYS|`IF_VALID] -> unit
73     method set_value : float -> unit
74     method set_wrap : bool -> unit
75     method spin : Tags.spin_type -> unit
76     method update : unit
77     method value : float
78     method value_as_int : int
79   end
80 val spin_button :
81   ?adjustment:GData.adjustment ->
82   ?rate:float ->
83   ?digits:int ->
84   ?value:float ->
85   ?update_policy:[`ALWAYS|`IF_VALID] ->
86   ?numeric:bool ->
87   ?wrap:bool ->
88   ?shadow_type:Tags.shadow_type ->
89   ?snap_to_ticks:bool ->
90   ?width:int ->
91   ?height:int ->
92   ?packing:(widget -> unit) -> ?show:bool -> unit -> spin_button
93
94 class combo : Gtk.combo obj ->
95   object
96     inherit widget
97     val obj : Gtk.combo obj
98     method disable_activate : unit -> unit
99     method entry : entry
100     method list : GList.liste
101     method set_case_sensitive : bool -> unit
102     method set_item_string : GList.list_item -> string -> unit
103     method set_popdown_strings : string list -> unit
104     method set_use_arrows : [`NEVER|`DEFAULT|`ALWAYS] -> unit
105     method set_value_in_list :
106       ?required:bool -> ?ok_if_empty:bool -> unit -> unit
107   end
108 val combo :
109   ?popdown_strings:string list ->
110   ?use_arrows:[`NEVER|`DEFAULT|`ALWAYS] ->
111   ?case_sensitive:bool ->
112   ?value_in_list:bool ->
113   ?ok_if_empty:bool ->
114   ?border_width:int ->
115   ?width:int ->
116   ?height:int ->
117   ?packing:(widget -> unit) -> ?show:bool -> unit -> combo
118
119 class text : Gtk.text obj ->
120   object
121     inherit editable
122     val obj : Gtk.text obj
123     method event : event_ops
124     method freeze : unit -> unit
125     method hadjustment : GData.adjustment
126     method insert :
127       ?font:Gdk.font ->
128       ?foreground:GDraw.color -> ?background:GDraw.color -> string -> unit
129     method length : int
130     method point : int
131     method set_hadjustment : GData.adjustment -> unit
132     method set_point : int -> unit
133     method set_vadjustment : GData.adjustment -> unit
134     method set_word_wrap : bool -> unit
135     method set_line_wrap : bool -> unit
136     method thaw : unit -> unit
137     method vadjustment : GData.adjustment
138   end
139 val text :
140   ?hadjustment:GData.adjustment ->
141   ?vadjustment:GData.adjustment ->
142   ?editable:bool ->
143   ?word_wrap:bool ->
144   ?line_wrap:bool ->
145   ?width:int ->
146   ?height:int -> ?packing:(widget -> unit) -> ?show:bool -> unit -> text