method set_href_callback f = href_callback <- f
initializer
- current_font_size := default_font_size ();
self#set_font_size !current_font_size;
ignore (self#connect#selection_changed self#choose_selection);
ignore (self#connect#click (fun (gdome_elt, _, _, _) ->