GtkSourceView3.SourceBuffer · lablgtk3-sourceview3 3.1.1

include module type of struct include GtkSourceView3Props.SourceBuffer end

val cast : 'a Gobject.obj -> GtkSourceView3_types.source_buffer Gobject.obj

module P = GtkSourceView3Props.SourceBuffer.P

module S = GtkSourceView3Props.SourceBuffer.S

val create : 
  GtkSourceView3_types.source_buffer Gobject.param list ->
  GtkSourceView3_types.source_buffer Gobject.obj

val make_params : 
  cont:( [> `sourcebuffer ] as 'a Gobject.param list -> 'b ) ->
  'c Gobject.param list ->
  ?highlight_matching_brackets:bool ->
  ?highlight_syntax:bool ->
  ?language:GtkSourceView3_types.source_language Gobject.obj ->
  ?max_undo_levels:int ->
  ?style_scheme:GtkSourceView3_types.source_style_scheme Gobject.obj ->
  ?undo_manager:GtkSourceView3_types.source_undo_manager Gobject.obj ->
  'd

val new_ : 
  [ `texttagtable ] Gtk.obj ->
  GtkSourceView3_types.source_buffer Gtk.obj

val new_with_langage : 
  [> `sourcelanguage ] Gtk.obj ->
  GtkSourceView3_types.source_buffer Gtk.obj

val undo : [> `sourcebuffer ] Gtk.obj -> unit

val redo : [> `sourcebuffer ] Gtk.obj -> unit

val begin_not_undoable_action : [> `sourcebuffer ] Gtk.obj -> unit

val end_not_undoable_action : [> `sourcebuffer ] Gtk.obj -> unit

val set_highlight_matching_brackets : 
  [> `sourcebuffer ] Gtk.obj ->
  bool ->
  unit

val create_source_mark : 
  [> `sourcebuffer ] Gtk.obj ->
  string option ->
  string option ->
  Gtk.text_iter ->
  GtkSourceView3_types.source_mark Gtk.obj

val remove_source_marks : 
  [> `sourcebuffer ] Gtk.obj ->
  Gtk.text_iter ->
  Gtk.text_iter ->
  string option ->
  unit

val get_source_marks_at_line : 
  [> `sourcebuffer ] Gtk.obj ->
  int ->
  string option ->
  GtkSourceView3_types.source_mark Gtk.obj list

val get_source_marks_at_iter : 
  [> `sourcebuffer ] Gtk.obj ->
  Gtk.text_iter ->
  string option ->
  GtkSourceView3_types.source_mark Gtk.obj list

val forward_iter_to_source_mark : 
  [> `sourcebuffer ] Gtk.obj ->
  Gtk.text_iter ->
  string option ->
  bool

val backward_iter_to_source_mark : 
  [> `sourcebuffer ] Gtk.obj ->
  Gtk.text_iter ->
  string option ->
  bool

val iter_has_context_class : 
  [> `sourcebuffer ] Gtk.obj ->
  Gtk.text_iter ->
  string ->
  bool

val iter_forward_to_context_class_toggle : 
  [> `sourcebuffer ] Gtk.obj ->
  Gtk.text_iter ->
  string ->
  bool

val iter_backward_to_context_class_toggle : 
  [> `sourcebuffer ] Gtk.obj ->
  Gtk.text_iter ->
  string ->
  bool

val ensure_highlight : 
  [> `sourcebuffer ] Gtk.obj ->
  Gtk.text_iter ->
  Gtk.text_iter ->
  unit