1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
|
(**************************************************************************)
(* Lablgtk - Examples *)
(* *)
(* This code is in the public domain. *)
(* You may freely copy parts of it in your application. *)
(* *)
(**************************************************************************)
open StdLabels;;
(* GtkMain.Main.init ();; *)
class input_buffer n = object
val mutable s = String.create n
val mutable pos = 0
method clear = pos <- 0
method input f =
if String.length s < pos + n then begin
let s' = String.create (String.length s * 2) in
String.blit ~src:s ~dst:s' ~src_pos:0 ~dst_pos:0 ~len:pos;
s <- s'
end;
let len = f s pos (String.length s - pos) in
pos <- pos + len;
len
method get =
String.sub s ~pos:0 ~len:pos
end
let f_to_string n =
let ic = open_in_bin n in
let ib = new input_buffer 1024 in
begin try
while ib#input (input ic) > 0 do () done;
with _ -> ()
end;
close_in ic; ib#get
let t_1 () =
let w = GWindow.window ~title:"1)view" () in
let t = GText.view ~packing:(w#add) () in
w#show ();;
let t_2 () =
let w = GWindow.window
~width:640 ~height:480 ~title:"2)view_with_buffer" ()
in
let sw = GBin.scrolled_window ~packing:(w#add) () in
let b = GText.buffer () in
let s = f_to_string "test.txt" in
b#set_text s;
GText.view ~buffer:b ~packing:(sw#add) ();
w#connect#destroy GMain.quit;
w#show ();;
let t_3 () =
let w = GWindow.window ~title:"3)view_with_buffer" () in
let b = GText.buffer () in
b#set_text "Bout de mon texte";
GText.view ~buffer:b ~packing:(w#add) ();
w#show ();;
let t_4 () =
let w = GWindow.window ~title:"4)set_buffer" () in
let b = GText.buffer () in
b#set_text "Un buffer a priori";
let tv = GText.view ~packing:(w#add) () in
tv#set_buffer b;
w#show ();;
let t_5 () =
let w = GWindow.window ~title:"5)get_buffer" () in
let tv = GText.view ~packing:(w#add) () in
tv#buffer#set_text "Un nouveau texte";
w#show ();;
let t_6 () =
let w = GWindow.window ~title:"6)tagtable" () in
let tt = GText.tag_table () in
let tb = GText.buffer ~tag_table:tt ~text:"un certain exemple...." () in
let tv = GText.view ~buffer:tb ~packing:(w#add) () in
Printf.printf "Size = %d \n" tt#size;
flush stdout;
w#show ();;
let t_7 () =
let w = GWindow.window ~title:"7)tag" () in
let tt = GText.tag ~name:"mon tag one" () in
Printf.printf "Priority = %d \n" tt#priority;
(*
Not able to set it because not in a tagtable: this is normal
tt#set_priority 10;
Printf.printf "Priority = %d \n" (tt#get_priority ());
*)
flush stdout;
w#show ();;
let t_8 () =
let w = GWindow.window ~title:"8)tags" () in
let t = GText.view ~packing:(w#add) () in
let tb = t#buffer in
let _ = tb#connect#apply_tag
~callback:(fun tag ~start ~stop ->
Printf.printf "Apply_tag has :\"%s\"\n"
(tb#get_text ~start ~stop ());
flush stdout
)
in
let _ = tb#connect#delete_range
~callback:(fun ~start ~stop ->
Printf.printf "delete_range_tag has :\"%s\"\n"
(tb#get_text ~start ~stop ());
flush stdout
)
in
let _ = tb#connect#insert_child_anchor ~callback:
(fun ti tca ->
Printf.printf "insert_child_anchor is there :\"%c\"\n"
(Char.chr ti#char);
flush stdout)
in
let _ = tb#connect#insert_text ~callback:
(fun ti s ->
Printf.printf "insert_text is there :'%c' \"%s\"\n"
(Char.chr ti#char) s;
flush stdout)
in
tb#set_text "Un nouveau texte";
let tt =
tb#create_tag [`BACKGROUND "red"; `FOREGROUND "blue"; `EDITABLE false] in
Printf.printf "Je vois :\"%s\"\n" (tb#get_text ());
flush stdout;
w#show ();;
let t_9 () =
let w = GWindow.window ~title:"8)tags" () in
let t = GText.view ~packing:(w#add) () in
let tb = t#buffer in
tb#set_text "Un nouveau texte";
let start = tb#start_iter in
tb#insert ~iter:start "1en plus1";
tb#insert ~iter:start "2en plus2" ;
tb#insert ~iter:tb#end_iter "3en plus3";
Printf.printf "Je vois :\"%s\"\n" (tb#get_text ());
flush stdout;
w#show ();;
let t_10 () =
let w = GWindow.window ~title:"10)Buffer signals" () in
let t = GText.view ~packing:(w#add) () in
let tb = t#buffer in
tb#set_text "Un nouveau texte";
let start = tb#start_iter in
tb#insert ~iter:start "1en plus1";
tb#insert ~iter:start "2en plus2";
tb#insert ~iter:tb#end_iter "3en plus3";
tb#connect#begin_user_action ~callback:
begin fun () ->
Printf.printf "Dans cette action je vois :\"%s\"\n" (tb#get_text ());
flush stdout
end;
tb#begin_user_action ();
tb#end_user_action ();
tb#begin_user_action ();
tb#end_user_action ();
tb#begin_user_action ();
tb#end_user_action ();
tb#begin_user_action ();
tb#end_user_action ();
w#show ();;
(* t_1();t_2 ();t_3();t_4();t_5();t_6();t_7();t_8;t_9;t_10 ();; *)
t_2 () ;;
GMain.Main.main ();;
|
