Module GtkSourceView3.SourceView

include GtkSourceView3Props.SourceView
val cast : 'a Gobject.obj -> GtkSourceView3_types.source_view Gobject.obj
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
val new_ : unit -> GtkSourceView3_types.source_view Gtk.obj
val new_with_buffer : [> `sourcebuffer ] Gtk.obj -> GtkSourceView3_types.source_view Gtk.obj
val get_mark_attributes : [> `sourceview ] Gtk.obj -> category:string -> GtkSourceView3_types.source_mark_attributes Gtk.obj option
val get_mark_priority : [> `sourceview ] Gtk.obj -> category:string -> int
val set_cursor_color : [> `sourceview ] Gtk.obj -> Gdk.color -> unit