/[mldonkey]/mldonkey/src/gtk2/gui/guiTypes2.ml
ViewVC logotype

Diff of /mldonkey/src/gtk2/gui/guiTypes2.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.3 by spiralvoice, Mon Oct 31 18:34:02 2005 UTC revision 1.4 by spiralvoice, Sat Nov 12 11:16:36 2005 UTC
# Line 33  type button_types = Line 33  type button_types =
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    
# Line 149  type gui_group = Line 149  type gui_group =
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;
# Line 190  type source_info = Line 191  type source_info =
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    
# Line 223  type g_file_info = { Line 224  type g_file_info = {
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    }    }
# Line 260  type query_form = Line 261  type query_form =
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    }    }

Legend:
Removed from v.1.3  
changed lines
  Added in v.1.4

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26