Module 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) -> '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