class source_buffer : GtkSourceView_types.source_buffer Gtk.obj -> object .. end
Inherits
method as_source_buffer : GtkSourceView_types.source_buffer Gtk.obj
method connect : source_buffer_signals
method misc : GObj.gobject_ops
method check_brackets : bool
method set_check_brackets : bool -> unit
method set_bracket_match_style : source_tag_style -> unit
method highlight : bool
method set_highlight : bool -> unit
method max_undo_levels : int
method set_max_undo_levels : int -> unit
method language : source_language option
method set_language : source_language -> unit
method escape_char : Glib.unichar
method set_escape_char : Glib.unichar -> unit
method can_undo : bool
method can_redo : bool
method undo : unit -> unit
method redo : unit -> unit
method begin_not_undoable_action : unit -> unit
method end_not_undoable_action : unit -> unit
method create_marker : ?name:string -> ?typ:string -> GText.iter -> source_marker
method move_marker : source_marker -> GText.iter -> unit
method delete_marker : source_marker -> unit
method get_marker : string -> source_marker
Raises Not_found if the marker does not exist.
method get_markers_in_region : start:GText.iter -> stop:GText.iter -> source_marker list
method get_first_marker : source_marker option
method get_last_marker : source_marker option
method get_iter_at_marker : source_marker -> GText.iter
method get_next_marker : GText.iter -> source_marker option
method get_prev_marker : GText.iter -> source_marker option
method source_tag_table : source_tag_table