33 |
|
|
34 |
type tray = |
type tray = |
35 |
{ |
{ |
36 |
mutable create_tray : GdkPixbuf.pixbuf -> string -> unit; |
mutable create_tray : GdkPixbuf.pixbuf -> string -> unit; |
37 |
mutable set_icon_tray : GdkPixbuf.pixbuf -> unit; |
mutable set_icon_tray : GdkPixbuf.pixbuf -> unit; |
38 |
mutable set_tooltip_tray : string -> unit; |
mutable set_tooltip_tray : string -> unit; |
39 |
mutable destroy_tray : unit -> unit; |
mutable destroy_tray : unit -> unit; |
40 |
} |
} |
41 |
|
|
42 |
type gui_init = |
type gui_init = |
43 |
{ |
{ |
44 |
mutable networks : bool; |
mutable networks : bool; |
45 |
mutable servers : bool; |
mutable servers : bool; |
46 |
mutable downloads : bool; |
mutable downloads : bool; |
47 |
mutable friends : bool; |
mutable friends : bool; |
48 |
mutable queries : bool; |
mutable queries : bool; |
49 |
mutable rooms : bool; |
mutable rooms : bool; |
50 |
mutable uploads : bool; |
mutable uploads : bool; |
51 |
mutable settings : bool; |
mutable settings : bool; |
52 |
mutable console : bool; |
mutable console : bool; |
53 |
} |
} |
54 |
|
|
55 |
type gui = |
type gui = |
56 |
{ |
{ |
57 |
window : GWindow.window ; |
window : GWindow.window ; |
58 |
vbox : GPack.box; |
vbox : GPack.box; |
59 |
wtool : GuiTools.tool_bar; |
wtool : GuiTools.tool_bar; |
60 |
init : gui_init; |
init : gui_init; |
61 |
clear : unit -> unit; |
clear : unit -> unit; |
62 |
set_corestatus : core_status -> unit; |
set_corestatus : core_status -> unit; |
63 |
|
|
64 |
mutable current_page : int; |
mutable current_page : int; |
65 |
mutable switch_to_page : int -> unit; |
mutable switch_to_page : int -> unit; |
66 |
mutable set_splash_screen : string -> string -> unit; |
mutable set_splash_screen : string -> string -> unit; |
67 |
mutable update_current_page : unit -> unit; |
mutable update_current_page : unit -> unit; |
68 |
} |
} |
69 |
|
|
70 |
type net_info = { |
type net_info = { |
71 |
net_num : int; |
net_num : int; |
72 |
net_name : string; |
net_name : string; |
73 |
net_flags : network_flag list; |
net_flags : network_flag list; |
74 |
mutable net_enabled : bool; |
mutable net_enabled : bool; |
75 |
mutable net_displayed : bool; |
mutable net_displayed : bool; |
76 |
mutable net_uploaded : int64; |
mutable net_uploaded : int64; |
77 |
mutable net_downloaded : int64; |
mutable net_downloaded : int64; |
78 |
mutable net_connected : int; |
mutable net_connected : int; |
79 |
} |
} |
80 |
|
|
81 |
type net_box = |
type net_box = |
82 |
{ |
{ |
83 |
box_button : GButton.button; |
box_button : GButton.button; |
84 |
box_uploaded : GMisc.label; |
box_uploaded : GMisc.label; |
85 |
box_downloaded : GMisc.label; |
box_downloaded : GMisc.label; |
86 |
box_connected_servers : GMisc.label; |
box_connected_servers : GMisc.label; |
87 |
} |
} |
88 |
|
|
149 |
|
|
150 |
type res_info = |
type res_info = |
151 |
{ |
{ |
152 |
res_num : int; |
res_num : int; |
153 |
res_network : int; |
res_network : int; |
154 |
res_name : string; |
mutable res_computed : bool; |
155 |
res_uid : string; |
mutable res_name : string; |
156 |
res_size : int64; |
mutable res_uid : string; |
157 |
res_format : string; |
mutable res_size : int64; |
158 |
res_type : string; |
mutable res_format : string; |
159 |
res_duration : string; |
mutable res_type : string; |
160 |
res_codec : string; |
mutable res_duration : string; |
161 |
res_bitrate : int; |
mutable res_codec : string; |
162 |
res_availability : int; |
mutable res_bitrate : int; |
163 |
res_completesources : int; |
mutable res_availability : int; |
164 |
res_tags : string; |
mutable res_completesources : int; |
165 |
res_comment : string; |
mutable res_tags : string; |
166 |
res_color : string; |
mutable res_comment : string; |
167 |
mutable res_network_pixb : GdkPixbuf.pixbuf option; |
mutable res_color : string; |
168 |
mutable res_name_pixb : GdkPixbuf.pixbuf option; |
mutable res_network_pixb : GdkPixbuf.pixbuf option; |
169 |
|
mutable res_name_pixb : GdkPixbuf.pixbuf option; |
170 |
} |
} |
171 |
|
|
172 |
type g_file_tree = |
type g_file_tree = |
173 |
{ |
{ |
174 |
mutable g_file_tree_num : int; |
mutable g_file_tree_num : int; |
175 |
mutable g_file_tree_name : string; |
mutable g_file_tree_name : string; |
176 |
mutable g_file_tree_list : g_file_tree_item list; |
mutable g_file_tree_list : g_file_tree_item list; |
177 |
mutable g_file_tree_pixb : GdkPixbuf.pixbuf option; |
mutable g_file_tree_pixb : GdkPixbuf.pixbuf option; |
191 |
source_num : int; |
source_num : int; |
192 |
source_network : int; |
source_network : int; |
193 |
|
|
194 |
mutable source_kind : location_kind; |
mutable source_kind : location_kind; |
195 |
mutable source_state : host_state; |
mutable source_state : host_state; |
196 |
mutable source_type : client_type; |
mutable source_type : client_type; |
197 |
mutable source_tags : CommonTypes.tag list; |
mutable source_tags : CommonTypes.tag list; |
198 |
mutable source_name : string; |
mutable source_name : string; |
199 |
mutable source_files : g_file_tree option; |
mutable source_files : g_file_tree option; |
200 |
mutable source_rating : int; |
mutable source_rating : int; |
201 |
mutable source_chat_port : int; |
mutable source_chat_port : int; |
202 |
mutable source_connect_time : int; |
mutable source_connect_time : int; |
203 |
mutable source_last_seen : float; |
mutable source_last_seen : float; |
204 |
mutable source_software : string; |
mutable source_software : string; |
205 |
mutable source_downloaded : int64; |
mutable source_downloaded : int64; |
206 |
mutable source_uploaded : int64; |
mutable source_uploaded : int64; |
207 |
mutable source_upload_rate : float; |
mutable source_upload_rate : float; |
208 |
mutable source_download_rate : float; |
mutable source_download_rate : float; |
209 |
mutable source_upload : string option; |
mutable source_upload : string option; |
210 |
mutable source_has_upload : source_slot; |
mutable source_has_upload : source_slot; |
211 |
mutable source_availability : (int * string) list; (* file_num, availability *) |
mutable source_availability : (int * string) list; (* file_num, availability *) |
212 |
mutable source_files_requested : int list; (* file_num *) |
mutable source_files_requested : int list; (* file_num *) |
213 |
} |
} |
214 |
|
|
224 |
g_file_num : int; |
g_file_num : int; |
225 |
g_file_network : int; |
g_file_network : int; |
226 |
|
|
227 |
mutable g_file_comment : string; |
mutable g_file_comment : string; |
228 |
mutable g_file_name : string; |
mutable g_file_name : string; |
229 |
mutable g_file_names : (string * ips_list) list; |
mutable g_file_names : (string * ips_list) list; |
230 |
mutable g_file_size : int64; |
mutable g_file_size : int64; |
231 |
mutable g_file_downloaded : int64; |
mutable g_file_downloaded : int64; |
232 |
mutable g_file_active_sources : int; |
mutable g_file_active_sources : int; |
233 |
mutable g_file_all_sources : int; |
mutable g_file_all_sources : int; |
234 |
mutable g_file_state : file_state; |
mutable g_file_state : file_state; |
235 |
mutable g_file_chunks : string; |
mutable g_file_chunks : string; |
236 |
mutable g_file_availability : (int * string) list; |
mutable g_file_availability : (int * string) list; |
237 |
mutable g_file_sources : int list option; |
mutable g_file_sources : int list option; |
238 |
mutable g_file_download_rate : float; |
mutable g_file_download_rate : float; |
239 |
mutable g_file_format : format; |
mutable g_file_format : format; |
240 |
mutable g_file_chunks_age : int array; |
mutable g_file_chunks_age : int array; |
241 |
mutable g_file_age : int; |
mutable g_file_age : int; |
242 |
mutable g_file_last_seen : int; |
mutable g_file_last_seen : int; |
243 |
mutable g_file_priority : int; |
mutable g_file_priority : int; |
244 |
mutable g_file_uids : Uid.t list; |
mutable g_file_uids : Uid.t list; |
245 |
|
|
246 |
mutable g_file_razorback_stats : razorback_stats option; |
mutable g_file_razorback_stats : razorback_stats option; |
247 |
} |
} |
261 |
| QF_OR of query_form list |
| QF_OR of query_form list |
262 |
| QF_ANDNOT of query_form * query_form |
| QF_ANDNOT of query_form * query_form |
263 |
| QF_MODULE of query_form |
| QF_MODULE of query_form |
264 |
|
|
265 |
| QF_KEYWORDS of ent |
| QF_KEYWORDS of ent |
266 |
| QF_MINSIZE of ent * ent (* number and unit *) |
| QF_MINSIZE of ent * ent (* number and unit *) |
267 |
| QF_MAXSIZE of ent * ent (* number and unit *) |
| QF_MAXSIZE of ent * ent (* number and unit *) |
268 |
| QF_FORMAT of ent |
| QF_FORMAT of ent |
269 |
| QF_MEDIA of ent |
| QF_MEDIA of ent |
270 |
|
|
271 |
| QF_MP3_ARTIST of ent |
| QF_MP3_ARTIST of ent |
272 |
| QF_MP3_TITLE of ent |
| QF_MP3_TITLE of ent |
273 |
| QF_MP3_ALBUM of ent |
| QF_MP3_ALBUM of ent |
274 |
| QF_MP3_BITRATE of ent |
| QF_MP3_BITRATE of ent |
275 |
|
|
276 |
| QF_COMBO of string ref |
| QF_COMBO of string ref |
277 |
|
|
278 |
| QF_HIDDEN of query_form list |
| QF_HIDDEN of query_form list |
279 |
|
|
280 |
type shared_file = |
type shared_file = |
281 |
{ |
{ |
282 |
g_shared_num : int; |
g_shared_num : int; |
283 |
g_shared_network : int; |
g_shared_network : int; |
284 |
mutable g_shared_filename : string; |
mutable g_shared_filename : string; |
285 |
mutable g_shared_size : int64; |
mutable g_shared_size : int64; |
286 |
mutable g_shared_uploaded : int64; |
mutable g_shared_uploaded : int64; |
287 |
mutable g_shared_requests : int; |
mutable g_shared_requests : int; |
288 |
mutable g_shared_uids : Uid.t list; |
mutable g_shared_uids : Uid.t list; |
289 |
mutable g_shared_last_seen : float; |
mutable g_shared_last_seen : float; |
290 |
} |
} |