let apply_sourceview_props sv st =
  (* [ `NORMAL|`ACTIVE|`PRELIGHT|`SELECTED|`INSENSITIVE ] *)
  (
   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