let apply_sourceview_props sv st =
(
match st.sv_background with
None -> ()
| Some s ->
let c = `NAME s in
sv#misc#modify_base [`NORMAL, c]
);
(
match st.sv_foreground with
None -> ()
| Some s ->
let c = `NAME s in
sv#misc#modify_text [`NORMAL, c];
sv#set_cursor_color_by_name s
);
(
match st.sv_sel_background with
None -> ()
| Some s ->
let c = `NAME s in
sv#misc#modify_base [`PRELIGHT, c ; `SELECTED, c ; `ACTIVE, c]
);
(
match st.sv_sel_foreground with
None -> ()
| Some s ->
let c = `NAME s in
sv#misc#modify_text [`PRELIGHT, c ; `SELECTED, c ; `ACTIVE, c]
);
(
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_tabs_width with
None -> ()
| Some n -> sv#set_tabs_width n
);
sv#set_insert_spaces_instead_of_tabs st.sv_tabs_spaces