class my_buffer : unit ->
object
.. end
Buffers
A buffer is a GSourceview.source_buffer
with some additional methods.
Inherits
GSourceView.source_buffer
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.