(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