SourceView (lablgtk3-sourceview3.GtkSourceView3Props.SourceView)

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) ->
  'c 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 ->
  'd