source_view_sigs (lablgtk3-sourceview3.OgtkSourceView3Props.source_view

method private virtual connect : b. ([> `sourceview ] as 'a, 'b) GtkSignal.t -> callback:'b
-> GtkSignal.id

method private virtual notify : b. ('a, 'b) Gobject.property -> callback:('b -> unit) -> GtkSignal.id

method line_mark_activated : < line_mark_activated : callback:(Gtk.text_iter -> GdkEvent.any -> unit) ->
GtkSignal.id; move_lines : callback:(bool -> int -> unit) ->
GtkSignal.id; move_words : callback:(int -> unit) ->
GtkSignal.id; notify_auto_indent : callback:(bool -> unit) ->
GtkSignal.id; notify_highlight_current_line : callback:(bool -> unit) ->
GtkSignal.id; notify_indent_on_tab : callback:(bool -> unit) ->
GtkSignal.id; notify_indent_width : callback:(int -> unit) ->
GtkSignal.id; notify_insert_spaces_instead_of_tabs : callback:(bool -> unit) ->
GtkSignal.id; notify_right_margin_position : callback:(int -> unit) ->
GtkSignal.id; notify_show_line_marks : callback:(bool -> unit) ->
GtkSignal.id; notify_show_line_numbers : callback:(bool -> unit) ->
GtkSignal.id; notify_show_right_margin : callback:(bool -> unit) ->
GtkSignal.id; notify_smart_home_end : callback:(SourceView3Enums.source_smart_home_end_type -> unit) ->
GtkSignal.id; notify_tab_width : callback:(int -> unit) -> GtkSignal.id; redo : callback:(unit -> unit) ->
GtkSignal.id; show_completion : callback:(unit -> unit) ->
GtkSignal.id; smart_home_end : callback:(Gtk.text_iter -> int -> unit) -> GtkSignal.id; undo : callback:(unit -> unit) ->
GtkSignal.id; .. > -> callback:(Gtk.text_iter -> GdkEvent.any -> unit) -> GtkSignal.id

method move_lines : 'c -> callback:(bool -> int -> unit) -> GtkSignal.id

method move_words : 'c -> callback:(int -> unit) -> GtkSignal.id

method redo : 'c -> callback:(unit -> unit) -> GtkSignal.id

method show_completion : 'c -> callback:(unit -> unit) -> GtkSignal.id

method smart_home_end : 'c -> callback:(Gtk.text_iter -> int -> unit) -> GtkSignal.id

method undo : 'c -> callback:(unit -> unit) -> GtkSignal.id

method notify_auto_indent : 'c -> callback:(bool -> unit) -> GtkSignal.id

method notify_highlight_current_line : 'c -> callback:(bool -> unit) -> GtkSignal.id

method notify_indent_on_tab : 'c -> callback:(bool -> unit) -> GtkSignal.id

method notify_indent_width : 'c -> callback:(int -> unit) -> GtkSignal.id

method notify_insert_spaces_instead_of_tabs : 'c -> callback:(bool -> unit) -> GtkSignal.id

method notify_right_margin_position : 'c -> callback:(int -> unit) -> GtkSignal.id

method notify_show_line_marks : 'c -> callback:(bool -> unit) -> GtkSignal.id

method notify_show_line_numbers : 'c -> callback:(bool -> unit) -> GtkSignal.id

method notify_show_right_margin : 'c -> callback:(bool -> unit) -> GtkSignal.id

method notify_smart_home_end : 'c -> callback:(SourceView3Enums.source_smart_home_end_type -> unit) -> GtkSignal.id

method notify_tab_width : 'c -> callback:(int -> unit) -> GtkSignal.id