728 |
mutable gui_rooms : numevents; |
mutable gui_rooms : numevents; |
729 |
mutable gui_results : numevents; |
mutable gui_results : numevents; |
730 |
mutable gui_shared_files : numevents; |
mutable gui_shared_files : numevents; |
731 |
|
mutable gui_networks : numevents; |
732 |
|
|
733 |
} |
} |
734 |
|
|
746 |
| Room_info_event of room |
| Room_info_event of room |
747 |
| Result_info_event of result |
| Result_info_event of result |
748 |
| Shared_info_event of shared |
| Shared_info_event of shared |
749 |
|
| Network_info_event of network |
750 |
|
|
751 |
| Client_new_file_event of client * string * result |
| Client_new_file_event of client * string * result |
752 |
| File_add_source_event of file * client |
| File_add_source_event of file * client |