let apply_sourceview_props sv st =
(
match st.sv_font with
None -> ()
| Some s -> sv#misc#modify_font_by_name s
);
sv#set_auto_indent st.sv_auto_indent;
(
match st.sv_tab_width with
None -> ()
| Some n -> sv#set_tab_width n
);
sv#set_insert_spaces_instead_of_tabs st.sv_tab_spaces