Frama-C:
Plug-ins:
Libraries:

Frama-C API - source_buffer

val obj : GtkSourceView3_types.source_buffer Gtk.obj
method add_selection_clipboard : GData.clipboard -> unit
method apply_tag : GText.tag -> start:GText.iter -> stop:GText.iter -> unit
method apply_tag_by_name : string -> start:GText.iter -> stop:GText.iter -> unit
method as_buffer : Gtk.text_buffer
method as_source_buffer : GtkSourceView3_types.source_buffer Gtk.obj
method backward_iter_to_source_mark : ?category:string -> GText.iter -> bool
method begin_not_undoable_action : unit -> unit
method begin_user_action : unit -> unit
method bounds : GText.iter * GText.iter
method can_redo : bool
method can_undo : bool
method char_count : int
method connect : source_buffer_signals
method copy_clipboard : GData.clipboard -> unit
method create_child_anchor : GText.iter -> GText.child_anchor
method create_mark : ?name:string -> ?left_gravity:bool -> GText.iter -> Gtk.text_mark
method create_source_mark : ?name:string -> ?category:string -> GText.iter -> source_mark
method create_tag : ?name:string -> GText.tag_property list -> GText.tag
method cursor_position : int
method cut_clipboard : ?default_editable:bool -> GData.clipboard -> unit
method delete : start:GText.iter -> stop:GText.iter -> unit
method delete_interactive : start:GText.iter -> stop:GText.iter -> ?default_editable:bool -> unit -> bool
method delete_mark : GText.mark -> unit
method delete_selection : ?interactive:bool -> ?default_editable:bool -> unit -> bool
method end_iter : GText.iter
method end_not_undoable_action : unit -> unit
method end_user_action : unit -> unit
method ensure_highlight : start:GText.iter -> stop:GText.iter -> unit
method forward_iter_to_source_mark : ?category:string -> GText.iter -> bool
method get_iter : GText.position -> GText.iter
method get_iter_at_byte : line:int -> int -> GText.iter
method get_iter_at_char : ?line:int -> int -> GText.iter
method get_iter_at_mark : GText.mark -> GText.iter
method get_mark : GText.mark -> Gtk.text_mark
method get_oid : int
method get_text : ?start:GText.iter -> ?stop:GText.iter -> ?slice:bool -> ?visible:bool -> unit -> string
method has_selection : bool
method highlight_matching_brackets : bool
method highlight_syntax : bool
method insert : ?iter:GText.iter -> ?tag_names:string list -> ?tags:GText.tag list -> string -> unit
method insert_child_anchor : GText.iter -> GText.child_anchor -> unit
method insert_interactive : ?iter:GText.iter -> ?default_editable:bool -> string -> bool
method insert_pixbuf : iter:GText.iter -> pixbuf:GdkPixbuf.pixbuf -> unit
method insert_range : iter:GText.iter -> start:GText.iter -> stop:GText.iter -> unit
method insert_range_interactive : iter:GText.iter -> start:GText.iter -> stop:GText.iter -> ?default_editable:bool -> unit -> bool
method iter_backward_to_context_class_toggle : GText.iter -> string -> bool
method iter_forward_to_context_class_toggle : GText.iter -> string -> bool
method iter_has_context_class : GText.iter -> string -> bool
method language : source_language option
method line_count : int
method max_undo_levels : int
method misc : GObj.gobject_ops
method modified : bool
method move_mark : GText.mark -> where:GText.iter -> unit
method paste_clipboard : ?iter:GText.iter -> ?default_editable:bool -> GData.clipboard -> unit
method place_cursor : where:GText.iter -> unit
method redo : unit -> unit
method remove_all_tags : start:GText.iter -> stop:GText.iter -> unit
method remove_selection_clipboard : GData.clipboard -> unit
method remove_source_marks : ?category:string -> start:GText.iter -> stop:GText.iter -> unit -> unit
method remove_tag : GText.tag -> start:GText.iter -> stop:GText.iter -> unit
method remove_tag_by_name : string -> start:GText.iter -> stop:GText.iter -> unit
method select_range : GText.iter -> GText.iter -> unit
method selection_bounds : GText.iter * GText.iter
method set_highlight_matching_brackets : bool -> unit
method set_highlight_syntax : bool -> unit
method set_language : source_language option -> unit
method set_max_undo_levels : int -> unit
method set_modified : bool -> unit
method set_style_scheme : source_style_scheme option -> unit
method set_text : string -> unit
method set_undo_manager : source_undo_manager -> unit
method source_marks_at_iter : ?category:string -> GText.iter -> source_mark list
method source_marks_at_line : ?category:string -> int -> source_mark list
method start_iter : GText.iter
method style_scheme : source_style_scheme option
method tag_table : Gtk.text_tag_table
method undo : unit -> unit
method undo_manager : source_undo_manager