[Mldonkey-commits] Changes to mldonkey/src/gtk2/gui/guiTypes2.ml

[mldonkey-commits]

Index: mldonkey/src/gtk2/gui/guiTypes2.ml
diff -u mldonkey/src/gtk2/gui/guiTypes2.ml:1.3 
mldonkey/src/gtk2/gui/guiTypes2.ml:1.4
--- mldonkey/src/gtk2/gui/guiTypes2.ml:1.3      Mon Oct 31 18:34:02 2005
+++ mldonkey/src/gtk2/gui/guiTypes2.ml  Sat Nov 12 11:16:36 2005
@@ -33,56 +33,56 @@
 
 type tray =
   {
-   mutable create_tray : GdkPixbuf.pixbuf -> string -> unit;
-   mutable set_icon_tray : GdkPixbuf.pixbuf -> unit;
+   mutable create_tray      : GdkPixbuf.pixbuf -> string -> unit;
+   mutable set_icon_tray    : GdkPixbuf.pixbuf -> unit;
    mutable set_tooltip_tray : string -> unit;
-   mutable destroy_tray : unit -> unit;
+   mutable destroy_tray     : unit -> unit;
   }
 
 type gui_init =
   {
-   mutable networks : bool;
-   mutable servers : bool;
+   mutable networks  : bool;
+   mutable servers   : bool;
    mutable downloads : bool;
-   mutable friends : bool;
-   mutable queries : bool;
-   mutable rooms : bool;
-   mutable uploads : bool;
-   mutable settings : bool;
-   mutable console : bool;
+   mutable friends   : bool;
+   mutable queries   : bool;
+   mutable rooms     : bool;
+   mutable uploads   : bool;
+   mutable settings  : bool;
+   mutable console   : bool;
   }
 
 type gui =
   {
-   window : GWindow.window ;
-   vbox : GPack.box;
-   wtool : GuiTools.tool_bar;
-   init : gui_init;
-   clear : unit -> unit;
+   window         : GWindow.window ;
+   vbox           : GPack.box;
+   wtool          : GuiTools.tool_bar;
+   init           : gui_init;
+   clear          : unit -> unit;
    set_corestatus : core_status -> unit;
 
-   mutable current_page : int;
-   mutable switch_to_page : int -> unit;
-   mutable set_splash_screen : string -> string -> unit;
+   mutable current_page        : int;
+   mutable switch_to_page      : int -> unit;
+   mutable set_splash_screen   : string -> string -> unit;
    mutable update_current_page : unit -> unit;
   }
 
 type net_info = {
-    net_num : int;
-    net_name : string;
-    net_flags : network_flag list;
-    mutable net_enabled : bool;
-    mutable net_displayed : bool;
-    mutable net_uploaded : int64;
+    net_num                : int;
+    net_name               : string;
+    net_flags              : network_flag list;
+    mutable net_enabled    : bool;
+    mutable net_displayed  : bool;
+    mutable net_uploaded   : int64;
     mutable net_downloaded : int64;
-    mutable net_connected : int;
+    mutable net_connected  : int;
   }
 
 type net_box =
   {
-   box_button : GButton.button;
-   box_uploaded : GMisc.label;
-   box_downloaded : GMisc.label;
+   box_button            : GButton.button;
+   box_uploaded          : GMisc.label;
+   box_downloaded        : GMisc.label;
    box_connected_servers : GMisc.label;
   }
 
@@ -149,28 +149,29 @@
 
 type res_info =
   {
-    res_num : int;    
-    res_network : int;
-    res_name : string;
-    res_uid : string;
-    res_size : int64;
-    res_format : string;
-    res_type : string;
-    res_duration : string;
-    res_codec : string;
-    res_bitrate : int;
-    res_availability : int;
-    res_completesources : int;
-    res_tags : string;
-    res_comment : string;
-    res_color : string;
-    mutable res_network_pixb : GdkPixbuf.pixbuf option;
-    mutable res_name_pixb : GdkPixbuf.pixbuf option;
+    res_num                     : int;
+    res_network                 : int;
+    mutable res_computed        : bool;
+    mutable res_name            : string;
+    mutable res_uid             : string;
+    mutable res_size            : int64;
+    mutable res_format          : string;
+    mutable res_type            : string;
+    mutable res_duration        : string;
+    mutable res_codec           : string;
+    mutable res_bitrate         : int;
+    mutable res_availability    : int;
+    mutable res_completesources : int;
+    mutable res_tags            : string;
+    mutable res_comment         : string;
+    mutable res_color           : string;
+    mutable res_network_pixb    : GdkPixbuf.pixbuf option;
+    mutable res_name_pixb       : GdkPixbuf.pixbuf option;
   }
 
 type g_file_tree =
   {
-   mutable g_file_tree_num : int;
+   mutable g_file_tree_num  : int;
    mutable g_file_tree_name : string;
    mutable g_file_tree_list : g_file_tree_item list;
    mutable g_file_tree_pixb : GdkPixbuf.pixbuf option;
@@ -190,24 +191,24 @@
     source_num : int;
     source_network : int;
 
-    mutable source_kind : location_kind;
-    mutable source_state : host_state;
-    mutable source_type : client_type;
-    mutable source_tags : CommonTypes.tag list;
-    mutable source_name : string;
-    mutable source_files :  g_file_tree option;
-    mutable source_rating : int;
-    mutable source_chat_port : int;
-    mutable source_connect_time : int;
-    mutable source_last_seen : float;
-    mutable source_software : string;
-    mutable source_downloaded : int64;
-    mutable source_uploaded : int64;
-    mutable source_upload_rate : float;
-    mutable source_download_rate : float;
-    mutable source_upload : string option;
-    mutable source_has_upload : source_slot;
-    mutable source_availability : (int * string) list;     (* file_num, 
availability *)
+    mutable source_kind            : location_kind;
+    mutable source_state           : host_state;
+    mutable source_type            : client_type;
+    mutable source_tags            : CommonTypes.tag list;
+    mutable source_name            : string;
+    mutable source_files           :  g_file_tree option;
+    mutable source_rating          : int;
+    mutable source_chat_port       : int;
+    mutable source_connect_time    : int;
+    mutable source_last_seen       : float;
+    mutable source_software        : string;
+    mutable source_downloaded      : int64;
+    mutable source_uploaded        : int64;
+    mutable source_upload_rate     : float;
+    mutable source_download_rate   : float;
+    mutable source_upload          : string option;
+    mutable source_has_upload      : source_slot;
+    mutable source_availability    : (int * string) list;  (* file_num, 
availability *)
     mutable source_files_requested : int list;             (* file_num *)
   }
 
@@ -223,24 +224,24 @@
     g_file_num : int;
     g_file_network : int;
 
-    mutable g_file_comment : string;
-    mutable g_file_name : string;
-    mutable g_file_names : (string * ips_list) list;
-    mutable g_file_size : int64;
-    mutable g_file_downloaded : int64;
+    mutable g_file_comment        : string;
+    mutable g_file_name           : string;
+    mutable g_file_names          : (string * ips_list) list;
+    mutable g_file_size           : int64;
+    mutable g_file_downloaded     : int64;
     mutable g_file_active_sources : int;
-    mutable g_file_all_sources : int;
-    mutable g_file_state : file_state;
-    mutable g_file_chunks : string;
-    mutable g_file_availability : (int * string) list;
-    mutable g_file_sources : int list option;
-    mutable g_file_download_rate : float;
-    mutable g_file_format : format;
-    mutable g_file_chunks_age : int array;
-    mutable g_file_age : int;
-    mutable g_file_last_seen : int;
-    mutable g_file_priority : int;
-    mutable g_file_uids : Uid.t list;
+    mutable g_file_all_sources    : int;
+    mutable g_file_state          : file_state;
+    mutable g_file_chunks         : string;
+    mutable g_file_availability   : (int * string) list;
+    mutable g_file_sources        : int list option;
+    mutable g_file_download_rate  : float;
+    mutable g_file_format         : format;
+    mutable g_file_chunks_age     : int array;
+    mutable g_file_age            : int;
+    mutable g_file_last_seen      : int;
+    mutable g_file_priority       : int;
+    mutable g_file_uids           : Uid.t list;
 
     mutable g_file_razorback_stats : razorback_stats option;
   }
@@ -260,30 +261,30 @@
 | QF_OR of query_form list
 | QF_ANDNOT of query_form * query_form  
 | QF_MODULE of query_form
-  
+
 | QF_KEYWORDS of ent
 | QF_MINSIZE of ent * ent (* number and unit *)
 | QF_MAXSIZE of ent * ent (* number and unit *)
 | QF_FORMAT of ent
 | QF_MEDIA of ent
-  
+
 | QF_MP3_ARTIST of ent
 | QF_MP3_TITLE of ent
 | QF_MP3_ALBUM of ent
 | QF_MP3_BITRATE of ent
 
 | QF_COMBO of string ref
-  
+
 | QF_HIDDEN of query_form list
 
 type shared_file =
   {
-    g_shared_num : int;
-    g_shared_network : int;
-    mutable g_shared_filename : string;
-    mutable g_shared_size : int64;
-    mutable g_shared_uploaded : int64;
-    mutable g_shared_requests : int;
-    mutable g_shared_uids : Uid.t list;
+    g_shared_num               : int;
+    g_shared_network           : int;
+    mutable g_shared_filename  : string;
+    mutable g_shared_size      : int64;
+    mutable g_shared_uploaded  : int64;
+    mutable g_shared_requests  : int;
+    mutable g_shared_uids      : Uid.t list;
     mutable g_shared_last_seen : float;
   }