(Gtksv_utils.source_view_props -> unit) ->
object
  val mutable props : Gtksv_utils.source_view_props option
  method box : GObj.widget
  method props : Gtksv_utils.source_view_props option
  method set_props : Gtksv_utils.source_view_props option -> unit
end