Class Ed_sourceview.my_buffer


class my_buffer : unit -> object .. end

Buffers

A buffer is a GSourceview.source_buffer with some additional methods.
Inherits
val mutable cursor_moved_signal_ids : (int * GtkSignal.id) list
val mutable delete_range_signal_ids : (int * GtkSignal.id) list
val mutable insert_text_signal_ids : (int * GtkSignal.id) list
val mutable modified_changed_signal_ids : (int * GtkSignal.id) list
method set_syntax_mode : GSourceView.source_language -> unit
method syntax_mode : GSourceView.source_language option
method connect_cursor_moved : int -> (unit -> unit) -> unit
method connect_delete_range : int -> (start:GText.iter -> stop:GText.iter -> unit) -> unit
method connect_insert_text : int -> (GText.iter -> string -> unit) -> unit
method connect_modified_changed : int -> (unit -> unit) -> unit
method remove_cursor_moved : int -> unit
method remove_delete_range : int -> unit
method remove_insert_text : int -> unit
method remove_modified_changed : int -> unit
method remove_view_callbacks : int -> unit
method re_search : bool ->
?start:GText.iter ->
?stop:GText.iter -> Pcre.regexp -> (GText.iter * GText.iter) option
re_search forward ?start ?stop re searches form the given regular expression and returns the start and stop iters of the matched string. Regexp are searched using Pcre, so UTF-8 strings are handled.
forward : indicates if search if forward true of backward false.
start : can be used as start bound of the search.
stop : can be used as end bound of the search.