module GSourceView2: sig
.. end
GtkSourceView interface
GtkSourceStyleScheme
class source_style_scheme : GtkSourceView2_types.source_style_scheme Gtk.obj ->
object
.. end
GtkSourceStyleSchemeManager
class source_style_scheme_manager : GtkSourceView2_types.source_style_scheme_manager Gtk.obj ->
object
.. end
val source_style_scheme_manager : default:bool -> source_style_scheme_manager
GtkSourceLanguage
class source_language : GtkSourceView2_types.source_language Gtk.obj ->
object
.. end
GtkSourceLanguageManager
class source_language_manager : GtkSourceView2_types.source_language_manager Gtk.obj ->
object
.. end
val source_language_manager : default:bool -> source_language_manager
GtkSourceMark
class source_mark : GtkSourceView2_types.source_mark Gtk.obj ->
object
.. end
val source_mark : ?category:string -> unit -> source_mark
GtkSourceBuffer
class source_buffer_signals : GtkSourceView2_types.source_buffer Gtk.obj ->
object
.. end
class source_buffer : GtkSourceView2_types.source_buffer Gtk.obj ->
object
.. end
val source_buffer : ?language:source_language ->
?style_scheme:source_style_scheme ->
?tag_table:GText.tag_table ->
?text:string ->
?highlight_matching_brackets:bool ->
?highlight_syntax:bool ->
?max_undo_levels:int -> unit -> source_buffer
GtkSourceView
class source_view_signals : [> GtkSourceView2_types.source_view ] Gtk.obj ->
object
.. end
class source_view : GtkSourceView2_types.source_view Gtk.obj ->
object
.. end
val source_view : ?source_buffer:source_buffer ->
?draw_spaces:SourceView2Enums.source_draw_spaces_flags list ->
?auto_indent:bool ->
?highlight_current_line:bool ->
?indent_on_tab:bool ->
?indent_width:int ->
?insert_spaces_instead_of_tabs:bool ->
?right_margin_position:int ->
?show_line_marks:bool ->
?show_line_numbers:bool ->
?show_right_margin:bool ->
?smart_home_end:SourceView2Enums.source_smart_home_end_type ->
?tab_width:int ->
?editable:bool ->
?cursor_visible:bool ->
?justification:GtkEnums.justification ->
?wrap_mode:GtkEnums.wrap_mode ->
?accepts_tab:bool ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool -> unit -> source_view
Misc
val iter_forward_search : GText.iter ->
SourceView2Enums.source_search_flag list ->
start:< as_iter : Gtk.text_iter; .. > ->
stop:< as_iter : Gtk.text_iter; .. > ->
?limit:< as_iter : Gtk.text_iter; .. > ->
string -> (GText.iter * GText.iter) option
val iter_backward_search : GText.iter ->
SourceView2Enums.source_search_flag list ->
start:< as_iter : Gtk.text_iter; .. > ->
stop:< as_iter : Gtk.text_iter; .. > ->
?limit:< as_iter : Gtk.text_iter; .. > ->
string -> (GText.iter * GText.iter) option