Class GSourceView.source_buffer_signals
method after : < after : 'a
; apply_tag :
callback:(GText.tag -> start:GText.iter -> stop:GText.iter -> unit) ->
GtkSignal.id
; begin_user_action : callback:(unit -> unit) -> GtkSignal.id
; changed : callback:(unit -> unit) -> GtkSignal.id
; delete_range :
callback:(start:GText.iter -> stop:GText.iter -> unit) ->
GtkSignal.id
; end_user_action : callback:(unit -> unit) -> GtkSignal.id
; highlight_updated :
callback:(Gtk.text_iter -> Gtk.text_iter -> unit) ->
GtkSignal.id
; insert_child_anchor :
callback:(GText.iter -> Gtk.text_child_anchor -> unit) ->
GtkSignal.id
; insert_pixbuf :
callback:(GText.iter -> GdkPixbuf.pixbuf -> unit) ->
GtkSignal.id
; insert_text : callback:(GText.iter -> string -> unit) -> GtkSignal.id
; mark_deleted : callback:(Gtk.text_mark -> unit) -> GtkSignal.id
; mark_set : callback:(GText.iter -> Gtk.text_mark -> unit) -> GtkSignal.id
; modified_changed : callback:(unit -> unit) -> GtkSignal.id
; notify_can_redo : callback:(bool -> unit) -> GtkSignal.id
; notify_can_undo : callback:(bool -> unit) -> GtkSignal.id
; notify_cursor_position : callback:(int -> unit) -> GtkSignal.id
; notify_has_selection : callback:(bool -> unit) -> GtkSignal.id
; notify_highlight_matching_brackets :
callback:(bool -> unit) ->
GtkSignal.id
; notify_highlight_syntax : callback:(bool -> unit) -> GtkSignal.id
; notify_max_undo_levels : callback:(int -> unit) -> GtkSignal.id
; notify_tag_table : callback:(Gtk.text_tag_table -> unit) -> GtkSignal.id
; remove_tag :
callback:(GText.tag -> start:GText.iter -> stop:GText.iter -> unit) ->
GtkSignal.id
; source_mark_updated :
callback:(GtkSourceView3_types.source_mark Gtk.obj -> unit) ->
GtkSignal.id.. > as 'a
method apply_tag : callback:
(GText.tag -> start:GText.iter -> stop:GText.iter -> unit) ->
GtkSignal.id
method begin_user_action : callback:(unit -> unit) -> GtkSignal.id
method changed : callback:(unit -> unit) -> GtkSignal.id
method private connect : 'c. (GtkSourceView3_types.source_buffer, 'c)
GtkSignal.t ->
callback:'c ->
GtkSignal.id
method delete_range : callback:(start:GText.iter -> stop:GText.iter -> unit) ->
GtkSignal.id
method end_user_action : callback:(unit -> unit) -> GtkSignal.id
method highlight_updated : callback:(Gtk.text_iter -> Gtk.text_iter -> unit) ->
GtkSignal.id
method insert_child_anchor : callback:
(GText.iter -> Gtk.text_child_anchor -> unit) ->
GtkSignal.id
method insert_pixbuf : callback:(GText.iter -> GdkPixbuf.pixbuf -> unit) ->
GtkSignal.id
method insert_text : callback:(GText.iter -> string -> unit) -> GtkSignal.id
method mark_deleted : callback:(Gtk.text_mark -> unit) -> GtkSignal.id
method mark_set : callback:(GText.iter -> Gtk.text_mark -> unit) ->
GtkSignal.id
method modified_changed : callback:(unit -> unit) -> GtkSignal.id
method private notify : 'c. (GtkSourceView3_types.source_buffer, 'c)
Gobject.property ->
callback:('c -> unit) ->
GtkSignal.id
method notify_can_redo : callback:(bool -> unit) -> GtkSignal.id
method notify_can_undo : callback:(bool -> unit) -> GtkSignal.id
method notify_cursor_position : callback:(int -> unit) -> GtkSignal.id
method notify_has_selection : callback:(bool -> unit) -> GtkSignal.id
method notify_highlight_matching_brackets : callback:(bool -> unit) ->
GtkSignal.id
method notify_highlight_syntax : callback:(bool -> unit) -> GtkSignal.id
method notify_max_undo_levels : callback:(int -> unit) -> GtkSignal.id
method notify_tag_table : callback:(Gtk.text_tag_table -> unit) -> GtkSignal.id
method remove_tag : callback:
(GText.tag ->
start:GText.iter ->
stop:GText.iter ->
unit) ->
GtkSignal.id
method source_mark_updated : callback:
(GtkSourceView3_types.source_mark Gtk.obj ->
unit) ->
GtkSignal.id