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