Module GSourceView


module GSourceView: sig .. end

GtkSourceView interface




GtkSourceTag


type source_tag_property = [ `BACKGROUND of Gdk.color
| `BOLD of bool
| `FOREGROUND of Gdk.color
| `ITALIC of bool
| `STRIKETHROUGH of bool
| `UNDERLINE of bool ]
class source_tag_style : GtkSourceView_types.source_tag_style Gtk.obj -> object .. end

val source_tag_style : ?background:Gdk.color ->
?background_by_name:string ->
?bold:bool ->
?foreground:Gdk.color ->
?foreground_by_name:string ->
?italic:bool ->
?strikethrough:bool ->
?underline:bool -> unit -> source_tag_style
type source_tag_id = string 
class source_tag : GtkSourceView_types.source_tag Gtk.obj -> object .. end

val syntax_tag : id:string ->
name:string -> pat_start:string -> pat_end:string -> source_tag
val pattern_tag : id:string -> name:string -> pat:string -> source_tag
val keyword_list_tag : id:string ->
name:string ->
keywords:string list ->
?case_sensitive:bool ->
?match_empty_string_at_beginning:bool ->
?match_empty_string_at_end:bool ->
?beginning_regex:string ->
?end_regex:string -> unit -> source_tag
val block_comment_tag : id:string ->
name:string -> pat_start:string -> pat_end:string -> source_tag
val line_comment_tag : id:string -> name:string -> pat_start:string -> source_tag
val string_tag : id:string ->
name:string ->
pat_start:string ->
pat_end:string -> end_at_line_end:bool -> source_tag

GtkSourceTagTable


class source_tag_table_signals : [> GtkSourceView_types.source_tag_table ] Gtk.obj -> object .. end

class source_tag_table : GtkSourceView_types.source_tag_table Gtk.obj -> object .. end

val source_tag_table : unit -> source_tag_table

GtkSourceStyleScheme


class source_style_scheme : GtkSourceView_types.source_style_scheme Gtk.obj -> object .. end

val default_style_scheme : unit -> source_style_scheme

GtkSourceLanguage


class source_language_signals : [> GtkSourceView_types.source_language ] Gtk.obj -> object .. end

class source_language : GtkSourceView_types.source_language Gtk.obj -> object .. end


GtkSourceLanguagesManager


class source_languages_manager : GtkSourceView_types.source_languages_manager Gtk.obj -> object .. end

val source_languages_manager : unit -> source_languages_manager
val source_language_from_file : ?languages_manager:source_languages_manager ->
string -> source_language option

GtkSourceMarker


class source_marker : GtkSourceView_types.source_marker Gtk.obj -> object .. end


GtkSourceBuffer


class source_buffer_signals : GtkSourceView_types.source_buffer Gtk.obj -> object .. end

class source_buffer : GtkSourceView_types.source_buffer Gtk.obj -> object .. end

val source_buffer : ?language:source_language ->
?tag_table:source_tag_table ->
?text:string ->
?check_brackets:bool ->
?escape_char:int ->
?highlight:bool -> ?max_undo_levels:int -> unit -> source_buffer

GtkSourceView


class source_view_signals : [> GtkSourceView_types.source_view ] Gtk.obj -> object .. end

class source_view : GtkSourceView_types.source_view Gtk.obj -> object .. end

val source_view : ?source_buffer:source_buffer ->
?auto_indent:bool ->
?highlight_current_line:bool ->
?insert_spaces_instead_of_tabs:bool ->
?margin:int ->
?show_line_markers:bool ->
?show_line_numbers:bool ->
?show_margin:bool ->
?smart_home_end:bool ->
?tabs_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 find_matching_bracket : GText.iter -> GText.iter option
val iter_forward_search : GText.iter ->
SourceViewEnums.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 ->
SourceViewEnums.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