let source_view_props_box () =
let hb = GPack.hbox () in
let p = Gtksv_utils.read_sourceview_props () in
let box = new Gtksv_utils.sourceview_props_box
Gtksv_utils.apply_sourceview_props_to_registered
in
box#set_props (Some p);
hb#pack ~expand: true ~fill: true box#box;
(Configwin.custom hb
(fun () ->
match box#props with
None -> ()
| Some p -> Gtksv_utils.store_sourceview_props p
) true,
(fun () ->
Gtksv_utils.apply_sourceview_props_to_registered
(Gtksv_utils.read_sourceview_props ()))
)