GtkSourceView3.SourceViewinclude module type of struct include GtkSourceView3Props.SourceView endval cast : 'a Gobject.obj -> GtkSourceView3_types.source_view Gobject.objmodule P = GtkSourceView3Props.SourceView.Pmodule S = GtkSourceView3Props.SourceView.Sval create : GtkSourceView3_types.source_view Gobject.param list -> GtkSourceView3_types.source_view Gobject.objval get_completion : [> `sourceview ] Gobject.obj -> GtkSourceView3_types.source_completion Gobject.objval get_draw_spaces : [> `sourceview ] Gobject.obj -> SourceView3Enums.source_draw_spaces_flags listval set_draw_spaces : [> `sourceview ] Gobject.obj -> SourceView3Enums.source_draw_spaces_flags list -> unitval set_mark_attributes : [> `sourceview ] Gobject.obj -> category:string -> GtkSourceView3_types.source_mark_attributes Gobject.obj -> int -> unitval 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 -> 'bval new_ : unit -> GtkSourceView3_types.source_view Gtk.objval new_with_buffer : [> `sourcebuffer ] Gtk.obj -> GtkSourceView3_types.source_view Gtk.objval get_mark_attributes : [> `sourceview ] Gtk.obj -> category:string -> GtkSourceView3_types.source_mark_attributes Gtk.obj optionval get_mark_priority : [> `sourceview ] Gtk.obj -> category:string -> int