let current_font_size = ref(
let file_config_command = (path_span^"/bin/protocol_simulation/font_size.ini") in
let string_to_int s = (try
int_of_string s
with _ -> -1 ) in
if(Sys.file_exists file_config_command)
then( let rec aux l =
match l with [] -> 10
|(x::ls) -> if((string_to_int x) > (-1))
then (string_to_int x)
else aux ls;
in aux (readFile file_config_command)
)
else 10
)