let syntax_highlight_box param =
let hb = GPack.hbox () in
let lang = languages_manager#get_language_from_mime_type param#sourceview_language in
match lang with
None ->
ignore(GMisc.label
~text: (Printf.sprintf "Syntax highlight for %s not available." param#sourceview_language)
~packing: hb#pack ())
;
(Configwin.custom hb (fun () -> ()) false, fun () -> ())
| Some lang ->
let lang_box = new Gtksv_utils.lang_style_box () in
lang_box#set_lang (Some lang);
hb#pack ~expand: true ~fill: true lang_box#box;
(Configwin.custom hb (fun () -> Gtksv_utils.store_lang_style lang) true,
(fun () -> Gtksv_utils.read_lang_style lang)
)