[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Mldonkey-commits] Changes to mldonkey/src/gtk2/gui/guiTypes2.ml
From: |
mldonkey-commits |
Subject: |
[Mldonkey-commits] Changes to mldonkey/src/gtk2/gui/guiTypes2.ml |
Date: |
Sat, 12 Nov 2005 06:16:47 -0500 |
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;
}
- [Mldonkey-commits] Changes to mldonkey/src/gtk2/gui/guiTypes2.ml,
mldonkey-commits <=