module SourceView: sig
.. end
val cast : 'a Gobject.obj -> GtkSourceView3_types.source_view Gobject.obj
module P: sig
.. end
module S: sig
.. end
val create : GtkSourceView3_types.source_view Gobject.param list ->
GtkSourceView3_types.source_view Gobject.obj
val get_completion : [> `sourceview ] Gobject.obj ->
GtkSourceView3_types.source_completion Gobject.obj
val get_draw_spaces : [> `sourceview ] Gobject.obj ->
SourceView3Enums.source_draw_spaces_flags list
val set_draw_spaces : [> `sourceview ] Gobject.obj ->
SourceView3Enums.source_draw_spaces_flags list -> unit
val set_mark_attributes : [> `sourceview ] Gobject.obj ->
category:string ->
GtkSourceView3_types.source_mark_attributes Gobject.obj -> int -> unit
val make_params : cont:(([> `sourceview ] as 'a) Gobject.param list -> 'b) ->
'a Gobject.param list ->
?auto_indent:bool ->
?highlight_current_line:bool ->
?indent_on_tab:bool ->
?indent_width:int ->
?insert_spaces_instead_of_tabs:bool ->
?right_margin_position:int ->
?show_line_marks:bool ->
?show_line_numbers:bool ->
?show_right_margin:bool ->
?smart_home_end:SourceView3Enums.source_smart_home_end_type ->
?tab_width:int -> 'b