Module GtkSourceViewProps.SourceView

module SourceView: sig .. end

val cast : 'a Gobject.obj -> GtkSourceView_types.source_view Gobject.obj

module P: sig .. end

module S: sig .. end

val create : GtkSourceView_types.source_view Gobject.param list ->
       GtkSourceView_types.source_view Gobject.obj

val make_params : cont:(([> `sourceview ] as 'a) Gobject.param list -> 'b) ->
       'a Gobject.param list ->
       ?auto_indent:bool ->
       ?highlight_current_line:bool ->
       ?insert_spaces_instead_of_tabs:bool ->
       ?margin:int ->
       ?show_line_markers:bool ->
       ?show_line_numbers:bool ->
       ?show_margin:bool -> ?smart_home_end:bool -> ?tabs_width:int -> 'b