self#set_font_size !current_font_size;
ignore (self#connect#selection_changed self#choose_selection);
ignore (self#connect#click (fun (gdome_elt, _, _, _) ->
match gdome_elt with
| Some elt (* element is an hyperlink, use href_callback on it *)
self#set_font_size !current_font_size;
ignore (self#connect#selection_changed self#choose_selection);
ignore (self#connect#click (fun (gdome_elt, _, _, _) ->
match gdome_elt with
| Some elt (* element is an hyperlink, use href_callback on it *)